-
Notifications
You must be signed in to change notification settings - Fork 31
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#219 In AdaCore/ada-spark-rfcs;
[feature] Mutable for .. of iteration with Iterable
enhancementNew feature or requestNew feature or requestStatus: Open.#209 In AdaCore/ada-spark-rfcs;[feature] Allow use of discriminants of unchecked unions in non-executable ghost code
enhancementNew feature or requestNew feature or requestStatus: Open.#202 In AdaCore/ada-spark-rfcs;[feature] source encoding
enhancementNew feature or requestNew feature or requestStatus: Open.#198 In AdaCore/ada-spark-rfcs;[feature] Model_Of aspect to specify external subprograms
enhancementNew feature or requestNew feature or requestStatus: Open.#197 In AdaCore/ada-spark-rfcs;[feature] Mandatory end designator
enhancementNew feature or requestNew feature or requestStatus: Open.#177 In AdaCore/ada-spark-rfcs;[feature] Pure functions
enhancementNew feature or requestNew feature or requestSTAT::proposedA proposal from the initiator, waiting for go-aheadA proposal from the initiator, waiting for go-aheadStatus: Open.#176 In AdaCore/ada-spark-rfcs;[feature] Ghost blocks
enhancementNew feature or requestNew feature or requestStatus: Open.#171 In AdaCore/ada-spark-rfcs;[feature] OOP - Aggregates and assignments
enhancementNew feature or requestNew feature or requestStatus: Open.#170 In AdaCore/ada-spark-rfcs;[feature] Import Array from Address
enhancementNew feature or requestNew feature or requestSTAT::proposedA proposal from the initiator, waiting for go-aheadA proposal from the initiator, waiting for go-aheadStatus: Open.[feature] Referring to values at labels
enhancementNew feature or requestNew feature or requestSTAT::designThere is a team allocated to work on the refinement of the RFCThere is a team allocated to work on the refinement of the RFCStatus: Open.#164 In AdaCore/ada-spark-rfcs;[feature] Proposal for a ghost Loop_Index attribute
enhancementNew feature or requestNew feature or requestStatus: Open.#163 In AdaCore/ada-spark-rfcs;