ACAA Header
 
This is a cross reference of all Ada 2012 Issues. Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard. Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives share the AI number, but have a different alternative number (following the second dash). For issues that probably will not be considered by the ARG, look in the Ada Commentaries Index. For Ada 95 issues that have or will be considered by the ARG, look in the Ada 95 Issues Index. For Ada 2005 issues that have or will be considered by the ARG, look in the Ada 2005 Issues Index.
The Ada 2012 Issues are indexed in numeric order, by the class of issue, by the current status, and by the section referenced.

AIs listed by Status

The statuses are:

Amendment 202x

AI12-0002-1/04   2016-08-29 --  RCI units do not allow specification of user-defined stream-oriented attributes
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-22
    RM References:  E.02.03 (15)  
AI12-0004-1/06   2017-04-24 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  2.01 (4.1/3)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  
AI12-0058-1/07   2017-04-24 --  The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-10-27
    RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
AI12-0059-1/10   2016-04-25 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/3)   13.03 (50/2)   13.03 (51)   13.03 (52)   13.03 (58)  
AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2
AI12-0127-1/10   2017-11-21 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  
AI12-0128-1/09   2016-10-02 --  Exact size access to parts of composite atomic objects
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
AI12-0140-1/05   2016-10-02 --  Access to unconstrained partial view when full view is constrained
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  3.02 (7/2)   7.03.01 (5/1)  
AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
AI12-0144-1/07   2016-01-28 --  Make Discrete_Random more flexible
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  A.05.02 (20)   A.05.02 (32)   A.05.02 (41)   A.05.02 (42)  
AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
AI12-0156-1/04   2016-04-11 --  Use subtype_indication in generalized iterators
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
AI12-0160-1/03   2016-04-11 --  Adding an indexing aspect to an indexable container type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  
AI12-0162-1/03   2015-07-30 --  Memberships and Unchecked_Unions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (25/2)  
AI12-0163-1/04   2016-04-21 --  Deterministic queue servicing for FIFO_Queueing
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
AI12-0164-1/05   2017-04-24 --  Max_Entry_Queue_Length aspect for entries
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  D.04 (16)  
AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  12.06 (8.5/2)  
AI12-0166-1/04   2016-03-22 --  External calls to protected functions that appear to be internal calls
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
AI12-0167-1/03   2015-08-07 --  Type_Invariants and tagged-type View Conversions
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.03.02 (9/4)  
AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  13.14 (3/4)  
AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  9.05.02 (5)  
AI12-0170-1/05   2016-10-02 --  Abstract subprogram calls in class-wide precondition expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18/4)   6.01.01 (18.2/4)  
AI12-0171-1/04   2017-04-24 --  Ambiguity in Synchronous_Task_Control semantics
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  D.10 (11)  
AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.05 (2.1/3)  
AI12-0173-1/02   2015-11-17 --  Expression of an extended return statement
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.05 (3/2)   6.05 (5/3)  
AI12-0174-1/02   2015-11-17 --  Aggregates of Unchecked_Unions using named notation
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (9/3)  
AI12-0175-1/05   2016-03-22 --  Preelaborable packages with address clauses
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  10.02.01 (7)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0179-1/06   2017-04-24 --  Failure of postconditions of language-defined units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  
AI12-0180-1/03   2016-10-02 --  Using protected subprograms and entries within an invariant
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01.01 (12/3)  
AI12-0181-1/03   2016-07-11 --  Self-referencing representation aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01 (9/4)   13.01 (9.1/4)   13.14 (19)  
AI12-0182-1/02   2016-04-21 --  Pre'Class and protected operations
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (16/3)  
AI12-0183-1/05   2017-11-21 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   D.04 (4)   D.04 (7/5)  
AI12-0184-1/03   2016-10-02 --  Long Long C Data Types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  B.03 (71.3/3)  
AI12-0185-1/02   2016-07-21 --  Resolution of postcondition-specific attributes
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (7/4)   6.01.01 (8/3)   6.01.01 (26.10/4)   6.01.01 (29/3)  
AI12-0186-1/06   2017-04-24 --  Profile freezing for the Access attribute
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  13.14 (15)  
AI12-0187-1/06   2017-11-21 --  Stable properties of abstract data types
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  7.03.03 (0)   13.01.01 (4/3)  
AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.03.01 (8.1/2)  
AI12-0193-1/04   2016-12-21 --  Postcondition failure for a task entry
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  6.01.01 (26/4)   7.03.02 (20/3)   9.05.02 (24)   9.05.02 (25)  
AI12-0194-1/01   2016-06-06 --  Language-defined aspects and entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (17/3)  
AI12-0195-1/03   2016-10-02 --  Inheriting body but overriding precondition or postcondition
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (38/4)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  
AI12-0198-1/03   2016-10-02 --  Potentially unevaluated components of array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (22.1/4)  
AI12-0199-1/05   2017-04-24 --  Abstract subprogram calls in class-wide invariant expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  7.03.02 (5/4)   7.03.02 (8/3)  
AI12-0200-1/05   2017-04-24 --  Improve reentrancy requirements for language-defined subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  A (3/4)  
AI12-0201-1/03   2017-09-07 --  Missing operations of static string types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-07-19
    RM References:  4.09 (9)   4.09 (19)   4.09 (20)   4.09 (24)  
AI12-0203-1/03   2017-04-25 --  Overriding a nonoverridable aspect
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  4.01.05 (5.1/4)   4.01.05 (7/3)  
AI12-0204-1/03   2017-04-25 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  
AI12-0206-1/02   2017-07-20 --  Nonoverridable should allow arbitrary kinds of aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  13.01.01 (18.2/4)   13.01.01 (18.3/4)   13.01.01 (18.6/4)  
AI12-0207-1/03   2017-08-03 --  Convention of anonymous access types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  
AI12-0211-1/04   2017-11-17 --  Interface types and inherited nonoverridable aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-17
    RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  
AI12-0216-1/03   2017-09-07 --  6.4.1(6.16-17/3) should never apply to composite objects
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-04
    RM References:  6.04.01 (6.17/3)  
AI12-0217-1/03   2017-09-07 --  Rules regarding restrictions on the use of the Old attribute are too strict
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-20
    RM References:  6.01.01 (24/3)   6.01.01 (27/3)  
AI12-0219-1/02   2017-07-21 --  Clarify C interfacing advice
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  
AI12-0222-1/02   2017-07-20 --  Representation aspects and private types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-20
    RM References:  13.01 (9/5)   13.01 (9.1/4)   13.01 (9.2/5)  
AI12-0224-1/03   2017-09-07 --  Use of Fortran C Interfacing features
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  1.02 (3/5)   B.05 (27)  
AI12-0225-1/03   2017-07-21 --  Prefix of Obj'Image
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  3.05 (55.1/4)  
AI12-0227-1/02   2017-07-21 --  Evaluation of nonstatic universal expressions when no operators are involved
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  4.04 (10)   8.06 (29)  
AI12-0228-1/03   2017-09-07 --  Properties of qualified expressions used as names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  3.03 (23.7/3)   3.10 (9/3)  
AI12-0231-1/01   2017-06-05 --  Null_Task_Id and Activation_Is_Complete
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  C.07.01 (15)  
AI12-0232-1/03   2017-11-20 --  Rules for pure generic bodies
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-20
    RM References:  10.02.01 (9/3)   10.02.01 (15.1/3)   10.02.01 (15.5/3)  

WG9 Approved

AI12-0176-1/02   2016-01-28 --  6.1.1(26.4/4) only applies to tagged types
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: WG9 Approved  16-06-13
    RM References:  6.01.01 (26.4/4)  

ARG Approved

AI12-0233-1/04   2017-11-17 --  Pre'Class for hidden operations of private types
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: ARG Approved  6-0-2  17-10-13
    RM References:  6.01.01 (38/4)  

Work Item

AI12-0009-1/06   2016-06-07 --  Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)
                    A.17 (25/2)   A.17 (28/2)  
AI12-0016-1/02   2013-04-22 --  Implementation model of dynamic accessibility checking
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     11-11-13
    RM References:  3.10.02 (22)  
AI12-0017-1/01   2012-01-25 --  Compile-time-checked exception specifications
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  11.04.03 (0)  
AI12-0018-1/02   2014-12-04 --  Entity versioning
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  A.16 (112/3)   A.17 (23/3)  
AI12-0020-1/01   2012-02-14 --  'Image for all types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     12-02-14
    RM References:  6.01.01 (0/3)  
AI12-0021-1/01   2012-03-13 --  Additional internationalization of Ada
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-02-25
    RM References:  A.16 (0/3)  
AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-04-20
    RM References:  6.01.01 (0/3)  
AI12-0064-1/05   2015-10-07 --  Nonblocking subprograms
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-04-22
    RM References:  9.05.01 (11)   9.05.01 (18)  
    Alternatives:   AI12-0064-2
AI12-0075-1/04   2015-10-17 --  Static expression functions
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-06-09
    RM References:  4.09 (6)   4.09 (18)  
AI12-0079-1/05   2017-09-25 --  Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     13-06-28
    RM References:  6.01.02 (0)  
AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  1.01.05 (4)  
AI12-0111-1/06   2017-10-11 --  Stable Containers to reduce tampering checks
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (97.1/3)  
AI12-0112-1/01   2014-05-15 --  Preconditions for container operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (99/3)  
AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  4.09 (38/2)  
AI12-0119-1/04   2017-10-11 --  Parallel operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  5.05.02 (2/3)  
AI12-0139-1/04   2017-06-08 --  Thread-safe Ada libraries
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  A (3/4)   A.18 (5)  
AI12-0188-1/01   2016-06-02 --  Add container iterator form supporting iteration over keys
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0189-1/04   2017-10-11 --  loop-body as anonymous procedure
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05 (3/3)   5.05.03 (0)  
AI12-0190-1/03   2016-10-12 --  Anonymous functions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0191-1/01   2016-06-06 --  Clarify "part" for type invariants
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-06-06
    RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
AI12-0197-1/01   2016-06-07 --  Generator Functions
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-07
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-2  AI12-0197-3  AI12-0197-4
AI12-0197-2/02   2016-06-13 --  Passive tasks
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-12
    RM References:  9.01 (21)  
    Alternatives:   AI12-0197-1  AI12-0197-3  AI12-0197-4
AI12-0197-3/02   2016-10-06 --  generator functions
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-10-05
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-4
AI12-0197-4/01   2017-10-11 --  Coroutines and channels
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-27
    RM References:  9.11 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-3
AI12-0202-1/01   2016-10-03 --  Tampering_Check
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-10-03
    RM References:  11.05 (20)  
AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-10-06
    RM References:  12.04 (6)   12.05 (2)   12.07 (2)  
AI12-0208-1/00   2016-12-19 --  Predefined bignum support
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  A.20 (0)  
AI12-0209-1/00   2016-12-19 --  Refine definition of volatility
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  C.06 (8/3)  
AI12-0210-1/00   2016-12-19 --  Type Invariants and Generics
    Priority: Very Low   Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-12-19
    RM References:  7.03.02 (17/4)   7.03.02 (20.1/4)  
AI12-0212-1/01   2017-06-10 --  Container aggregates
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-06-10
    RM References:  4.03.05 (0)  
AI12-0213-1/01   2016-12-28 --  Unify record syntax
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-12-28
    RM References:  3.08 (3)   13.05.01 (2)  
AI12-0214-1/01   2016-01-09 --  Case pattern matching
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  5.04 (4/3)  
AI12-0215-1/01   2017-01-09 --  Implicit instantiations
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  12.03.01 (0)  
AI12-0218-1/01   2017-01-10 --  Endianness-neutral record representation clauses
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-01-10
    RM References:  13.05.03 (6)  
