Skip to content

Pull requests: AdaCore/ada-spark-rfcs

New pull request New
22 Open 76 Closed
22 Open 76 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Refine RFC template
#136 opened Aug 18, 2025 by tonunaks Loading…
@tonunaks
Oop destructors - "expand to Finalizable" version
#132 opened Mar 21, 2025 by raph-amiard Loading…
1
5
Proposal for a ghost Loop_Index attribute
#130 opened Feb 28, 2025 by clairedross Loading…
Class types and primitives
#127 opened Nov 22, 2024 by QuentinOchem Loading…
[RFC] Ghost fields and parameters
#123 opened Sep 11, 2024 by QuentinOchem Loading…
[RFC] OOP - Protected
#122 opened Sep 11, 2024 by QuentinOchem Loading…
[RFC] OOP Attributes
#121 opened Sep 11, 2024 by QuentinOchem Loading…
[RFC] OOP Components
#120 opened Sep 11, 2024 by QuentinOchem Loading…
2
[RFC] OOP - Dispatching
#118 opened May 30, 2024 by QuentinOchem Loading…
@raph-amiard
12
Fix minor typos
#108 opened Nov 9, 2023 by thvnx Loading…
Object Orientation update
#106 opened Oct 10, 2023 by QuentinOchem Loading…
@QuentinOchem
81
[RFC] finally for handled_sequence_of_statements RFC
#105 opened Aug 16, 2023 by raph-amiard Loading…
6
[RFC] improved generic instantiations
#103 opened Mar 3, 2023 by raph-amiard Loading…
25
[RFC] constrained indefinite arrays
#97 opened Nov 23, 2022 by jklmnn Loading…
14
[RFC] Final modifier
#95 opened Nov 23, 2022 by raph-amiard Loading…
10
[RFC] Class wide subtype constraints needs-review
#69 opened Jan 11, 2021 by reznikmm Loading…
[RFC] Adjust_Indexing aspect. enhancement New feature or request needs-review RFC syntax
#64 opened Oct 31, 2020 by Blady-Com Loading…
[RFC] Overriding_Interface_In_Child_Package needs-review
#62 opened Oct 7, 2020 by avsplunter Loading…
@sttaft
4
[RFC] Deferred Partial Instantiation of Generic Specifications enhancement New feature or request generics RFC
#41 opened Apr 4, 2020 by jere-software Loading…
6
[RFC] Lightweight iterators enhancement New feature or request iterators RFC syntax
#37 opened Jan 8, 2020 by reznikmm Loading…
8
[RFC] case statement with renamed type values enhancement New feature or request quality of life RFC syntax
#36 opened Nov 25, 2019 by GyorgyRotter Loading…
5
[RFC] Default initialization for out parameters enhancement New feature or request quality of life RFC safety
#35 opened Nov 22, 2019 by setton Loading…
7
ProTip! Follow long discussions with comments:>50.