ada-spark-rfcs

ada/ada-spark-rfcs

Fork 0

mirror of https://github.com/AdaCore/ada-spark-rfcs.git synced 2026-02-12 13:03:10 -08:00

Commit Graph

Select branches

Hide Pull Requests

aggregates_fixes

assignments-example

first-controlling

flare

marc-adacore-patch-1

marc-adacore-patch-2

master

mr/constant-in-iterator

mr/fix_status

mr/folder_cleanup

mr/gitignore

mr/mandatory_end_designators

mr/oop-attributes

oop

oop-fixes

parenthesis_for_parameterless_calls

stackedit

to-string

to_string2

tonunaks-patch-2

tonunaks-patch-3

topic/allocation-overhead

topic/constructor-composition

topic/fix_primitives

topic/minor_edits

topic/non_tagged_constructors2

topic/rfc-parallelism-as-a-library

topic/spark-relaxed-init

yakobowski-new-workflow

#1

#10

#100

#101

#102

#103

#104

#105

#106

#108

#109

#11

#110

#112

#113

#114

#115

#116

#117

#118

#12

#120

#121

#122

#123

#124

#127

#13

#130

#131

#132

#133

#134

#136

#14

#15

#165

#166

#167

#168

#17

#172

#173

#174

#175

#178

#179

#18

#180

#181

#182

#183

#184

#185

#185

#186

#187

#188

#189

#19

#190

#190

#192

#193

#194

#194

#195

#196

#196

#199

#199

#2

#20

#200

#201

#201

#21

#22

#23

#24

#25

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#40

#41

#46

#47

#49

#5

#50

#51

#6

#62

#63

#64

#65

#66

#67

#68

#69

#70

#71

#73

#76

#77

#79

#8

#80

#82

#83

#84

#85

#86

#87

#88

#89

#9

#94

#95

#96

#97

