ada/ada-spark-rfcs
0
0
Fork 0
mirror of https://github.com/AdaCore/ada-spark-rfcs.git synced 2026-02-12 13:03:10 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
ada-spark-rfcs/features
History
Martin Clochard 1e44fe538b Minor updates to RFC wording
2026-02-12 17:50:01 +01:00
..
array_slice_access.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
definite_unconstrained_arrays.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
final_modifier.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
generic_subtype_formals.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-add-constant-range-indexing.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-add-indexing-aspects-to-unbounded-strings.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-adjust_indexing.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-anonymous-subprograms.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-case-statement-with-renamed-type-values.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-class-size.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-class-wide-access-subtype.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-conditional-when-constructs.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-continue.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-deep-delta-aggregates.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-deferred-partial-instantiation.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-expression-functions-as-default-for-generic-formal-function-parameters.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-external-initialization.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-finally.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-fixed-lower-bound.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-generalized-finalization.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-ghost-fields-and-parameters.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-import-array-from-address.md
Fix typos
2025-11-14 10:05:30 +02:00
rfc-inference-of-dependent-types.md
Change status of rfc-inference-of-dependent-types.md
2026-01-15 14:22:12 +01:00
rfc-inference-of-generic-actuals-from-call-actuals.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-initialization-for-out-parameters.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-interface-child-package.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-lightweight-iterators.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-local-vars-without-block.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-local-volatile-for-security-in-SPARK.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-mandatory_end_designator.md
Mark rfc-mandatory_end_designator.md as Ready for Prototyping
2025-12-22 16:18:36 +02:00
rfc-multiple_ghost_levels.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-noraise.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-oop-aggregates-and-assignments.rst
Fix typos
2025-11-14 10:05:30 +02:00
rfc-oop-attributes.rst
Update rfc-oop-attributes.rst
2025-12-15 15:54:09 +02:00
rfc-oop-constructors.rst
Fix typos
2025-12-15 09:43:34 +01:00
rfc-oop-destructors.rst
additional typo fixes
2025-09-15 08:50:46 -04:00
rfc-oop-dispatching.rst
fixed typos and included last feedback
2025-11-13 12:03:30 -05:00
rfc-oop-fields.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-oop-first-controlling.rst
Update rfc-oop-first-controlling.rst
2026-01-15 14:34:51 +01:00
rfc-oop-primitives.rst
Change status of rfc-oop-primitives.rst
2026-01-22 16:53:09 +01:00
rfc-oop-protected.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-oop-super.rst
additional typo fixes
2025-09-15 08:50:46 -04:00
rfc-partial-generic-instantiations.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-pattern-matching.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-prefixed-untagged.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-range-integer-types.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-scalar-initialization-checks.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-shortcircuit.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-simpler-accessibility.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-simplified-return-by-reference.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-spark-exceptional-contracts.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-spark-loop-index.md
Fix while loop in example
2025-11-03 09:46:38 -05:00
rfc-spark-modifies-aspect.md
Minor updates to RFC wording
2026-02-12 17:50:01 +01:00
rfc-spark-relaxed-init.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-spark-values-at-labels.md
Fix status label
2025-12-15 15:46:55 +02:00
rfc-storage-model.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-string-interpolation.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-structural-generic-instantiation.md
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-subprogram-variant.rst
Merge considered and prototyped to features, add status
2025-09-11 18:54:04 +03:00
rfc-to_string.md
updated following last meeting
2026-01-29 17:56:57 +01:00