AI12-0220-1/03   2017-06-12 --  Pre/Post for access-to-subprogram types
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-04-07
    RM References:  6.01.01 (1/4)   6.01.01 (39/3)  
AI12-0221-1/01   2017-04-10 --  Defaults for in out parameters
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-10
    RM References:  6.01 (19)  
AI12-0223-1/00   2017-04-14 --  The co-derivation problem
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-04-14
    RM References:  3.04 (2/2)  
AI12-0226-1/01   2017-04-18 --  Generalize expressions that are objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-18
    RM References:  3.03 (11.1/3)   3.03 (12)   3.03 (21/3)   3.03 (22)   3.03 (23.7/3)   3.10 (9/3)   4.06 (58.1/4)   4.06 (58.4/4)  
AI12-0229-1/02   2017-04-21 --  Type renaming
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-04-19
    RM References:  8.05.06 (0)  
AI12-0230-1/01   2017-06-05 --  Deadline Floor Protocol
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-06-05
    RM References:  D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (29/2)   D.03 (4)   D.03 (7)  
AI12-0234-1/01   2017-06-09 --  Compare-and-swap for atomic objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-06-09
    RM References:  C.06 (14/3)  
AI12-0235-1/01   2017-06-09 --  Root_Storage_Pool should be pure
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-06-09
    RM References:  13.11 (5)   13.11.04 (3/3)  
AI12-0236-1/01   2017-09-06 --  declare expressions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-09-06
    RM References:  13.11 (5)   13.11.04 (3/3)  
AI12-0237-1/01   2017-09-07 --  Getting the representation of an enumeration value
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-09-07
    RM References:  13.04 (11)  
AI12-0239-1/01   2015-10-05 --  Ghost Code
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-10-05
    RM References:  11.04.01 (27/3)  
AI12-0240-1/01   2017-10-09 --  Access value ownership and parameter aliasing
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-10-09
    RM References:  3.10 (14/3)  

Received

AI12-0005-1/00   2011-11-11 --  Editorial comments on AARM 2012
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      11-11-11
    RM References:  6.06 (6)  
AI12-0060-1/00   2013-01-31 --  Overriding indicators on protected subprogram bodies
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Received      12-07-01
    RM References:  8.03.01 (3/2)  
AI12-0066-1/02   2017-04-13 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  

Promising

Hold

AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Hold          13-11-17 (8-0-0)
    RM References:  3.09.03 (6/2)  

No Action

AI12-0014-1/01   2011-12-21 --  Postconditions on subprogram bodies
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-0-1) 15-06-28
    RM References:  6.01.01 (0/3)  
AI12-0015-1/02   2015-10-11 --  Ada unit information
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-1-2) 15-10-17
    RM References:  A.20 (0)  
AI12-0019-1/01   2012-01-26 --  Generic formal record types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (9-0-0) 15-06-28
    RM References:  12.05.06 (0)  
AI12-0024-1/01   2012-05-02 --  Compile-time detection of range and length errors
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-16
    RM References:  4.06 (30)  
AI12-0025-1/01   2012-05-16 --  Allow 'Unchecked_Access on subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-0-4) 15-10-17
    RM References:  13.10 (3)  
AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    RM References:  C.08 (0)  
AI12-0029-1/02   2012-06-28 --  Relax requirement for functions to have return statements
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-0-0) 12-06-16
    RM References:  6.05 (5/3)  
AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     10-0-1  12-12-08
    RM References:  3.02.04 (31/3)   4.06 (57/3)  
AI12-0054-1/04   2013-01-30 --  A raise_expression does not cause membership failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     13-06-15 (8-0-0)
    RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
    Alternatives:   AI12-0054-2
AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-4) 15-06-28
    RM References:  13.10 (3)  
AI12-0063-1/01   2013-01-31 --  No_Return functions
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  6.05.01   
AI12-0087-1/02   2015-10-08 --  Reading the default value of a subtype
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  3.05 (15)   3.05 (55.4/4)   3.06.02 (10)  
AI12-0091-1/04   2014-02-03 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-2) 15-10-18
    RM References:  A.05.01 (5)  
AI12-0108-1/02   2014-10-19 --  Out-of-range static constants
    Priority: Low        Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-0-0) 14-10-19
    RM References:  4.09 (24)  
AI12-0115-1/01   2014-06-19 --  Add Size_Is_Multiple_Of aspect
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (10-0-0) 15-06-27
    RM References:  13.03 (58/3)  
AI12-0122-1/01   2014-08-11 --  Add 'Base for all types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    RM References:  3.05 (15)  
AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (6-0-1) 15-10-18
    RM References:  3.02.02 (12)  
AI12-0125-1/05   2015-10-03 --  Add Object'Inc and 'Dec
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (12-0-0) 16-06-13
    RM References:  3.05 (31/2)  
    Alternatives:   AI12-0125-2  AI12-0125-3
AI12-0125-2/02   2015-10-09 --  Add :+, :-, :*, :/, ...
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (10-0-2) 16-06-13
    RM References:  5.02.01 (0)  
    Alternatives:   AI12-0125-1  AI12-0125-3
AI12-0126-1/02   2015-07-13 --  Add Interfaces.Shifting
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
    RM References:  B.02 (9)  
AI12-0153-1/02   2015-02-23 --  Default value of Boolean-valued aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (8-0-2) 15-02-26
    RM References:  13.01.01 (15/3)   3.05 (56.3/3)   3.06 (22.2/3)  
AI12-0161-1/01   2015-06-03 --  Unicode equivalents for Ada operator symbols
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (8-0-0) 15-06-27
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
AI12-0177-1/00   2015-10-08 --  A name resolution oddity
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: No Action     (6-0-2) 15-10-16
    RM References:  13.01.01 (11/3)  
AI12-0238-1/01   2017-10-05 --  Delta package specifications
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: No Action     (8-0-0) 17-10-14
    RM References:  7.08 (0)  

Deleted

AI12-0006-1/02   2011-12-14 --  Accessibility of null
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Deleted       11-11-11
    RM References:  3.10.02 (13/2)  
AI12-0007-1/02   2011-12-30 --  Accessibility of access discriminants of a subtype
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  3.10.02 (12.1/2)  
AI12-0008-1/02   2011-12-30 --  Bad ancestor constraints for extension aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-13
    RM References:  4.03.02 (8)  
AI12-0010-1/02   2011-12-30 --  Stream_IO should be preelaborated
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Deleted       11-11-13
    RM References:  A.12.01 (3)  
AI12-0011-1/02   2011-12-30 --  Behavior of Random.Reset with default initialized State
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  A.05.02 (12)   A.05.02 (35)  
AI12-0012-1/02   2011-11-11 --  Failure behavior of Directories.Create_Path
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-11
    RM References:  A.16 (61/2)  
AI12-0013-1/02   2011-11-11 --  More issues with the definition of volatile
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  C.06 (16/3)  

AIs listed by Class

The classes are:

Confirmation

AI12-0005-1/00   2011-11-11 --  Editorial comments on AARM 2012
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      11-11-11
    RM References:  6.06 (6)  
AI12-0066-1/02   2017-04-13 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  
AI12-0176-1/02   2016-01-28 --  6.1.1(26.4/4) only applies to tagged types
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: WG9 Approved  16-06-13
    RM References:  6.01.01 (26.4/4)  

Ramification

AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  11.03 (4/2)  
AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  13-12-17
    RM References:  7.03.01 (5.2/3)  
AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
AI12-0098-1/02   2014-09-29 --  Problematic examples for ATC
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  9.07.04 (13)  
AI12-0167-1/03   2015-08-07 --  Type_Invariants and tagged-type View Conversions
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.03.02 (9/4)  
AI12-0182-1/02   2016-04-21 --  Pre'Class and protected operations
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (16/3)  
AI12-0233-1/04   2017-11-17 --  Pre'Class for hidden operations of private types
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: ARG Approved  6-0-2  17-10-13
    RM References:  6.01.01 (38/4)  

Binding Interpretation

AI12-0001-1/06   2013-08-27 --  Independence and Representation clauses for atomic objects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  13.02 (6.1/2)   13.02 (7)   13.02 (8)   13.02 (9/3)   C.06 (8.1/3)   C.06 (10)   C.06 (11)   C.06 (21)
                    C.06 (24)  
AI12-0002-1/04   2016-08-29 --  RCI units do not allow specification of user-defined stream-oriented attributes
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-22
    RM References:  E.02.03 (15)  
AI12-0003-1/13   2015-03-25 --  Specifying the standard storage pool
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  8.02 (11)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4/3)   13.11.03 (4.1/3)   13.11.03 (5/3)   13.11.03 (6.2/3)   13.11.03 (6.3/3)  
AI12-0004-1/06   2017-04-24 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  2.01 (4.1/3)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  
AI12-0006-1/02   2011-12-14 --  Accessibility of null
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Deleted       11-11-11
    RM References:  3.10.02 (13/2)  
AI12-0007-1/02   2011-12-30 --  Accessibility of access discriminants of a subtype
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  3.10.02 (12.1/2)  
AI12-0008-1/02   2011-12-30 --  Bad ancestor constraints for extension aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-13
    RM References:  4.03.02 (8)  
AI12-0011-1/02   2011-12-30 --  Behavior of Random.Reset with default initialized State
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  A.05.02 (12)   A.05.02 (35)  
AI12-0012-1/02   2011-11-11 --  Failure behavior of Directories.Create_Path
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-11
    RM References:  A.16 (61/2)  
AI12-0013-1/02   2011-11-11 --  More issues with the definition of volatile
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  C.06 (16/3)  
AI12-0016-1/02   2013-04-22 --  Implementation model of dynamic accessibility checking
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     11-11-13
    RM References:  3.10.02 (22)  
AI12-0022-1/05   2013-05-08 --  Raise expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  4.06 (24.17/3)   4.06 (24.21/2)   4.06 (58)   6.02 (10/3)   3.10.02 (10/3)  
AI12-0028-1/03   2013-01-02 --  Import of variadic C functions
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-02
    RM References:  B.03 (1/3)   B.03 (60.15/3)   B.03 (75)  
AI12-0030-1/06   2013-07-19 --  Formal derived types and stream attribute availability
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-16
    RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
AI12-0031-1/05   2014-05-08 --  All_Calls_Remote and indirect calls
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-17
    RM References:  E.02.03 (19/3)  
AI12-0032-1/07   2013-07-17 --  Questions on 'Old
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-17
    RM References:  4.01.03 (9/3)   6.01.01 (22/3)   6.01.01 (26/3)   6.01.01 (35/3)  
AI12-0033-1/08   2013-10-07 --  Sets of CPUs when defining dispatching domains
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  D.16.01 (7/3)   D.16.01 (9/3)   D.16.01 (20/3)   D.16.01 (23/3)   D.16.01 (24/3)   D.16.01 (26/3)  
AI12-0034-1/05   2013-10-07 --  Remote stream attribute calls
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-17
    RM References:  E.04 (8)  
AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  
AI12-0036-1/03   2014-05-08 --  The actual for an untagged formal derived type cannot be tagged
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  12.05.01 (5.1/3)  
AI12-0037-1/03   2013-05-08 --  New types in Ada.Locales can't be converted to/from strings
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-28
    RM References:  A.19 (4/3)  
AI12-0038-1/07   2015-01-27 --  Shared_Passive package restrictions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  E.02.01 (7/1)  
AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)
                    4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30.3/3)   4.09 (11/3)   4.09 (32.6/3)
                    8.06 (27.1/3)   3.02.04 (17/3)  
AI12-0040-1/03   2013-05-08 --  Resolving the selecting_expression of a case_expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-02
    RM References:  8.06 (9)  
AI12-0041-1/03   2014-11-18 --  Type_Invariant'Class for interface types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-17
    RM References:  7.03.02 (1/3)   7.03.02 (3/3)  
