Search results

[feature] Allow use of discriminants of unchecked unions in non-executable ghost code

enhancementNew feature or requestNew feature or request

Status: Open.

#202 In AdaCore/ada-spark-rfcs;

· clairedross opened on Feb 18, 2026

[feature] source encoding

enhancementNew feature or requestNew feature or request

Status: Open.

#198 In AdaCore/ada-spark-rfcs;

· Nikokrock opened on Feb 3, 2026

[feature] Model_Of aspect to specify external subprograms

enhancementNew feature or requestNew feature or request

Status: Open.

#197 In AdaCore/ada-spark-rfcs;

· danielmercier opened on Jan 29, 2026

[feature] Use Constant_Reference instead of Element in Iterable

enhancementNew feature or requestNew feature or request

STAT::designThere is a team allocated to work on the refinement of the RFCThere is a team allocated to work on the refinement of the RFC

Status: Open.

#191 In AdaCore/ada-spark-rfcs;

· clairedross opened on Jan 9, 2026

[feature] Mandatory end designator

enhancementNew feature or requestNew feature or request

Status: Open.

#177 In AdaCore/ada-spark-rfcs;

· joaopsazevedo opened on Nov 6, 2025

[feature] Pure functions

enhancementNew feature or requestNew feature or request

STAT::proposedA proposal from the initiator, waiting for go-aheadA proposal from the initiator, waiting for go-ahead

Status: Open.

#176 In AdaCore/ada-spark-rfcs;

· jklmnn opened on Nov 6, 2025

[feature] Ghost blocks

enhancementNew feature or requestNew feature or request

Status: Open.

#171 In AdaCore/ada-spark-rfcs;

· clairedross opened on Sep 26, 2025

[feature] OOP - Aggregates and assignments

enhancementNew feature or requestNew feature or request

Status: Open.

#170 In AdaCore/ada-spark-rfcs;

· tonunaks opened on Sep 25, 2025

[feature] Import Array from Address

enhancementNew feature or requestNew feature or request

STAT::proposedA proposal from the initiator, waiting for go-aheadA proposal from the initiator, waiting for go-ahead

Status: Open.

Feature

#169 In AdaCore/ada-spark-rfcs;

· tonunaks opened on Sep 15, 2025

[feature] Referring to values at labels

enhancementNew feature or requestNew feature or request

STAT::designThere is a team allocated to work on the refinement of the RFCThere is a team allocated to work on the refinement of the RFC

Status: Open.

#164 In AdaCore/ada-spark-rfcs;

· clairedross opened on Sep 1, 2025

[feature] Proposal for a ghost Loop_Index attribute

enhancementNew feature or requestNew feature or request

Status: Open.

#163 In AdaCore/ada-spark-rfcs;

· tonunaks opened on Aug 29, 2025

[feature] Class types and primitives

enhancementNew feature or requestNew feature or request

Status: Open.

#162 In AdaCore/ada-spark-rfcs;

· tonunaks opened on Aug 29, 2025