Skip to content

Pull requests: AdaCore/ada-spark-rfcs

New pull request New
31 Open 63 Closed
31 Open 63 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

RFC for the Modifies aspect
#131 opened Mar 5, 2025 by clairedross Loading…
7
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] Default short-circuit operators
#124 opened Sep 11, 2024 by QuentinOchem Loading…
2
[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
[RFC] OOP - Destructors
#117 opened May 30, 2024 by QuentinOchem Loading…
@raph-amiard
1
[RFC] Range Integer Types
#109 opened Nov 10, 2023 by JoseRuizAdaCore Loading…
34
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] Array Slice Access
#102 opened Feb 13, 2023 by Fabien-Chouteau Loading…
4
[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] Deep delta aggregates
#84 opened Oct 7, 2021 by sttaft Loading…
4
[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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.