AI12-0042-1/11   2014-09-29 --  Type invariant checking rules
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)   7.03.02 (20/3)  
AI12-0043-1/02   2013-01-02 --  Details of the storage pool used when Storage_Size is specified
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-02
    RM References:  13.11 (18)  
AI12-0044-1/05   2013-10-07 --  Calling visible functions from type invariant expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-06-28
    RM References:  7.03.02 (19/3)  
AI12-0045-1/03   2013-05-08 --  Pre- and Postconditions are allowed on generic subprograms
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  6.01.01 (1/3)  
AI12-0046-1/02   2012-12-27 --  Enforcing legality for anonymous access components in record aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  4.03.01 (16/3)  
AI12-0047-1/06   2013-05-08 --  Generalized iterators and discriminant-dependent components
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  5.05.02 (6/3)  
AI12-0048-1/03   2013-05-08 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-03
    RM References:  D.16.01 (30/3)  
AI12-0049-1/03   2013-05-08 --  Invariants need to be checked on the initialization of deferred constants
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  7.03.02 (10/3)  
AI12-0050-1/04   2013-07-17 --  Conformance of quantified expressions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-17
    RM References:  6.03.01 (20)   6.03.01 (21)  
AI12-0051-1/03   2013-05-08 --  The Priority aspect can be specified when Attach_Handler is specified
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  D.03 (10/3)  
AI12-0052-1/04   2014-05-08 --  Implicit objects are considered overlapping
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-18
    RM References:  A (3/2)   A.10.03 (21)  
AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     10-0-1  12-12-08
    RM References:  3.02.04 (31/3)   4.06 (57/3)  
AI12-0054-1/04   2013-01-30 --  A raise_expression does not cause membership failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     13-06-15 (8-0-0)
    RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
    Alternatives:   AI12-0054-2
AI12-0054-2/05   2013-10-07 --  Aspect Predicate_Failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-05
    RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
    Alternatives:   AI12-0054-1
AI12-0055-1/06   2014-09-29 --  All properties of a usage profile are defined by pragmas
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  D.07 (10/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
AI12-0058-1/07   2017-04-24 --  The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-10-27
    RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
AI12-0067-1/02   2013-10-07 --  Accessibility level of explicitly aliased parameters of procedures and entries
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  3.10.02 (7/3)  
AI12-0068-1/02   2014-07-22 --  Predicates and the current instance of a subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-22
    RM References:  8.06 (17/3)  
AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-11
    RM References:  A.18.10 (153/3)   A.18.10 (155/3)   A.18.10 (157/3)   A.18.10 (159/3)  
AI12-0070-1/03   2013-10-07 --  9.3(2) does not work for anonymous access types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  3.10.02 (13.1/3)   9.03 (2)  
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
AI12-0072-1/05   2013-10-07 --  Missing rules for Discard_Names aspect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-11
    RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  
AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-05
    RM References:  D.13 (6/3)  
AI12-0074-1/06   2014-09-29 --  View conversions and out parameters passed by copy
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-11
    RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
AI12-0077-1/02   2013-10-07 --  Has_Same_Storage on objects of size zero
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  13.03 (73.4/3)  
AI12-0078-1/01   2013-06-14 --  Definition of node for tree container is confusing
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-06-28
    RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  D.01 (17/3)   D.16 (9/3)  
AI12-0082-1/03   2014-05-08 --  Definition of "dispatching domain"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-07
    RM References:  D.16.01 (16/3)   D.16.01 (22/3)   D.16.01 (25/3)   D.16.01 (27/3)   D.16.01 (29/3)  
AI12-0084-1/01   2013-10-28 --  Box expressions in array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  4.03.03 (23.1/2)  
AI12-0085-1/03   2014-05-08 --  Missing aspect cases for Remote_Types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  E.02.02 (17/2)  
AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  A.04.11 (54/3)   A.04.11 (55/3)  
AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-18
    RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
AI12-0090-1/06   2015-01-19 --  Pre- and Postconditions and requeues
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-12
    RM References:  9.05.04 (5/3)   9.05.04 (7/3)   9.05.04 (12/3)  
AI12-0094-1/03   2015-01-19 --  An access_definition should be a declarative region
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-12
    RM References:  8.03 (2)   8.03 (26/3)  
AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
AI12-0096-1/02   2014-09-29 --  The exception raised when a subtype conversion fails a predicate check
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  4.06 (57/3)  
AI12-0097-1/02   2014-07-15 --  Tag of the return object of a simple return expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-15
    RM References:  6.05 (8/3)  
AI12-0099-1/03   2014-09-29 --  Wording problems with predicates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  3.02.04 (4/4)   3.02.04 (12/3)   3.02.04 (20/3)  
AI12-0100-1/02   2014-07-14 --  A qualified expression makes a predicate check
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  4.07 (4)  
AI12-0101-1/03   2014-09-29 --  Incompatibility of hidden untagged record equality
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  4.05.02 (9.8/3)  
AI12-0102-1/02   2014-10-02 --  Stream_IO.File_Type has Preelaborable_Initialization
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  A.12.01 (5)  
AI12-0103-1/04   2015-01-19 --  Expression functions that are completions in package specifications
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.14 (3/3)   13.14 (5/3)  
AI12-0105-1/03   2014-10-02 --  Pre and Post are not allowed on any subprogram completion
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  13.01.01 (18/3)  
AI12-0106-1/05   2015-01-19 --  Write'Class aspect
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.01.01 (28/3)   13.13.02 (38/3)  
AI12-0107-1/03   2014-10-02 --  A prefixed view of a By_Protected_Procedure interface has convention protected
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  6.03.01 (10.1/2)   6.03.01 (12)   6.03.01 (13)  
AI12-0109-1/03   2015-01-20 --  Representation of untagged derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  13.01 (10/3)  
AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
AI12-0113-1/03   2014-11-19 --  Class-wide preconditions and statically bound calls
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-19
    RM References:  6.01.01 (7/3)   6.01.01 (18/3)   6.01.01 (37/3)   6.01.01 (38/3)  
AI12-0114-1/03   2014-10-02 --  Overlapping objects designated by access parameters are not thread-safe
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-15
    RM References:  A (3/2)  
AI12-0116-1/03   2014-10-02 --  Private types and predicates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  13.01 (9/3)   13.01 (9.1/3)  
AI12-0117-1/03   2014-11-17 --  Restriction No_Tasks_Unassigned_To_CPU
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-17
    RM References:  D.07 (10.8/3)  
AI12-0120-1/04   2014-10-02 --  Legality and exceptions of generalized loop iteration
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  5.05.02 (6.1/4)   5.05.02 (10/3)   5.05.02 (13/3)  
AI12-0121-1/03   2015-01-19 --  Stream-oriented aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.13.02 (38/3)  
AI12-0124-1/04   2015-01-19 --  Add Object'Image
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  3.05 (55/3)  
AI12-0129-1/08   2015-05-05 --  Make protected objects more protecting
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  9.05.01 (2)   9.05.01 (4)   9.05.01 (5)   9.05.01 (7)   9.05.03 (15)   9.05.03 (23)  
AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  
AI12-0131-1/02   2014-11-13 --  Inherited Pre'Class when unspecified on initial subprogram
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  6.01.01 (17/3)   6.01.01 (18/3)  
AI12-0132-1/02   2014-11-13 --  Freezing of renames-as-body
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.14 (5/3)  
AI12-0133-1/04   2015-01-19 --  Type invariants and default initialized objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  7.03.02 (10.3/3)  
AI12-0135-1/05   2015-03-03 --  Enumeration types should be eligible for convention C
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  B.01 (14/3)   B.01 (41/3)   B.03 (65)  
AI12-0136-1/03   2015-01-20 --  Language-defined packages and aspect Default_Storage_Pool
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-18
    RM References:  13.11.03 (5/3)  
AI12-0137-1/03   2015-01-20 --  Incomplete views and access to class-wide types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-17
    RM References:  3.10.01 (2.1/2)  
AI12-0138-1/09   2015-05-05 --  Iterators of formal derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)
                    5.05.01 (11/3)  
AI12-0140-1/05   2016-10-02 --  Access to unconstrained partial view when full view is constrained
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  3.02 (7/2)   7.03.01 (5/1)  
AI12-0142-1/03   2015-02-23 --  Bad subpool implementations
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
AI12-0145-1/02   2015-01-28 --  Pool_of_Subpool returns null when called too early
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11.04 (20/3)  
AI12-0147-1/02   2015-01-28 --  Expression functions and null procedures can be declared in a protected_body
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  9.04 (8/1)  
AI12-0148-1/03   2015-01-29 --  Dangling references
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11.02 (10/2)   13.11.02 (15)   13.11.05 (7/3)  
AI12-0149-1/01   2015-01-22 --  Type invariants are checked for functions returning access-to-type
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  7.03.02 (19.3/4)  
AI12-0150-1/03   2015-01-28 --  Class-wide type invariants and statically bound calls
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  7.03.02 (3/3)   7.03.02 (5/3)   7.03.02 (9/3)   7.03.02 (22/3)  
AI12-0151-1/02   2015-02-26 --  Meaning of subtype_indication in array component iterators
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  5.05.02 (5/3)  
AI12-0152-1/04   2015-03-25 --  Eliminate ambiguities in raise expression and derived type syntax
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  3.05.09 (5)   3.05.09 (18)   3.05.09 (19)   11.03 (2/2)   11.03 (3.1/2)   11.03 (4/3)   11.04.01 (10.1/3)   J.03 (2)
                    J.03 (3)   J.03 (4)   J.03 (7)   J.03 (8)   J.03 (9)   J.03 (10)  
AI12-0153-1/02   2015-02-23 --  Default value of Boolean-valued aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (8-0-2) 15-02-26
    RM References:  13.01.01 (15/3)   3.05 (56.3/3)   3.06 (22.2/3)  
AI12-0154-1/03   2015-03-03 --  Aspects of library units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  13.01.01 (32/3)  
AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)
                    7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  
AI12-0158-1/02   2015-03-26 --  Definition of quantified expressions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  4.05.08 (1/3)   4.05.08 (6/3)   4.05.08 (8/3)   4.05.08 (9/3)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
AI12-0160-1/03   2016-04-11 --  Adding an indexing aspect to an indexable container type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  
AI12-0162-1/03   2015-07-30 --  Memberships and Unchecked_Unions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (25/2)  
AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  12.06 (8.5/2)  
AI12-0166-1/04   2016-03-22 --  External calls to protected functions that appear to be internal calls
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  13.14 (3/4)  
AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  9.05.02 (5)  
AI12-0170-1/05   2016-10-02 --  Abstract subprogram calls in class-wide precondition expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18/4)   6.01.01 (18.2/4)  
AI12-0171-1/04   2017-04-24 --  Ambiguity in Synchronous_Task_Control semantics
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  D.10 (11)  
AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.05 (2.1/3)  
AI12-0173-1/02   2015-11-17 --  Expression of an extended return statement
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.05 (3/2)   6.05 (5/3)  
AI12-0174-1/02   2015-11-17 --  Aggregates of Unchecked_Unions using named notation
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (9/3)  
AI12-0177-1/00   2015-10-08 --  A name resolution oddity
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: No Action     (6-0-2) 15-10-16
    RM References:  13.01.01 (11/3)  
AI12-0179-1/06   2017-04-24 --  Failure of postconditions of language-defined units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  
AI12-0180-1/03   2016-10-02 --  Using protected subprograms and entries within an invariant
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01.01 (12/3)  
AI12-0181-1/03   2016-07-11 --  Self-referencing representation aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01 (9/4)   13.01 (9.1/4)   13.14 (19)  
AI12-0185-1/02   2016-07-21 --  Resolution of postcondition-specific attributes
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (7/4)   6.01.01 (8/3)   6.01.01 (26.10/4)   6.01.01 (29/3)  
AI12-0186-1/06   2017-04-24 --  Profile freezing for the Access attribute
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  13.14 (15)  
AI12-0191-1/01   2016-06-06 --  Clarify "part" for type invariants
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-06-06
    RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.03.01 (8.1/2)  