1e44fe538b Minor updates to RFC wording master Martin Clochard 2026-02-05 15:51:52 +01:00
b4b0d0896a New RFC spark-constant-in-iterator mr/constant-in-iterator Tonu Naks 2026-02-12 15:16:33 +02:00
566dae8923 adjusted API for arrays and access types to_string2 Quentin Ochem 2026-02-05 10:51:10 -05:00
df37571373 drafted alternate API to the formatter Quentin Ochem 2026-02-04 11:24:13 -05:00
0ddff36b93 updated following last meeting Quentin Ochem 2026-01-26 17:01:50 -05:00
30748a21a7 fixed attribute profile and renamed Ordinary_Type Quentin Ochem 2025-12-20 09:43:31 -05:00
7fad8a2866 included various comments Quentin Ochem 2025-12-17 13:52:57 -05:00
931e2179dd Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:21:17 -05:00
7426452d01 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:21:10 -05:00
6d7bcf271b Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:21:01 -05:00
4166074e02 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:20:55 -05:00
0e2b2d2167 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:20:40 -05:00
a4166a0d11 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:20:33 -05:00
cb5a6d6c57 removed obsolete comment on 'Image Quentin Ochem 2025-12-16 09:55:01 -05:00
7ec2e1c358 completed proposal following live discussions Quentin Ochem 2025-12-12 15:04:27 -05:00
1765f9f2a7 added details on compatibility mode, moved From_String in future possibilities Quentin Ochem 2025-11-25 04:46:23 -08:00
7b2e246aa2 started proposal around overhaul of image Quentin Ochem 2025-11-12 16:42:51 -05:00
60f8392901 updated following last meeting to-string Quentin Ochem 2026-01-26 17:01:50 -05:00
6781d2b41a Fix typo parenthesis_for_parameterless_calls Joao Azevedo 2026-01-22 15:56:26 +00:00
534e5ed87b Improve UAP explanation Joao Azevedo 2026-01-22 15:56:21 +00:00
3719d62e78 Clarify that protected producedures and task entries are also affected Joao Azevedo 2026-01-22 15:47:37 +00:00
5949408e7f Add drawback related to array index Joao Azevedo 2026-01-22 15:46:25 +00:00
9e56a04872 Improve motivation related to visual cues Joao Azevedo 2026-01-22 15:46:12 +00:00
7f9ff5d7c4 Add RFC for adding parentheses for parameterless calls Joao Azevedo 2026-01-08 15:33:25 +00:00
fd64958e94 Change status of rfc-oop-primitives.rst Tõnu Näks 2026-01-22 16:53:09 +01:00
20ae86a621 Move rejected RFC's to attic (2) Tonu Naks 2026-01-20 12:04:01 +02:00
f9e4970bd2 Move rejected rfc's to attic Tonu Naks 2026-01-20 11:12:08 +02:00
e30233b8d2 Update allocation-overhead-attribute.md topic/allocation-overhead swbaird 2026-01-16 15:45:58 -08:00
b30c3c473d Propose Max_Allocation_Overhead_In_Storage_Elements Tonu Naks 2026-01-16 09:55:22 +01:00
7f7e55d2ea Update rfc-oop-first-controlling.rst marc-adacore 2026-01-13 14:32:35 +01:00
7256dc29ff Update rfc-oop-first-controlling.rst marc-adacore 2026-01-13 14:22:21 +01:00
882e6c6432 Change status of rfc-inference-of-dependent-types.md Tõnu Näks 2026-01-15 14:22:12 +01:00
9646280efd Update rfc-oop-first-controlling.rst marc-adacore-patch-2 marc-adacore 2026-01-13 14:32:35 +01:00
1bc595242b Update rfc-oop-first-controlling.rst marc-adacore-patch-1 marc-adacore 2026-01-13 14:22:21 +01:00
d0b1b02cf3 Mark rfc-mandatory_end_designator.md as Ready for Prototyping Tõnu Näks 2025-12-22 16:18:36 +02:00
bb01bf779e Rewrite according to feedback and vote Joao Azevedo 2025-12-18 15:55:58 +00:00
e27b4ccc06 RFC for mandatory end designators Joao Azevedo 2025-11-06 16:58:07 +01:00
ef3d5a4e4f fixed attribute profile and renamed Ordinary_Type Quentin Ochem 2025-12-20 09:43:31 -05:00
001d028689 Rewrite according to feedback and vote mr/mandatory_end_designators Joao Azevedo 2025-12-18 15:55:58 +00:00
6b2ba4a42c RFC for mandatory end designators Joao Azevedo 2025-11-06 16:58:07 +01:00
43d853388f included various comments Quentin Ochem 2025-12-17 13:52:57 -05:00
f442279b58 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:21:17 -05:00
ab4b16a0e1 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:21:10 -05:00
26cb26c454 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:21:01 -05:00
555cf11eec Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:20:55 -05:00
98b8a5b74a Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:20:40 -05:00
08d836fd96 Update features/rfc-to_string.md QuentinOchem 2025-12-17 09:20:33 -05:00
f25b6ee2f9 initial revision topic/non_tagged_constructors2 Quentin Ochem 2025-12-17 09:03:01 -05:00
dff05374ca fixed missing reserved word Quentin Ochem 2025-12-16 14:05:55 -05:00
70dfa4b77f fixed missing reserved word topic/fix_primitives Quentin Ochem 2025-12-16 14:05:55 -05:00
08a66472ff removed obsolete comment on 'Image Quentin Ochem 2025-12-16 09:55:01 -05:00
72cf17ea86 Update rfc-oop-attributes.rst Tõnu Näks 2025-12-15 15:54:09 +02:00
aa5e2e8d8b Subprogram-valued Aspect Declarations Denis Mazzucato 2025-10-23 15:37:26 +02:00
ceb98ee357 Fix status label Tõnu Näks 2025-12-15 15:46:55 +02:00
1428bf1264 Update status of rfc-spark-values-at-labels.md Tõnu Näks 2025-12-15 15:39:41 +02:00
c1a25d586e Proposal for referring to values at labels Martin Clochard 2025-11-06 16:58:08 +01:00
27d4f95006 Fix typos Ronan Desplanques 2025-12-08 12:23:31 +01:00
19b8fd2c60 Fixed numbering formatting. topic/constructor-composition QuentinOchem 2025-12-12 16:48:20 -05:00
f979590fdf adjusted non-constructor types semantics Quentin Ochem 2025-12-12 16:43:18 -05:00
b65a35409a completed proposal following live discussions Quentin Ochem 2025-12-12 15:04:27 -05:00
ac4c86e2dd Subprogram-valued Aspect Declarations mr/oop-attributes Denis Mazzucato 2025-10-23 15:37:26 +02:00
254cf73acd Add .gitignore mr/gitignore Denis Mazzucato 2025-12-11 12:25:27 +01:00
acec8fe7c2 drafted rules for composition with non by constructor types Quentin Ochem 2025-12-10 13:51:11 -05:00
118f948f76 Fix status of Inference of Dependent types Tonu Naks 2025-12-01 15:32:13 +02:00
f03f186340 Fix status of Inference of Dependent types mr/fix_status Tonu Naks 2025-12-01 15:32:13 +02:00
2d34912300 added details on compatibility mode, moved From_String in future possibilities Quentin Ochem 2025-11-25 04:46:23 -08:00
3636c6bb79 fixed titles flare Quentin Ochem 2025-11-21 09:37:02 -08:00
f6decb9bb7 initial revision of Flare versioning and feature set Quentin Ochem 2025-11-21 09:32:38 -08:00
31b412dc29 Fix typos Ronan Desplanques 2025-11-13 15:16:56 +01:00
83dd5235db fixes following live review aggregates_fixes Quentin Ochem 2025-11-13 12:50:45 -05:00
3692b0f764 fixed typos and included last feedback Quentin Ochem 2025-11-11 15:39:30 -05:00
186283a036 Tweak example in assigments RFC assignments-example Ronan Desplanques 2025-11-13 15:19:59 +01:00
6eecdf572a fixed attribute name Quentin Ochem 2025-11-12 21:23:47 -05:00
cff8127c0e initial attempt at solving issues with mutable types Quentin Ochem 2025-11-12 21:19:48 -05:00
d9b247c9ca started proposal around overhaul of image Quentin Ochem 2025-11-12 16:42:51 -05:00
ce92ab8299 fixed typos and included last feedback oop-fixes Quentin Ochem 2025-11-11 15:39:30 -05:00
6c9e744d94 Fix while loop in example Ronan Desplanques 2025-09-26 17:08:19 +02:00
e3878bf6fb fixed attribute name following live discussions Quentin Ochem 2025-10-23 13:59:29 -04:00
854fb294f7 Fix typos Ronan Desplanques 2025-09-26 16:51:49 +02:00
b2fc917808 Use "bounds" instead of "boundaries" in RFC text Ronan Desplanques 2025-09-26 16:42:49 +02:00
7970005973 Minor wording updates to rfc-import-array-from-address.md Tõnu Näks 2025-09-15 14:55:41 +03:00
415f6638f9 initial revision of importing array from addresses Quentin Ochem 2025-09-12 13:19:51 -04:00
06b736e169 additional typo fixes Quentin Ochem 2025-09-12 13:15:38 -04:00
5ee470664b fixed typos Quentin Ochem 2025-09-12 10:37:48 -04:00
bf2045c7ed added initial proposal for aggregates and assignments Quentin Ochem 2025-09-12 10:22:07 -04:00
66f8128873 fixed destructor syntax Quentin Ochem 2025-09-12 10:21:05 -04:00
8b2312240b updated constructor proposal Quentin Ochem 2025-09-12 10:00:16 -04:00
73d7dc39d9 Merge considered and prototyped to features, add status Tonu Naks 2025-09-11 17:46:15 +03:00
26ec0b3cd1 Merge changes from pull request #105 Tonu Naks 2025-09-11 17:39:47 +03:00
64aa318190 Update RFC statuses in README.md Tõnu Näks 2025-09-02 15:08:43 +03:00
75767c95fc Update RFC statuses in README.md tonunaks-patch-3 Tõnu Näks 2025-09-02 15:08:43 +03:00
651eb16d26 Merge considered and prototyped to features, add status mr/folder_cleanup Tonu Naks 2025-09-11 17:46:15 +03:00
b23c2f05f2 Merge changes from pull request #105 Tonu Naks 2025-09-11 17:39:47 +03:00
597c723a08 Express in terms of Finalizable aspect Raphaël AMIARD 2025-03-21 15:08:29 +01:00
370a463c8c isolated file from the oop branch Quentin Ochem 2024-05-30 15:24:59 -04:00
93f8396263 Proposal for a ghost Loop_Index attribute Claire Dross 2025-02-28 13:56:08 +01:00
5310aefcbc added considerations on discriminants Quentin Ochem 2025-03-07 13:52:49 -05:00
7e3dba7a00 added considerations on class wide subprograms Quentin Ochem 2025-03-07 13:32:02 -05:00
f4b401c188 fixed remaining mention to Scoped_Primitives aspect Quentin Ochem 2025-01-14 21:00:03 +01:00
fbf8459e35 updated following last meeting Quentin Ochem 2024-09-25 15:53:32 -04:00

1 2 3 4 5 ...