Issues

• [feature] Allow newly constructed object in prefix of 'Old/'Loop_Entry/'At

  enhancement
  AdaCore/ada-spark-rfcs#260 · Filter by author MartinClochardPro opened on Oct 1, 2026
  

• [feature] Specifying observed/borrowed object on traversal functions

  enhancement
  AdaCore/ada-spark-rfcs#256 · Filter by author clairedross opened on Sep 15, 2026
  3

• What is Flare?

  AdaCore/ada-spark-rfcs#252 · Filter by author ValorZard opened on Sep 1, 2026
  1

• [feature] Flare: mandatory {} delimiters for record aggregates

  enhancement
  AdaCore/ada-spark-rfcs#245 · Filter by author joaopsazevedo opened on Aug 20, 2026

• [feature] SPARK_Mode_Enabled

  enhancement
  AdaCore/ada-spark-rfcs#240 · Filter by author kanigsson opened on Jul 31, 2026

• oop-dispatching: Does 'Specialized have an effect without Default_Dispatching_Calls?

  AdaCore/ada-spark-rfcs#219 · Filter by author ronan-d opened on May 11, 2026
  5

  

• [feature] Mutable for .. of iteration with Iterable

  enhancement
  AdaCore/ada-spark-rfcs#209 · Filter by author clairedross opened on Apr 20, 2026
  3

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

  enhancement
  AdaCore/ada-spark-rfcs#202 · Filter by author clairedross opened on Feb 18, 2026
  1

• [feature] source encoding

  enhancement
  AdaCore/ada-spark-rfcs#198 · Filter by author Nikokrock opened on Feb 3, 2026
  4

  

• [feature] Mandatory end designator

  enhancement
  AdaCore/ada-spark-rfcs#177 · Filter by author joaopsazevedo opened on Nov 6, 2025
  7

  

• [feature] Pure functions

  enhancementSTAT::proposed
  AdaCore/ada-spark-rfcs#176 · Filter by author jklmnn opened on Nov 6, 2025
  3

• [feature] Ghost blocks

  enhancement
  AdaCore/ada-spark-rfcs#171 · Filter by author clairedross opened on Sep 26, 2025
  2

• [feature] OOP - Aggregates and assignments

  enhancement
  AdaCore/ada-spark-rfcs#170 · Filter by author tonunaks opened on Sep 25, 2025
  6

• [feature] Import Array from Address

  enhancementSTAT::proposed
  Feature

  AdaCore/ada-spark-rfcs#169 · Filter by author tonunaks opened on Sep 15, 2025

• [feature] Referring to values at labels

  enhancementSTAT::design
  AdaCore/ada-spark-rfcs#164 · Filter by author clairedross opened on Sep 1, 2025
  16

• [feature] Proposal for a ghost Loop_Index attribute

  enhancement
  AdaCore/ada-spark-rfcs#163 · Filter by author tonunaks opened on Aug 29, 2025
  6

• [feature] Class types and primitives

  enhancement
  AdaCore/ada-spark-rfcs#162 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] Ghost fields and parameters

  enhancement
  AdaCore/ada-spark-rfcs#161 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] OOP - Protected

  enhancement
  AdaCore/ada-spark-rfcs#160 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] OOP Attributes

  enhancement
  AdaCore/ada-spark-rfcs#159 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] OOP Components

  enhancement
  AdaCore/ada-spark-rfcs#158 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] OOP - Dispatching

  enhancement
  AdaCore/ada-spark-rfcs#157 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] finally for handled_sequence_of_statements

  enhancement
  AdaCore/ada-spark-rfcs#156 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] improved generic instantiations

  enhancement
  AdaCore/ada-spark-rfcs#155 · Filter by author tonunaks opened on Aug 29, 2025

• [feature] constrained indefinite arrays

  enhancement
  AdaCore/ada-spark-rfcs#154 · Filter by author tonunaks opened on Aug 29, 2025