AI12-0193-1/04   2016-12-21 --  Postcondition failure for a task entry
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  6.01.01 (26/4)   7.03.02 (20/3)   9.05.02 (24)   9.05.02 (25)  
AI12-0194-1/01   2016-06-06 --  Language-defined aspects and entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (17/3)  
AI12-0195-1/03   2016-10-02 --  Inheriting body but overriding precondition or postcondition
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (38/4)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  
AI12-0198-1/03   2016-10-02 --  Potentially unevaluated components of array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (22.1/4)  
AI12-0199-1/05   2017-04-24 --  Abstract subprogram calls in class-wide invariant expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  7.03.02 (5/4)   7.03.02 (8/3)  
AI12-0200-1/05   2017-04-24 --  Improve reentrancy requirements for language-defined subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  A (3/4)  
AI12-0204-1/03   2017-04-25 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  
AI12-0206-1/02   2017-07-20 --  Nonoverridable should allow arbitrary kinds of aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  13.01.01 (18.2/4)   13.01.01 (18.3/4)   13.01.01 (18.6/4)  
AI12-0207-1/03   2017-08-03 --  Convention of anonymous access types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  
AI12-0210-1/00   2016-12-19 --  Type Invariants and Generics
    Priority: Very Low   Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-12-19
    RM References:  7.03.02 (17/4)   7.03.02 (20.1/4)  
AI12-0211-1/04   2017-11-17 --  Interface types and inherited nonoverridable aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-17
    RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  
AI12-0216-1/03   2017-09-07 --  6.4.1(6.16-17/3) should never apply to composite objects
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-04
    RM References:  6.04.01 (6.17/3)  
AI12-0217-1/03   2017-09-07 --  Rules regarding restrictions on the use of the Old attribute are too strict
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-20
    RM References:  6.01.01 (24/3)   6.01.01 (27/3)  
AI12-0219-1/02   2017-07-21 --  Clarify C interfacing advice
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  
AI12-0222-1/02   2017-07-20 --  Representation aspects and private types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-20
    RM References:  13.01 (9/5)   13.01 (9.1/4)   13.01 (9.2/5)  
AI12-0225-1/03   2017-07-21 --  Prefix of Obj'Image
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  3.05 (55.1/4)  
AI12-0227-1/02   2017-07-21 --  Evaluation of nonstatic universal expressions when no operators are involved
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  4.04 (10)   8.06 (29)  
AI12-0228-1/03   2017-09-07 --  Properties of qualified expressions used as names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  3.03 (23.7/3)   3.10 (9/3)  
AI12-0231-1/01   2017-06-05 --  Null_Task_Id and Activation_Is_Complete
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  C.07.01 (15)  
AI12-0232-1/03   2017-11-20 --  Rules for pure generic bodies
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-20
    RM References:  10.02.01 (9/3)   10.02.01 (15.1/3)   10.02.01 (15.5/3)  

Amendment

AI12-0009-1/06   2016-06-07 --  Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)
                    A.17 (25/2)   A.17 (28/2)  
AI12-0010-1/02   2011-12-30 --  Stream_IO should be preelaborated
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Deleted       11-11-13
    RM References:  A.12.01 (3)  
AI12-0014-1/01   2011-12-21 --  Postconditions on subprogram bodies
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-0-1) 15-06-28
    RM References:  6.01.01 (0/3)  
AI12-0015-1/02   2015-10-11 --  Ada unit information
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-1-2) 15-10-17
    RM References:  A.20 (0)  
AI12-0017-1/01   2012-01-25 --  Compile-time-checked exception specifications
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  11.04.03 (0)  
AI12-0018-1/02   2014-12-04 --  Entity versioning
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  A.16 (112/3)   A.17 (23/3)  
AI12-0019-1/01   2012-01-26 --  Generic formal record types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (9-0-0) 15-06-28
    RM References:  12.05.06 (0)  
AI12-0020-1/01   2012-02-14 --  'Image for all types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     12-02-14
    RM References:  6.01.01 (0/3)  
AI12-0021-1/01   2012-03-13 --  Additional internationalization of Ada
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-02-25
    RM References:  A.16 (0/3)  
AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-04-20
    RM References:  6.01.01 (0/3)  
AI12-0024-1/01   2012-05-02 --  Compile-time detection of range and length errors
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-16
    RM References:  4.06 (30)  
AI12-0025-1/01   2012-05-16 --  Allow 'Unchecked_Access on subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-0-4) 15-10-17
    RM References:  13.10 (3)  
AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    RM References:  C.08 (0)  
AI12-0029-1/02   2012-06-28 --  Relax requirement for functions to have return statements
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-0-0) 12-06-16
    RM References:  6.05 (5/3)  
AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-4) 15-06-28
    RM References:  13.10 (3)  
AI12-0059-1/10   2016-04-25 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/3)   13.03 (50/2)   13.03 (51)   13.03 (52)   13.03 (58)  
AI12-0060-1/00   2013-01-31 --  Overriding indicators on protected subprogram bodies
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Received      12-07-01
    RM References:  8.03.01 (3/2)  
AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
AI12-0063-1/01   2013-01-31 --  No_Return functions
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  6.05.01   
AI12-0064-1/05   2015-10-07 --  Nonblocking subprograms
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-04-22
    RM References:  9.05.01 (11)   9.05.01 (18)  
    Alternatives:   AI12-0064-2
AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0075-1/04   2015-10-17 --  Static expression functions
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-06-09
    RM References:  4.09 (6)   4.09 (18)  
AI12-0079-1/05   2017-09-25 --  Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     13-06-28
    RM References:  6.01.02 (0)  
AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Hold          13-11-17 (8-0-0)
    RM References:  3.09.03 (6/2)  
AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
AI12-0087-1/02   2015-10-08 --  Reading the default value of a subtype
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  3.05 (15)   3.05 (55.4/4)   3.06.02 (10)  
AI12-0091-1/04   2014-02-03 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-2) 15-10-18
    RM References:  A.05.01 (5)  
AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  1.01.05 (4)  
AI12-0111-1/06   2017-10-11 --  Stable Containers to reduce tampering checks
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (97.1/3)  
AI12-0112-1/01   2014-05-15 --  Preconditions for container operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (99/3)  
AI12-0115-1/01   2014-06-19 --  Add Size_Is_Multiple_Of aspect
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (10-0-0) 15-06-27
    RM References:  13.03 (58/3)  
AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  4.09 (38/2)  
AI12-0119-1/04   2017-10-11 --  Parallel operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  5.05.02 (2/3)  
AI12-0122-1/01   2014-08-11 --  Add 'Base for all types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    RM References:  3.05 (15)  
AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (6-0-1) 15-10-18
    RM References:  3.02.02 (12)  
AI12-0125-1/05   2015-10-03 --  Add Object'Inc and 'Dec
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (12-0-0) 16-06-13
    RM References:  3.05 (31/2)  
    Alternatives:   AI12-0125-2  AI12-0125-3
AI12-0125-2/02   2015-10-09 --  Add :+, :-, :*, :/, ...
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (10-0-2) 16-06-13
    RM References:  5.02.01 (0)  
    Alternatives:   AI12-0125-1  AI12-0125-3
AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2
AI12-0126-1/02   2015-07-13 --  Add Interfaces.Shifting
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
    RM References:  B.02 (9)  
AI12-0127-1/10   2017-11-21 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  
AI12-0128-1/09   2016-10-02 --  Exact size access to parts of composite atomic objects
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
AI12-0139-1/04   2017-06-08 --  Thread-safe Ada libraries
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  A (3/4)   A.18 (5)  
AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
AI12-0144-1/07   2016-01-28 --  Make Discrete_Random more flexible
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  A.05.02 (20)   A.05.02 (32)   A.05.02 (41)   A.05.02 (42)  
AI12-0156-1/04   2016-04-11 --  Use subtype_indication in generalized iterators
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
AI12-0161-1/01   2015-06-03 --  Unicode equivalents for Ada operator symbols
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (8-0-0) 15-06-27
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
AI12-0163-1/04   2016-04-21 --  Deterministic queue servicing for FIFO_Queueing
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
AI12-0164-1/05   2017-04-24 --  Max_Entry_Queue_Length aspect for entries
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  D.04 (16)  
AI12-0175-1/05   2016-03-22 --  Preelaborable packages with address clauses
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  10.02.01 (7)  
AI12-0184-1/03   2016-10-02 --  Long Long C Data Types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  B.03 (71.3/3)  
AI12-0187-1/06   2017-11-21 --  Stable properties of abstract data types
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  7.03.03 (0)   13.01.01 (4/3)  
AI12-0188-1/01   2016-06-02 --  Add container iterator form supporting iteration over keys
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0189-1/04   2017-10-11 --  loop-body as anonymous procedure
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05 (3/3)   5.05.03 (0)  
AI12-0190-1/03   2016-10-12 --  Anonymous functions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0197-1/01   2016-06-07 --  Generator Functions
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-07
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-2  AI12-0197-3  AI12-0197-4
AI12-0197-2/02   2016-06-13 --  Passive tasks
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-12
    RM References:  9.01 (21)  
    Alternatives:   AI12-0197-1  AI12-0197-3  AI12-0197-4
AI12-0197-3/02   2016-10-06 --  generator functions
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-10-05
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-4
AI12-0197-4/01   2017-10-11 --  Coroutines and channels
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-27
    RM References:  9.11 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-3
AI12-0201-1/03   2017-09-07 --  Missing operations of static string types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-07-19
    RM References:  4.09 (9)   4.09 (19)   4.09 (20)   4.09 (24)  
AI12-0202-1/01   2016-10-03 --  Tampering_Check
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-10-03
    RM References:  11.05 (20)  
AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-10-06
    RM References:  12.04 (6)   12.05 (2)   12.07 (2)  
AI12-0208-1/00   2016-12-19 --  Predefined bignum support
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  A.20 (0)  
AI12-0209-1/00   2016-12-19 --  Refine definition of volatility
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  C.06 (8/3)  
AI12-0212-1/01   2017-06-10 --  Container aggregates
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-06-10
    RM References:  4.03.05 (0)  
AI12-0213-1/01   2016-12-28 --  Unify record syntax
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-12-28
    RM References:  3.08 (3)   13.05.01 (2)  
AI12-0214-1/01   2016-01-09 --  Case pattern matching
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  5.04 (4/3)  
AI12-0215-1/01   2017-01-09 --  Implicit instantiations
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  12.03.01 (0)  
AI12-0218-1/01   2017-01-10 --  Endianness-neutral record representation clauses
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-01-10
    RM References:  13.05.03 (6)  
AI12-0220-1/03   2017-06-12 --  Pre/Post for access-to-subprogram types
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-04-07
    RM References:  6.01.01 (1/4)   6.01.01 (39/3)  
AI12-0221-1/01   2017-04-10 --  Defaults for in out parameters
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-10
    RM References:  6.01 (19)  
AI12-0223-1/00   2017-04-14 --  The co-derivation problem
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-04-14
    RM References:  3.04 (2/2)  
AI12-0226-1/01   2017-04-18 --  Generalize expressions that are objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-18
    RM References:  3.03 (11.1/3)   3.03 (12)   3.03 (21/3)   3.03 (22)   3.03 (23.7/3)   3.10 (9/3)   4.06 (58.1/4)   4.06 (58.4/4)  
AI12-0229-1/02   2017-04-21 --  Type renaming
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-04-19
    RM References:  8.05.06 (0)  
AI12-0230-1/01   2017-06-05 --  Deadline Floor Protocol
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-06-05
    RM References:  D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (29/2)   D.03 (4)   D.03 (7)  
AI12-0234-1/01   2017-06-09 --  Compare-and-swap for atomic objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-06-09
    RM References:  C.06 (14/3)  
AI12-0235-1/01   2017-06-09 --  Root_Storage_Pool should be pure
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-06-09
    RM References:  13.11 (5)   13.11.04 (3/3)  
AI12-0236-1/01   2017-09-06 --  declare expressions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-09-06
    RM References:  13.11 (5)   13.11.04 (3/3)  
AI12-0237-1/01   2017-09-07 --  Getting the representation of an enumeration value
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-09-07
    RM References:  13.04 (11)  
AI12-0238-1/01   2017-10-05 --  Delta package specifications
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: No Action     (8-0-0) 17-10-14
    RM References:  7.08 (0)  
AI12-0239-1/01   2015-10-05 --  Ghost Code
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-10-05
    RM References:  11.04.01 (27/3)  
AI12-0240-1/01   2017-10-09 --  Access value ownership and parameter aliasing
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-10-09
    RM References:  3.10 (14/3)  

Presentation

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  
AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  
AI12-0104-1/02   2014-10-02 --  Overriding an aspect is undefined
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  4.01.06 (4/3)   4.01.06 (17/3)  
AI12-0134-1/03   2015-01-19 --  Error in Storage Pool example
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.11.06 (11/3)  
AI12-0141-1/02   2015-01-28 --  Add Raise Expression to Introduction
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  14-12-04
    RM References: 
AI12-0146-1/01   2015-01-21 --  Should say stream-oriented attribute
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  7.03.02 (15/3)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0183-1/05   2017-11-21 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   D.04 (4)   D.04 (7/5)  
AI12-0203-1/03   2017-04-25 --  Overriding a nonoverridable aspect
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  4.01.05 (5.1/4)   4.01.05 (7/3)  
AI12-0224-1/03   2017-09-07 --  Use of Fortran C Interfacing features
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  1.02 (3/5)   B.05 (27)  

Pathology

AI12-0108-1/02   2014-10-19 --  Out-of-range static constants
    Priority: Low        Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-0-0) 14-10-19
    RM References:  4.09 (24)  

Other

AIs listed by Section Referenced

1.01

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  

1.01.02

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  

1.01.03

AI12-0179-1/06   2017-04-24 --  Failure of postconditions of language-defined units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  

1.01.05

AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  1.01.05 (4)  

1.02

AI12-0058-1/07   2017-04-24 --  The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-10-27
    RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
AI12-0224-1/03   2017-09-07 --  Use of Fortran C Interfacing features
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  1.02 (3/5)   B.05 (27)  

2.01

AI12-0004-1/06   2017-04-24 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  2.01 (4.1/3)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  

2.02

AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2

2.03

AI12-0004-1/06   2017-04-24 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  2.01 (4.1/3)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  

3.01

AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  

3.02

AI12-0140-1/05   2016-10-02 --  Access to unconstrained partial view when full view is constrained
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  3.02 (7/2)   7.03.01 (5/1)  

3.02.02

AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (6-0-1) 15-10-18
    RM References:  3.02.02 (12)  

3.02.04

AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)
                    4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30.3/3)   4.09 (11/3)   4.09 (32.6/3)
                    8.06 (27.1/3)   3.02.04 (17/3)  
AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     10-0-1  12-12-08
    RM References:  3.02.04 (31/3)   4.06 (57/3)  
AI12-0054-2/05   2013-10-07 --  Aspect Predicate_Failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-05
    RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
    Alternatives:   AI12-0054-1
AI12-0066-1/02   2017-04-13 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
AI12-0099-1/03   2014-09-29 --  Wording problems with predicates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  3.02.04 (4/4)   3.02.04 (12/3)   3.02.04 (20/3)  

3.03

AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2
AI12-0226-1/01   2017-04-18 --  Generalize expressions that are objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-18
    RM References:  3.03 (11.1/3)   3.03 (12)   3.03 (21/3)   3.03 (22)   3.03 (23.7/3)   3.10 (9/3)   4.06 (58.1/4)   4.06 (58.4/4)  
AI12-0228-1/03   2017-09-07 --  Properties of qualified expressions used as names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  3.03 (23.7/3)   3.10 (9/3)  

3.03.01

AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.03.01 (8.1/2)  

3.04

AI12-0223-1/00   2017-04-14 --  The co-derivation problem
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-04-14
    RM References:  3.04 (2/2)  

3.05

AI12-0087-1/02   2015-10-08 --  Reading the default value of a subtype
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  3.05 (15)   3.05 (55.4/4)   3.06.02 (10)  
AI12-0122-1/01   2014-08-11 --  Add 'Base for all types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    RM References:  3.05 (15)  
AI12-0124-1/04   2015-01-19 --  Add Object'Image
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  3.05 (55/3)  
AI12-0125-1/05   2015-10-03 --  Add Object'Inc and 'Dec
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (12-0-0) 16-06-13
    RM References:  3.05 (31/2)  
    Alternatives:   AI12-0125-2  AI12-0125-3
AI12-0153-1/02   2015-02-23 --  Default value of Boolean-valued aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (8-0-2) 15-02-26
    RM References:  13.01.01 (15/3)   3.05 (56.3/3)   3.06 (22.2/3)  
AI12-0225-1/03   2017-07-21 --  Prefix of Obj'Image
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  3.05 (55.1/4)  

3.05.05

AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  

3.05.09

AI12-0152-1/04   2015-03-25 --  Eliminate ambiguities in raise expression and derived type syntax
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  3.05.09 (5)   3.05.09 (18)   3.05.09 (19)   11.03 (2/2)   11.03 (3.1/2)   11.03 (4/3)   11.04.01 (10.1/3)   J.03 (2)
                    J.03 (3)   J.03 (4)   J.03 (7)   J.03 (8)   J.03 (9)   J.03 (10)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  

3.06

AI12-0153-1/02   2015-02-23 --  Default value of Boolean-valued aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (8-0-2) 15-02-26
    RM References:  13.01.01 (15/3)   3.05 (56.3/3)   3.06 (22.2/3)  
AI12-0160-1/03   2016-04-11 --  Adding an indexing aspect to an indexable container type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  

3.06.02

AI12-0087-1/02   2015-10-08 --  Reading the default value of a subtype
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  3.05 (15)   3.05 (55.4/4)   3.06.02 (10)  

3.07.02

AI12-0183-1/05   2017-11-21 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   D.04 (4)   D.04 (7/5)  

3.08

AI12-0213-1/01   2016-12-28 --  Unify record syntax
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-12-28
    RM References:  3.08 (3)   13.05.01 (2)  

3.08.01

AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  

3.09

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  

3.09.03

AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  
AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Hold          13-11-17 (8-0-0)
    RM References:  3.09.03 (6/2)  
AI12-0170-1/05   2016-10-02 --  Abstract subprogram calls in class-wide precondition expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18/4)   6.01.01 (18.2/4)  

3.10

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  
AI12-0226-1/01   2017-04-18 --  Generalize expressions that are objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-18
    RM References:  3.03 (11.1/3)   3.03 (12)   3.03 (21/3)   3.03 (22)   3.03 (23.7/3)   3.10 (9/3)   4.06 (58.1/4)   4.06 (58.4/4)  
AI12-0228-1/03   2017-09-07 --  Properties of qualified expressions used as names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  3.03 (23.7/3)   3.10 (9/3)  
AI12-0240-1/01   2017-10-09 --  Access value ownership and parameter aliasing
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-10-09
    RM References:  3.10 (14/3)  

3.10.01

AI12-0137-1/03   2015-01-20 --  Incomplete views and access to class-wide types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-17
    RM References:  3.10.01 (2.1/2)  
AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  

3.10.02

AI12-0006-1/02   2011-12-14 --  Accessibility of null
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Deleted       11-11-11
    RM References:  3.10.02 (13/2)  
AI12-0007-1/02   2011-12-30 --  Accessibility of access discriminants of a subtype
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  3.10.02 (12.1/2)  
AI12-0016-1/02   2013-04-22 --  Implementation model of dynamic accessibility checking
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     11-11-13
    RM References:  3.10.02 (22)  
AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  4.06 (24.17/3)   4.06 (24.21/2)   4.06 (58)   6.02 (10/3)   3.10.02 (10/3)  
AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0067-1/02   2013-10-07 --  Accessibility level of explicitly aliased parameters of procedures and entries
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  3.10.02 (7/3)  
AI12-0070-1/03   2013-10-07 --  9.3(2) does not work for anonymous access types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  3.10.02 (13.1/3)   9.03 (2)  
AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-18
    RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
AI12-0156-1/04   2016-04-11 --  Use subtype_indication in generalized iterators
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)
                    7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  

4.01

AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2

4.01.03

AI12-0032-1/07   2013-07-17 --  Questions on 'Old
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-17
    RM References:  4.01.03 (9/3)   6.01.01 (22/3)   6.01.01 (26/3)   6.01.01 (35/3)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0204-1/03   2017-04-25 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  

4.01.04

AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  

4.01.05

AI12-0138-1/09   2015-05-05 --  Iterators of formal derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)
                    5.05.01 (11/3)  
AI12-0203-1/03   2017-04-25 --  Overriding a nonoverridable aspect
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  4.01.05 (5.1/4)   4.01.05 (7/3)  

4.01.06

AI12-0104-1/02   2014-10-02 --  Overriding an aspect is undefined
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  4.01.06 (4/3)   4.01.06 (17/3)  
AI12-0138-1/09   2015-05-05 --  Iterators of formal derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)
                    5.05.01 (11/3)  
AI12-0160-1/03   2016-04-11 --  Adding an indexing aspect to an indexable container type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  
AI12-0204-1/03   2017-04-25 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  

4.03

AI12-0127-1/10   2017-11-21 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  

4.03.01

AI12-0046-1/02   2012-12-27 --  Enforcing legality for anonymous access components in record aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  4.03.01 (16/3)  
AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.01 (17/3)   4.03.01 (19/3)  

4.03.02

AI12-0008-1/02   2011-12-30 --  Bad ancestor constraints for extension aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-13
    RM References:  4.03.02 (8)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

4.03.03

AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
AI12-0084-1/01   2013-10-28 --  Box expressions in array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  4.03.03 (23.1/2)  
AI12-0127-1/10   2017-11-21 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  
AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)
                    7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

4.03.04

AI12-0127-1/10   2017-11-21 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  

4.03.05

AI12-0212-1/01   2017-06-10 --  Container aggregates
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-06-10
    RM References:  4.03.05 (0)  

4.04

AI12-0022-1/05   2013-05-08 --  Raise expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)
                    4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30.3/3)   4.09 (11/3)   4.09 (32.6/3)
                    8.06 (27.1/3)   3.02.04 (17/3)  
AI12-0066-1/02   2017-04-13 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  
AI12-0227-1/02   2017-07-21 --  Evaluation of nonstatic universal expressions when no operators are involved
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  4.04 (10)   8.06 (29)  

4.05.02

AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)
                    4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30.3/3)   4.09 (11/3)   4.09 (32.6/3)
                    8.06 (27.1/3)   3.02.04 (17/3)  
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
AI12-0101-1/03   2014-09-29 --  Incompatibility of hidden untagged record equality
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  4.05.02 (9.8/3)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

4.05.08

AI12-0158-1/02   2015-03-26 --  Definition of quantified expressions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  4.05.08 (1/3)   4.05.08 (6/3)   4.05.08 (8/3)   4.05.08 (9/3)  

4.06

AI12-0024-1/01   2012-05-02 --  Compile-time detection of range and length errors
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-16
    RM References:  4.06 (30)  
AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  4.06 (24.17/3)   4.06 (24.21/2)   4.06 (58)   6.02 (10/3)   3.10.02 (10/3)  
AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     10-0-1  12-12-08
    RM References:  3.02.04 (31/3)   4.06 (57/3)  
AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
AI12-0074-1/06   2014-09-29 --  View conversions and out parameters passed by copy
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
AI12-0096-1/02   2014-09-29 --  The exception raised when a subtype conversion fails a predicate check
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  4.06 (57/3)  
AI12-0226-1/01   2017-04-18 --  Generalize expressions that are objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-18
    RM References:  3.03 (11.1/3)   3.03 (12)   3.03 (21/3)   3.03 (22)   3.03 (23.7/3)   3.10 (9/3)   4.06 (58.1/4)   4.06 (58.4/4)  

4.07

AI12-0100-1/02   2014-07-14 --  A qualified expression makes a predicate check
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  4.07 (4)  

4.09

AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)
                    4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30.3/3)   4.09 (11/3)   4.09 (32.6/3)
                    8.06 (27.1/3)   3.02.04 (17/3)  
AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0075-1/04   2015-10-17 --  Static expression functions
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-06-09
    RM References:  4.09 (6)   4.09 (18)  
AI12-0108-1/02   2014-10-19 --  Out-of-range static constants
    Priority: Low        Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-0-0) 14-10-19
    RM References:  4.09 (24)  
AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  4.09 (38/2)  
AI12-0183-1/05   2017-11-21 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   D.04 (4)   D.04 (7/5)  
AI12-0201-1/03   2017-09-07 --  Missing operations of static string types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-07-19
    RM References:  4.09 (9)   4.09 (19)   4.09 (20)   4.09 (24)  

4.09.01

AI12-0059-1/10   2016-04-25 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/3)   13.03 (50/2)   13.03 (51)   13.03 (52)   13.03 (58)  
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  

5.02

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  

5.02.01

AI12-0125-2/02   2015-10-09 --  Add :+, :-, :*, :/, ...
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (10-0-2) 16-06-13
    RM References:  5.02.01 (0)  
    Alternatives:   AI12-0125-1  AI12-0125-3
AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2

5.04

AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
AI12-0214-1/01   2016-01-09 --  Case pattern matching
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  5.04 (4/3)  

5.05

AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
AI12-0189-1/04   2017-10-11 --  loop-body as anonymous procedure
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05 (3/3)   5.05.03 (0)  

5.05.01

AI12-0138-1/09   2015-05-05 --  Iterators of formal derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)
                    5.05.01 (11/3)  

5.05.02

AI12-0047-1/06   2013-05-08 --  Generalized iterators and discriminant-dependent components
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  5.05.02 (6/3)  
AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
AI12-0119-1/04   2017-10-11 --  Parallel operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  5.05.02 (2/3)  
AI12-0120-1/04   2014-10-02 --  Legality and exceptions of generalized loop iteration
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  5.05.02 (6.1/4)   5.05.02 (10/3)   5.05.02 (13/3)  
AI12-0151-1/02   2015-02-26 --  Meaning of subtype_indication in array component iterators
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  5.05.02 (5/3)  
AI12-0156-1/04   2016-04-11 --  Use subtype_indication in generalized iterators
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
AI12-0161-1/01   2015-06-03 --  Unicode equivalents for Ada operator symbols
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (8-0-0) 15-06-27
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
AI12-0183-1/05   2017-11-21 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   D.04 (4)   D.04 (7/5)  
AI12-0188-1/01   2016-06-02 --  Add container iterator form supporting iteration over keys
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0190-1/03   2016-10-12 --  Anonymous functions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  

5.05.03

AI12-0189-1/04   2017-10-11 --  loop-body as anonymous procedure
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05 (3/3)   5.05.03 (0)  

6.01

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  
AI12-0221-1/01   2017-04-10 --  Defaults for in out parameters
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-04-10
    RM References:  6.01 (19)  

6.01.01

AI12-0014-1/01   2011-12-21 --  Postconditions on subprogram bodies
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-0-1) 15-06-28
    RM References:  6.01.01 (0/3)  
AI12-0020-1/01   2012-02-14 --  'Image for all types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     12-02-14
    RM References:  6.01.01 (0/3)  
AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-04-20
    RM References:  6.01.01 (0/3)  
AI12-0032-1/07   2013-07-17 --  Questions on 'Old
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-17
    RM References:  4.01.03 (9/3)   6.01.01 (22/3)   6.01.01 (26/3)   6.01.01 (35/3)  
AI12-0045-1/03   2013-05-08 --  Pre- and Postconditions are allowed on generic subprograms
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  6.01.01 (1/3)  
AI12-0113-1/03   2014-11-19 --  Class-wide preconditions and statically bound calls
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-19
    RM References:  6.01.01 (7/3)   6.01.01 (18/3)   6.01.01 (37/3)   6.01.01 (38/3)  
AI12-0131-1/02   2014-11-13 --  Inherited Pre'Class when unspecified on initial subprogram
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  6.01.01 (17/3)   6.01.01 (18/3)  
AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
AI12-0166-1/04   2016-03-22 --  External calls to protected functions that appear to be internal calls
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
AI12-0170-1/05   2016-10-02 --  Abstract subprogram calls in class-wide precondition expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18/4)   6.01.01 (18.2/4)  
AI12-0176-1/02   2016-01-28 --  6.1.1(26.4/4) only applies to tagged types
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: WG9 Approved  16-06-13
    RM References:  6.01.01 (26.4/4)  
AI12-0185-1/02   2016-07-21 --  Resolution of postcondition-specific attributes
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (7/4)   6.01.01 (8/3)   6.01.01 (26.10/4)   6.01.01 (29/3)  
AI12-0193-1/04   2016-12-21 --  Postcondition failure for a task entry
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  6.01.01 (26/4)   7.03.02 (20/3)   9.05.02 (24)   9.05.02 (25)  
AI12-0195-1/03   2016-10-02 --  Inheriting body but overriding precondition or postcondition
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (38/4)  
AI12-0198-1/03   2016-10-02 --  Potentially unevaluated components of array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (22.1/4)  
AI12-0217-1/03   2017-09-07 --  Rules regarding restrictions on the use of the Old attribute are too strict
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-20
    RM References:  6.01.01 (24/3)   6.01.01 (27/3)  
AI12-0220-1/03   2017-06-12 --  Pre/Post for access-to-subprogram types
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-04-07
    RM References:  6.01.01 (1/4)   6.01.01 (39/3)  
AI12-0233-1/04   2017-11-17 --  Pre'Class for hidden operations of private types
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: ARG Approved  6-0-2  17-10-13
    RM References:  6.01.01 (38/4)  

6.01.02

AI12-0079-1/05   2017-09-25 --  Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     13-06-28
    RM References:  6.01.02 (0)  

6.02

AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  4.06 (24.17/3)   4.06 (24.21/2)   4.06 (58)   6.02 (10/3)   3.10.02 (10/3)  
AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  

6.03.01

AI12-0050-1/04   2013-07-17 --  Conformance of quantified expressions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-17
    RM References:  6.03.01 (20)   6.03.01 (21)  
AI12-0107-1/03   2014-10-02 --  A prefixed view of a By_Protected_Procedure interface has convention protected
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  6.03.01 (10.1/2)   6.03.01 (12)   6.03.01 (13)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
AI12-0207-1/03   2017-08-03 --  Convention of anonymous access types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  

6.04.01

AI12-0074-1/06   2014-09-29 --  View conversions and out parameters passed by copy
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
AI12-0216-1/03   2017-09-07 --  6.4.1(6.16-17/3) should never apply to composite objects
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-04
    RM References:  6.04.01 (6.17/3)  

6.05

AI12-0029-1/02   2012-06-28 --  Relax requirement for functions to have return statements
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-0-0) 12-06-16
    RM References:  6.05 (5/3)  
AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-18
    RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
AI12-0097-1/02   2014-07-15 --  Tag of the return object of a simple return expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-15
    RM References:  6.05 (8/3)  
AI12-0173-1/02   2015-11-17 --  Expression of an extended return statement
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.05 (3/2)   6.05 (5/3)  

6.05.01

AI12-0063-1/01   2013-01-31 --  No_Return functions
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  6.05.01   

6.06

AI12-0005-1/00   2011-11-11 --  Editorial comments on AARM 2012
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      11-11-11
    RM References:  6.06 (6)  

6.08

AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)
                    7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  

6.09

AI12-0197-1/01   2016-06-07 --  Generator Functions
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-07
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-2  AI12-0197-3  AI12-0197-4
AI12-0197-3/02   2016-10-06 --  generator functions
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-10-05
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-4

7.03.01

AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  13-12-17
    RM References:  7.03.01 (5.2/3)  
AI12-0140-1/05   2016-10-02 --  Access to unconstrained partial view when full view is constrained
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  3.02 (7/2)   7.03.01 (5/1)  

7.03.02

AI12-0041-1/03   2014-11-18 --  Type_Invariant'Class for interface types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-17
    RM References:  7.03.02 (1/3)   7.03.02 (3/3)  
AI12-0042-1/11   2014-09-29 --  Type invariant checking rules
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)   7.03.02 (20/3)  
AI12-0044-1/05   2013-10-07 --  Calling visible functions from type invariant expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-06-28
    RM References:  7.03.02 (19/3)  
AI12-0049-1/03   2013-05-08 --  Invariants need to be checked on the initialization of deferred constants
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  7.03.02 (10/3)  
AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  
AI12-0133-1/04   2015-01-19 --  Type invariants and default initialized objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  7.03.02 (10.3/3)  
AI12-0146-1/01   2015-01-21 --  Should say stream-oriented attribute
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  7.03.02 (15/3)  
AI12-0149-1/01   2015-01-22 --  Type invariants are checked for functions returning access-to-type
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  7.03.02 (19.3/4)  
AI12-0150-1/03   2015-01-28 --  Class-wide type invariants and statically bound calls
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  7.03.02 (3/3)   7.03.02 (5/3)   7.03.02 (9/3)   7.03.02 (22/3)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
AI12-0167-1/03   2015-08-07 --  Type_Invariants and tagged-type View Conversions
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.03.02 (9/4)  
AI12-0191-1/01   2016-06-06 --  Clarify "part" for type invariants
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-06-06
    RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
AI12-0193-1/04   2016-12-21 --  Postcondition failure for a task entry
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  6.01.01 (26/4)   7.03.02 (20/3)   9.05.02 (24)   9.05.02 (25)  
AI12-0199-1/05   2017-04-24 --  Abstract subprogram calls in class-wide invariant expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  7.03.02 (5/4)   7.03.02 (8/3)  
AI12-0210-1/00   2016-12-19 --  Type Invariants and Generics
    Priority: Very Low   Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-12-19
    RM References:  7.03.02 (17/4)   7.03.02 (20.1/4)  

7.03.03

AI12-0187-1/06   2017-11-21 --  Stable properties of abstract data types
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  7.03.03 (0)   13.01.01 (4/3)  

7.05

AI12-0127-1/10   2017-11-21 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  
AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)
                    7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  
AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.05 (2.1/3)  

7.08

AI12-0238-1/01   2017-10-05 --  Delta package specifications
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: No Action     (8-0-0) 17-10-14
    RM References:  7.08 (0)  

8.01

AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  

8.02

AI12-0003-1/13   2015-03-25 --  Specifying the standard storage pool
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  8.02 (11)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4/3)   13.11.03 (4.1/3)   13.11.03 (5/3)   13.11.03 (6.2/3)   13.11.03 (6.3/3)  

8.03

AI12-0094-1/03   2015-01-19 --  An access_definition should be a declarative region
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-12
    RM References:  8.03 (2)   8.03 (26/3)  
AI12-0183-1/05   2017-11-21 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   D.04 (4)   D.04 (7/5)  

8.03.01

AI12-0060-1/00   2013-01-31 --  Overriding indicators on protected subprogram bodies
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Received      12-07-01
    RM References:  8.03.01 (3/2)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

8.05.01

AI12-0066-1/02   2017-04-13 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  

8.05.04

AI12-0204-1/03   2017-04-25 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  

8.05.06

AI12-0229-1/02   2017-04-21 --  Type renaming
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-04-19
    RM References:  8.05.06 (0)  

8.06

AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)
                    4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30.3/3)   4.09 (11/3)   4.09 (32.6/3)
                    8.06 (27.1/3)   3.02.04 (17/3)  
AI12-0040-1/03   2013-05-08 --  Resolving the selecting_expression of a case_expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-02
    RM References:  8.06 (9)  
AI12-0068-1/02   2014-07-22 --  Predicates and the current instance of a subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-22
    RM References:  8.06 (17/3)  
AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2
AI12-0227-1/02   2017-07-21 --  Evaluation of nonstatic universal expressions when no operators are involved
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  4.04 (10)   8.06 (29)  

9.01

AI12-0197-2/02   2016-06-13 --  Passive tasks
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-12
    RM References:  9.01 (21)  
    Alternatives:   AI12-0197-1  AI12-0197-3  AI12-0197-4

9.03

AI12-0070-1/03   2013-10-07 --  9.3(2) does not work for anonymous access types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  3.10.02 (13.1/3)   9.03 (2)  

9.04

AI12-0147-1/02   2015-01-28 --  Expression functions and null procedures can be declared in a protected_body
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  9.04 (8/1)  

9.05

AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0166-1/04   2016-03-22 --  External calls to protected functions that appear to be internal calls
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  

9.05.01

AI12-0064-1/05   2015-10-07 --  Nonblocking subprograms
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-04-22
    RM References:  9.05.01 (11)   9.05.01 (18)  
    Alternatives:   AI12-0064-2
AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0129-1/08   2015-05-05 --  Make protected objects more protecting
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  9.05.01 (2)   9.05.01 (4)   9.05.01 (5)   9.05.01 (7)   9.05.03 (15)   9.05.03 (23)  

9.05.02

AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  9.05.02 (5)  
AI12-0193-1/04   2016-12-21 --  Postcondition failure for a task entry
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  6.01.01 (26/4)   7.03.02 (20/3)   9.05.02 (24)   9.05.02 (25)  

9.05.03

AI12-0129-1/08   2015-05-05 --  Make protected objects more protecting
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  9.05.01 (2)   9.05.01 (4)   9.05.01 (5)   9.05.01 (7)   9.05.03 (15)   9.05.03 (23)  

9.05.04

AI12-0090-1/06   2015-01-19 --  Pre- and Postconditions and requeues
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-12
    RM References:  9.05.04 (5/3)   9.05.04 (7/3)   9.05.04 (12/3)  
AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  6.01.01 (30/3)   9.05.04 (5/3)  

9.07.03

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

9.07.04

AI12-0098-1/02   2014-09-29 --  Problematic examples for ATC
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  14-07-14
    RM References:  9.07.04 (13)  

9.11

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0197-4/01   2017-10-11 --  Coroutines and channels
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-27
    RM References:  9.11 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-3

10.01.02

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

10.02.01

AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-11
    RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
AI12-0175-1/05   2016-03-22 --  Preelaborable packages with address clauses
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  10.02.01 (7)  
AI12-0232-1/03   2017-11-20 --  Rules for pure generic bodies
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-20
    RM References:  10.02.01 (9/3)   10.02.01 (15.1/3)   10.02.01 (15.5/3)  

11.02

AI12-0022-1/05   2013-05-08 --  Raise expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

11.03

AI12-0022-1/05   2013-05-08 --  Raise expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
AI12-0054-1/04   2013-01-30 --  A raise_expression does not cause membership failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     13-06-15 (8-0-0)
    RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
    Alternatives:   AI12-0054-2
AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  11.03 (4/2)  
AI12-0152-1/04   2015-03-25 --  Eliminate ambiguities in raise expression and derived type syntax
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  3.05.09 (5)   3.05.09 (18)   3.05.09 (19)   11.03 (2/2)   11.03 (3.1/2)   11.03 (4/3)   11.04.01 (10.1/3)   J.03 (2)
                    J.03 (3)   J.03 (4)   J.03 (7)   J.03 (8)   J.03 (9)   J.03 (10)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  

11.04.01

AI12-0022-1/05   2013-05-08 --  Raise expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-17
    RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
AI12-0152-1/04   2015-03-25 --  Eliminate ambiguities in raise expression and derived type syntax
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  3.05.09 (5)   3.05.09 (18)   3.05.09 (19)   11.03 (2/2)   11.03 (3.1/2)   11.03 (4/3)   11.04.01 (10.1/3)   J.03 (2)
                    J.03 (3)   J.03 (4)   J.03 (7)   J.03 (8)   J.03 (9)   J.03 (10)  
AI12-0239-1/01   2015-10-05 --  Ghost Code
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-10-05
    RM References:  11.04.01 (27/3)  

11.04.02

AI12-0179-1/06   2017-04-24 --  Failure of postconditions of language-defined units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  

11.04.03

AI12-0017-1/01   2012-01-25 --  Compile-time-checked exception specifications
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  11.04.03 (0)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

11.05

AI12-0202-1/01   2016-10-03 --  Tampering_Check
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-10-03
    RM References:  11.05 (20)  

12.01

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

12.03

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

12.03.01

AI12-0215-1/01   2017-01-09 --  Implicit instantiations
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  12.03.01 (0)  

12.04

AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-10-06
    RM References:  12.04 (6)   12.05 (2)   12.07 (2)  

12.05

AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-10-06
    RM References:  12.04 (6)   12.05 (2)   12.07 (2)  

12.05.01

AI12-0030-1/06   2013-07-19 --  Formal derived types and stream attribute availability
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-16
    RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
AI12-0036-1/03   2014-05-08 --  The actual for an untagged formal derived type cannot be tagged
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  12.05.01 (5.1/3)  
AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  

12.05.06

AI12-0019-1/01   2012-01-26 --  Generic formal record types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (9-0-0) 15-06-28
    RM References:  12.05.06 (0)  

12.06

AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  12.06 (8.5/2)  
AI12-0204-1/03   2017-04-25 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  

12.07

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-10-06
    RM References:  12.04 (6)   12.05 (2)   12.07 (2)  

13.01

AI12-0059-1/10   2016-04-25 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/3)   13.03 (50/2)   13.03 (51)   13.03 (52)   13.03 (58)  
AI12-0109-1/03   2015-01-20 --  Representation of untagged derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  13.01 (10/3)  
AI12-0116-1/03   2014-10-02 --  Private types and predicates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  13.01 (9/3)   13.01 (9.1/3)  
AI12-0181-1/03   2016-07-11 --  Self-referencing representation aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01 (9/4)   13.01 (9.1/4)   13.14 (19)  
AI12-0222-1/02   2017-07-20 --  Representation aspects and private types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-20
    RM References:  13.01 (9/5)   13.01 (9.1/4)   13.01 (9.2/5)  

13.01.01

AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0105-1/03   2014-10-02 --  Pre and Post are not allowed on any subprogram completion
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  13.01.01 (18/3)  
AI12-0106-1/05   2015-01-19 --  Write'Class aspect
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.01.01 (28/3)   13.13.02 (38/3)  
AI12-0138-1/09   2015-05-05 --  Iterators of formal derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)
                    5.05.01 (11/3)  
AI12-0153-1/02   2015-02-23 --  Default value of Boolean-valued aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (8-0-2) 15-02-26
    RM References:  13.01.01 (15/3)   3.05 (56.3/3)   3.06 (22.2/3)  
AI12-0154-1/03   2015-03-03 --  Aspects of library units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  13.01.01 (32/3)  
AI12-0177-1/00   2015-10-08 --  A name resolution oddity
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: No Action     (6-0-2) 15-10-16
    RM References:  13.01.01 (11/3)  
AI12-0180-1/03   2016-10-02 --  Using protected subprograms and entries within an invariant
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01.01 (12/3)  
AI12-0182-1/02   2016-04-21 --  Pre'Class and protected operations
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (16/3)  
AI12-0187-1/06   2017-11-21 --  Stable properties of abstract data types
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  7.03.03 (0)   13.01.01 (4/3)  
AI12-0194-1/01   2016-06-06 --  Language-defined aspects and entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (17/3)  
AI12-0206-1/02   2017-07-20 --  Nonoverridable should allow arbitrary kinds of aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  13.01.01 (18.2/4)   13.01.01 (18.3/4)   13.01.01 (18.6/4)  
AI12-0211-1/04   2017-11-17 --  Interface types and inherited nonoverridable aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-17
    RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  

13.02

AI12-0001-1/06   2013-08-27 --  Independence and Representation clauses for atomic objects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  13.02 (6.1/2)   13.02 (7)   13.02 (8)   13.02 (9/3)   C.06 (8.1/3)   C.06 (10)   C.06 (11)   C.06 (21)
                    C.06 (24)  

13.03

AI12-0059-1/10   2016-04-25 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/3)   13.03 (50/2)   13.03 (51)   13.03 (52)   13.03 (58)  
AI12-0077-1/02   2013-10-07 --  Has_Same_Storage on objects of size zero
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  13.03 (73.4/3)  
AI12-0115-1/01   2014-06-19 --  Add Size_Is_Multiple_Of aspect
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (10-0-0) 15-06-27
    RM References:  13.03 (58/3)  

13.04

AI12-0237-1/01   2017-09-07 --  Getting the representation of an enumeration value
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-09-07
    RM References:  13.04 (11)  

13.05.01

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0213-1/01   2016-12-28 --  Unify record syntax
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-12-28
    RM References:  3.08 (3)   13.05.01 (2)  

13.05.03

AI12-0218-1/01   2017-01-10 --  Endianness-neutral record representation clauses
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-01-10
    RM References:  13.05.03 (6)  

13.09.02

AI12-0054-1/04   2013-01-30 --  A raise_expression does not cause membership failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     13-06-15 (8-0-0)
    RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
    Alternatives:   AI12-0054-2
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  

13.10

AI12-0025-1/01   2012-05-16 --  Allow 'Unchecked_Access on subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-0-4) 15-10-17
    RM References:  13.10 (3)  
AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-4) 15-06-28
    RM References:  13.10 (3)  

13.11

AI12-0043-1/02   2013-01-02 --  Details of the storage pool used when Storage_Size is specified
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-02
    RM References:  13.11 (18)  
AI12-0142-1/03   2015-02-23 --  Bad subpool implementations
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0235-1/01   2017-06-09 --  Root_Storage_Pool should be pure
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-06-09
    RM References:  13.11 (5)   13.11.04 (3/3)  
AI12-0236-1/01   2017-09-06 --  declare expressions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-09-06
    RM References:  13.11 (5)   13.11.04 (3/3)  

13.11.02

AI12-0148-1/03   2015-01-29 --  Dangling references
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11.02 (10/2)   13.11.02 (15)   13.11.05 (7/3)  

13.11.03

AI12-0003-1/13   2015-03-25 --  Specifying the standard storage pool
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  8.02 (11)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4/3)   13.11.03 (4.1/3)   13.11.03 (5/3)   13.11.03 (6.2/3)   13.11.03 (6.3/3)  
AI12-0136-1/03   2015-01-20 --  Language-defined packages and aspect Default_Storage_Pool
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-18
    RM References:  13.11.03 (5/3)  

13.11.04

AI12-0142-1/03   2015-02-23 --  Bad subpool implementations
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
AI12-0145-1/02   2015-01-28 --  Pool_of_Subpool returns null when called too early
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11.04 (20/3)  
AI12-0235-1/01   2017-06-09 --  Root_Storage_Pool should be pure
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-06-09
    RM References:  13.11 (5)   13.11.04 (3/3)  
AI12-0236-1/01   2017-09-06 --  declare expressions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-09-06
    RM References:  13.11 (5)   13.11.04 (3/3)  

13.11.05

AI12-0148-1/03   2015-01-29 --  Dangling references
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
    RM References:  13.11.02 (10/2)   13.11.02 (15)   13.11.05 (7/3)  

13.11.06

AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  
AI12-0134-1/03   2015-01-19 --  Error in Storage Pool example
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.11.06 (11/3)  

13.13.02

AI12-0030-1/06   2013-07-19 --  Formal derived types and stream attribute availability
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-16
    RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
AI12-0064-2/14   2017-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0106-1/05   2015-01-19 --  Write'Class aspect
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.01.01 (28/3)   13.13.02 (38/3)  
AI12-0121-1/03   2015-01-19 --  Stream-oriented aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.13.02 (38/3)  

13.14

AI12-0103-1/04   2015-01-19 --  Expression functions that are completions in package specifications
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.14 (3/3)   13.14 (5/3)  
AI12-0132-1/02   2014-11-13 --  Freezing of renames-as-body
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-13
    RM References:  13.14 (5/3)  
AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)
                    7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  
AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  13.14 (3/4)  
AI12-0181-1/03   2016-07-11 --  Self-referencing representation aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01 (9/4)   13.01 (9.1/4)   13.14 (19)  
AI12-0186-1/06   2017-04-24 --  Profile freezing for the Access attribute
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  13.14 (15)  

A.03.02

AI12-0004-1/06   2017-04-24 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  2.01 (4.1/3)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  

A.03.05

AI12-0004-1/06   2017-04-24 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  2.01 (4.1/3)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  

A.04.11

AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  A.04.11 (54/3)   A.04.11 (55/3)  

A.05.01

AI12-0091-1/04   2014-02-03 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-2) 15-10-18
    RM References:  A.05.01 (5)  

A.05.02

AI12-0011-1/02   2011-12-30 --  Behavior of Random.Reset with default initialized State
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  A.05.02 (12)   A.05.02 (35)  
AI12-0144-1/07   2016-01-28 --  Make Discrete_Random more flexible
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  A.05.02 (20)   A.05.02 (32)   A.05.02 (41)   A.05.02 (42)  

A.08.01

AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  

A.08.02

AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  

A.08.04

AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  

A.10.03

AI12-0052-1/04   2014-05-08 --  Implicit objects are considered overlapping
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-18
    RM References:  A (3/2)   A.10.03 (21)  
AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  

A.10.08

AI12-0066-1/02   2017-04-13 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  

A.10.09

AI12-0066-1/02   2017-04-13 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  

A.12.01

AI12-0010-1/02   2011-12-30 --  Stream_IO should be preelaborated
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Deleted       11-11-13
    RM References:  A.12.01 (3)  
AI12-0102-1/02   2014-10-02 --  Stream_IO.File_Type has Preelaborable_Initialization
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  A.12.01 (5)  
AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-14
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  

A.16

AI12-0009-1/06   2016-06-07 --  Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)
                    A.17 (25/2)   A.17 (28/2)  
AI12-0012-1/02   2011-11-11 --  Failure behavior of Directories.Create_Path
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-11
    RM References:  A.16 (61/2)  
AI12-0018-1/02   2014-12-04 --  Entity versioning
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  A.16 (112/3)   A.17 (23/3)  
AI12-0021-1/01   2012-03-13 --  Additional internationalization of Ada
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-02-25
    RM References:  A.16 (0/3)  

A.17

AI12-0009-1/06   2016-06-07 --  Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)
                    A.17 (25/2)   A.17 (28/2)  
AI12-0018-1/02   2014-12-04 --  Entity versioning
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  A.16 (112/3)   A.17 (23/3)  

A.18

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  
AI12-0139-1/04   2017-06-08 --  Thread-safe Ada libraries
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  A (3/4)   A.18 (5)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  

A.18.02

AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  
AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
AI12-0111-1/06   2017-10-11 --  Stable Containers to reduce tampering checks
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (97.1/3)  
AI12-0112-1/01   2014-05-15 --  Preconditions for container operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (99/3)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  

A.18.03

AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  

A.18.04

AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  

A.18.07

AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  

A.18.10

AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-11
    RM References:  A.18.10 (153/3)   A.18.10 (155/3)   A.18.10 (157/3)   A.18.10 (159/3)  
AI12-0078-1/01   2013-06-14 --  Definition of node for tree container is confusing
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-06-28
    RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
AI12-0196-1/08   2017-04-24 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  

A.18.11

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  

A.18.12

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  

A.18.13

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  

A.18.14

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  

A.18.15

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  

A.18.16

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  

A.18.17

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  

A.18.18

AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  
AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  

A.18.25

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  

A.18.26

AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-01-14
    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)
                    A.18.26 (9.2/3)  
AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  

A.18.32

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

A.19

AI12-0037-1/03   2013-05-08 --  New types in Ada.Locales can't be converted to/from strings
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-28
    RM References:  A.19 (4/3)  

A.20

AI12-0015-1/02   2015-10-11 --  Ada unit information
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-1-2) 15-10-17
    RM References:  A.20 (0)  
AI12-0208-1/00   2016-12-19 --  Predefined bignum support
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  A.20 (0)  

B.01

AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  
AI12-0135-1/05   2015-03-03 --  Enumeration types should be eligible for convention C
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  B.01 (14/3)   B.01 (41/3)   B.03 (65)  
AI12-0207-1/03   2017-08-03 --  Convention of anonymous access types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
    RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  
AI12-0219-1/02   2017-07-21 --  Clarify C interfacing advice
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  

B.02

AI12-0126-1/02   2015-07-13 --  Add Interfaces.Shifting
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
    RM References:  B.02 (9)  

B.03

AI12-0028-1/03   2013-01-02 --  Import of variadic C functions
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-02
    RM References:  B.03 (1/3)   B.03 (60.15/3)   B.03 (75)  
AI12-0135-1/05   2015-03-03 --  Enumeration types should be eligible for convention C
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  B.01 (14/3)   B.01 (41/3)   B.03 (65)  
AI12-0184-1/03   2016-10-02 --  Long Long C Data Types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  B.03 (71.3/3)  
AI12-0219-1/02   2017-07-21 --  Clarify C interfacing advice
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  

B.03.03

AI12-0162-1/03   2015-07-30 --  Memberships and Unchecked_Unions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (25/2)  
AI12-0174-1/02   2015-11-17 --  Aggregates of Unchecked_Unions using named notation
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (9/3)  

B.04

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

B.05

AI12-0058-1/07   2017-04-24 --  The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-10-27
    RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0224-1/03   2017-09-07 --  Use of Fortran C Interfacing features
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  1.02 (3/5)   B.05 (27)  

C.03.02

AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  

C.05

AI12-0072-1/05   2013-10-07 --  Missing rules for Discard_Names aspect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-11
    RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  

C.06

AI12-0001-1/06   2013-08-27 --  Independence and Representation clauses for atomic objects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-08
    RM References:  13.02 (6.1/2)   13.02 (7)   13.02 (8)   13.02 (9/3)   C.06 (8.1/3)   C.06 (10)   C.06 (11)   C.06 (21)
                    C.06 (24)  
AI12-0013-1/02   2011-11-11 --  More issues with the definition of volatile
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       11-11-12
    RM References:  C.06 (16/3)  
AI12-0128-1/09   2016-10-02 --  Exact size access to parts of composite atomic objects
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
AI12-0209-1/00   2016-12-19 --  Refine definition of volatility
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  C.06 (8/3)  
AI12-0234-1/01   2017-06-09 --  Compare-and-swap for atomic objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     17-06-09
    RM References:  C.06 (14/3)  

C.07.01

AI12-0231-1/01   2017-06-05 --  Null_Task_Id and Activation_Is_Complete
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
    RM References:  C.07.01 (15)  

C.08

AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    RM References:  C.08 (0)  

D.01

AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  D.01 (17/3)   D.16 (9/3)  

D.02.06

AI12-0230-1/01   2017-06-05 --  Deadline Floor Protocol
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-06-05
    RM References:  D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (29/2)   D.03 (4)   D.03 (7)  

D.03

AI12-0051-1/03   2013-05-08 --  The Priority aspect can be specified when Attach_Handler is specified
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-27
    RM References:  D.03 (10/3)  
AI12-0230-1/01   2017-06-05 --  Deadline Floor Protocol
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     17-06-05
    RM References:  D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (29/2)   D.03 (4)   D.03 (7)  

D.04

AI12-0163-1/04   2016-04-21 --  Deterministic queue servicing for FIFO_Queueing
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
AI12-0164-1/05   2017-04-24 --  Max_Entry_Queue_Length aspect for entries
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  D.04 (16)  
AI12-0183-1/05   2017-11-21 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   D.04 (4)   D.04 (7/5)  

D.07

AI12-0055-1/06   2014-09-29 --  All properties of a usage profile are defined by pragmas
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  D.07 (10/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
AI12-0117-1/03   2014-11-17 --  Restriction No_Tasks_Unassigned_To_CPU
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-11-17
    RM References:  D.07 (10.8/3)  

D.10

AI12-0171-1/04   2017-04-24 --  Ambiguity in Synchronous_Task_Control semantics
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  D.10 (11)  

D.13

AI12-0055-1/06   2014-09-29 --  All properties of a usage profile are defined by pragmas
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-11
    RM References:  D.07 (10/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-05
    RM References:  D.13 (6/3)  

D.16

AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-06
    RM References:  D.01 (17/3)   D.16 (9/3)  

D.16.01

AI12-0033-1/08   2013-10-07 --  Sets of CPUs when defining dispatching domains
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-15
    RM References:  D.16.01 (7/3)   D.16.01 (9/3)   D.16.01 (20/3)   D.16.01 (23/3)   D.16.01 (24/3)   D.16.01 (26/3)  
AI12-0048-1/03   2013-05-08 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-03
    RM References:  D.16.01 (30/3)  
AI12-0082-1/03   2014-05-08 --  Definition of "dispatching domain"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-07
    RM References:  D.16.01 (16/3)   D.16.01 (22/3)   D.16.01 (25/3)   D.16.01 (27/3)   D.16.01 (29/3)  

E.02.01

AI12-0038-1/07   2015-01-27 --  Shared_Passive package restrictions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  12-12-31
    RM References:  E.02.01 (7/1)  

E.02.02

AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-11
    RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
AI12-0085-1/03   2014-05-08 --  Missing aspect cases for Remote_Types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-11
    RM References:  E.02.02 (17/2)  

E.02.03

AI12-0002-1/04   2016-08-29 --  RCI units do not allow specification of user-defined stream-oriented attributes
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-22
    RM References:  E.02.03 (15)  
AI12-0031-1/05   2014-05-08 --  All_Calls_Remote and indirect calls
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-17
    RM References:  E.02.03 (19/3)  

E.04

AI12-0034-1/05   2013-10-07 --  Remote stream attribute calls
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-17
    RM References:  E.04 (8)  

J.03

AI12-0152-1/04   2015-03-25 --  Eliminate ambiguities in raise expression and derived type syntax
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-02-26
    RM References:  3.05.09 (5)   3.05.09 (18)   3.05.09 (19)   11.03 (2/2)   11.03 (3.1/2)   11.03 (4/3)   11.04.01 (10.1/3)   J.03 (2)
                    J.03 (3)   J.03 (4)   J.03 (7)   J.03 (8)   J.03 (9)   J.03 (10)