ACAA Header
 
This is an index 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. For Ada 2022 issues that have or will be considered by the ARG, look in the Ada 2022 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.

Ada 2012 Issues listed in numeric order

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: Revision 2022 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: Revision 2022 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-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-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-0009-1/06   2016-06-07 -- Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (7-0-0) 18-06-24
    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-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-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-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: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  11.04.03 (0)  
AI12-0018-1/02   2014-12-04 -- Entity versioning
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    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/11   2020-01-06 -- 'Image for all types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-11-27
    RM References:  4.10 (0)   3.05 (27.1/2)   3.05 (27.2/2)   3.05 (27.3/2)   3.05 (27.4/2)   3.05 (27.5/2)   3.05 (27.6/2)   3.05 (27.7/2)
                    3.05 (28)   3.05 (29)   3.05 (30/3)   3.05 (31)   3.05 (32)   3.05 (33/3)   3.05 (37.1/2)   3.05 (38)
                    3.05 (39)   3.05 (43/3)   3.05 (55/3)   3.05 (55.1/5)   3.05 (55.2/4)   3.05 (55.3/4)   3.05 (55.4/4)   3.05 (59)
                    H.04 (23)   H.04 (23.8/2)  
AI12-0021-1/06   2019-01-04 -- Additional internationalization of Ada
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 18-12-10
    RM References:  11.04.01 (19)   A.08.01 (15)   A.08.02 (28.3/4)   A.08.04 (18)   A.10.01 (85)   A.12.01 (26)   A.15.01 (0)   A.16.02 (0)
                    A.17.01 (0)  
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-0023-1/02   2012-12-02 -- Make Root_Stream_Type an interface
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    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-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-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-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 polic
    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-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-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-0058-1/07   2017-04-24 -- The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Revision 2022 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: Revision 2022 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: No Action    (5-0-2) 18-10-21
    RM References:  8.03.01 (3/2)  
AI12-0061-1/07   2019-02-05 -- Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 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 (2.1/4)  
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-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: No Action    (12-0-0) [By Letter Ballot] 18-01-18
    RM References:  9.05.01 (11)   9.05.01 (18)  
    Alternatives:   AI12-0064-2
AI12-0064-2/16   2018-05-07 -- Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 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 (32/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/3)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
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-0066-1/03   2020-09-03 -- 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-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-0075-1/11   2018-05-07 -- Static expression functions
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-04-06
    RM References:  4.09 (21)   6.08 (3/4)   6.08 (5/4)   6.08 (6/4)   7.03.02 (8.2/5)   7.03.02 (15/4)   7.03.02 (16/4)   7.03.02 (17/4)
                    7.03.02 (19/4)   7.03.02 (20/5)  
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-0079-1/13   2019-04-02 -- Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: No Action    (14-0-0) 20-04-29
    RM References:  6.01.02 (0)   13.01.01 (4/3)   13.01.01 (11/3)   13.14 (3/5)  
    Alternatives:   AI12-0079-2  AI12-0079-3
AI12-0079-2/01   2020-01-13 -- Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: No Action    (14-0-0) 20-04-29
    RM References:  6.01.02 (0)  
    Alternatives:   AI12-0079-1  AI12-0079-3
AI12-0079-3/08   2021-05-28 -- Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 20-03-11
    RM References:  6.01.02 (0)  
    Alternatives:   AI12-0079-1  AI12-0079-2
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-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-0083-1/01   2013-10-24 -- Automatic creation of constructor functions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  3.09.03 (6/2)  
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-0086-1/04   2015-07-13 -- Aggregates and variant parts
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 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-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 f
    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-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: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  1.01.05 (4)  
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-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-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-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-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-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-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-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-0111-1/12   2021-05-28 -- Stable Containers to reduce tampering checks
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 18-12-11
    RM References:  5.05.01 (8/3)   5.05.01 (9/3)   5.05.01 (10/3)   5.05.02 (12/3)   A.18 (2/2)   A.18.02 (8/3)   A.18.02 (90/2)   A.18.02 (92/2)
                    A.18.02 (95/2)   A.18.02 (96/2)   A.18.02 (97/2)   A.18.03 (6/3)   A.18.03 (61/2)   A.18.04 (7/2)   A.18.05 (3/3)   A.18.06 (4/3)
                    A.18.07 (7/2)   A.18.08 (3/3)   A.18.09 (4/3)   A.18.10 (8/3)   A.18.10 (80/3)  
AI12-0112-1/09   2020-07-21 -- Contracts for container operations
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-12-10
    RM References:  A.18.02 (99/3)   11.04.02 (23.1/3)   11.05 (23)   11.05 (26)   A (4)   A.18 (10)  
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-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-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-0118-1/00   2014-06-20 -- Extended precision in static expressions
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  4.09 (38/2)  
AI12-0119-1/13   2018-08-31 -- Parallel operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 18-07-12
    RM References:  2.09 (2/3)   5.01 (1)   5.01 (5/2)   5.01 (15)   5.05 (1)   5.05 (3/3)   5.05 (5)
                    5.05 (7)   5.05 (9/4)   5.05 (21)   5.06.01 (0)   9 (1/3)   9 (10)   9 (11)   9.05.01 (7/4)
                    9.08 (17)   9.10 (1/3)   9.10 (2)   9.10 (13)   D.02.01 (4/2)   D.16.01 (33/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-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-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-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: Revision 2022 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/16   2018-05-07 -- Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 17-11-21
    RM References:  4.03 (2)   4.03 (3/2)   4.03 (4)   4.03.01 (9)   4.03.01 (15/3)   4.03.01 (16/4)   4.03.01 (17/5)   4.03.01 (17.1/2)
                    4.03.03 (4)   4.03.03 (14)   4.03.03 (17/5)   4.03.04 (0)   7.05 (2.6/2)  
AI12-0128-1/09   2016-10-02 -- Exact size access to parts of composite atomic objects
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 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-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-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-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-0139-1/04   2017-06-08 -- Thread-safe Ada libraries
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: No Action    (7-1-1) 19-10-07
    RM References:  A (3/4)   A.18 (5)  
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: Revision 2022 16-08-01
    RM References:  3.02 (7/2)   7.03.01 (5/1)  
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-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-0143-1/03   2015-11-19 -- Using an entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 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: Revision 2022 16-02-29
    RM References:  A.05.02 (20)   A.05.02 (32)   A.05.02 (41)   A.05.02 (42)  
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-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-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: Revision 2022 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: Revision 2022 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)  
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: Revision 2022 16-02-29
    RM References:  4.01.06 (6/4)   4.01.06 (9/4)   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-0162-1/03   2015-07-30 -- Memberships and Unchecked_Unions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 16-11-10
    RM References:  D.10 (10.1/3)  
AI12-0172-1/01   2015-10-06 -- Raise expressions in limited contexts
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 16-02-29
    RM References:  10.02.01 (7)  
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-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-0178-1/04   2016-04-25 -- Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 16-07-21
    RM References:  13.01.01 (16/3)  
AI12-0183-1/07   2018-08-31 -- Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 16-03-23
    RM References:  3.07.02 (3/3)   4.09 (2)   5.05.02 (5/5)   8.03 (12.3/2)   12.06 (8.2/2)   D.04 (4)   D.04 (7/5)   E.04 (17)  
AI12-0184-1/03   2016-10-02 -- Long Long C Data Types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 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: Revision 2022 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: Revision 2022 16-11-10
    RM References:  13.14 (15)  
AI12-0187-1/09   2018-08-31 -- Stable properties of abstract data types
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 17-11-21
    RM References:  7.03.04 (0)   13.01.01 (4/3)  
AI12-0188-1/01   2016-06-02 -- Add container iterator form supporting iteration over keys
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: No Action    (7-0-0) 18-06-24
    RM References:  5.05.02 (2/3)  
AI12-0189-1/07   2018-08-31 -- loop-body as anonymous procedure
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-07-06
    RM References:  5.05 (3/3)   5.05.03 (0)  
AI12-0190-1/08   2019-01-10 -- Anonymous functions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (10-0-2) 19-01-14
    RM References:  4.04 (7/3)   4.05.09 (0)  
AI12-0191-1/12   2019-07-02 -- Clarify "part" for type invariants
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Revision 2022 19-05-09
    RM References:  3.03 (23/5)   3.09.01 (4.1/2)   6.08 (5.8/5)   7.03.02 (8.3/5)   7.03.02 (8.4/5)   7.03.02 (8.5/5)   7.03.02 (8.6/5)   7.03.02 (8.7/5)
                    7.03.02 (8.8/5)   7.03.02 (8.9/5)   7.03.02 (8.10/5)   7.03.02 (8.11/5)   7.03.02 (8.12/5)   7.03.02 (10.1/4)   7.03.02 (15/5)   7.03.02 (17/4)
                    7.03.02 (18/4)   7.03.02 (19/4)   13.13.02 (9/3)  
AI12-0192-1/03   2016-10-02 -- "requires late initialization" and protected types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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-0197-1/01   2016-06-07 -- Generator Functions
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: No Action    (9-0-0) 19-10-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: No Action    (9-0-0) 19-10-07
    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: Hold         (9-0-1) - 18-06-22
    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: Hold         (9-0-0) 19-10-07
    RM References:  9.11 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-3
AI12-0198-1/03   2016-10-02 -- Potentially unevaluated components of array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: No Action    (8-0-3) 18-06-23
    RM References:  11.05 (20)  
AI12-0203-1/03   2017-04-25 -- Overriding a nonoverridable aspect
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 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: Revision 2022 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-0205-1/06   2020-12-08 -- Defaults for generic formal types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-04-30
    RM References:  12.03 (7/3)   12.03 (10)   12.05 (2.1/3)   12.05 (2.2/3)   12.05 (7/2)  
AI12-0206-1/02   2017-07-20 -- Nonoverridable should allow arbitrary kinds of aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 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: Revision 2022 17-08-03
    RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  
AI12-0208-1/12   2020-11-06 -- Predefined Big numbers support
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-02-26
    RM References:  A.05.05 (0)   A.05.06 (0)   A.05.07 (0)  
AI12-0209-1/00   2016-12-19 -- Refine definition of volatility
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Hold         by Letter Ballot (9-0-2) - 18-05-07
    RM References:  C.06 (8/3)  
AI12-0210-1/05   2019-07-02 -- Type Invariants and Generics
    Priority: Very Low   Difficulty: Medium
    Class: Ramification                Status: Revision 2022 19-07-02
    RM References:  7.03.02 (23/3)  
AI12-0211-1/04   2017-11-17 -- Interface types and inherited nonoverridable aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 17-11-17
    RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  
AI12-0212-1/14   2021-01-12 -- Container aggregates; generalized array aggregates
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 18-11-19
    RM References:  4.03.05 (0)   1.01.04 (12)   1.01.04 (13)   2.01 (15)   2.02 (9/5)   3.07.01 (3)   3.08.01 (4)   4.03 (2/5)
                    4.03 (3/5)   4.03.01 (5)   4.03.03 (3/2)   4.03.03 (4/5)   4.03.03 (5.1/5)   4.03.03 (9)   4.03.03 (17/5)   4.03.03 (21)
                    4.03.03 (23.2/5)   4.03.03 (26)   4.03.03 (27)   4.03.03 (31)   4.03.04 (4/5)   4.04 (3.1/3)   11.02 (3)   13.01.01 (5/3)
                    13.01.01 (7/3)   A.18.02 (8/3)   A.18.02 (14/2)   A.18.02 (47/2)   A.18.02 (175/2)   A.18.03 (6/3)   A.18.05 (3/3)   A.18.06 (4/3)
                    A.18.08 (3/3)   A.18.09 (4/3)  
AI12-0213-1/04   2019-01-14 -- Unify record syntax
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-01-14
    RM References:  3.08 (3)   3.08 (6/3)   3.08 (28)   13.05.01 (2)   13.05.01 (6)  
    Alternatives:   AI12-0213-2
AI12-0213-2/01   2020-01-08 -- Unify record syntax
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: No Action    (11-2-1) 20-01-15
    RM References:  3.08 (3)   3.08 (6/3)   3.08 (28)   13.05.01 (2)   13.05.01 (6)  
    Alternatives:   AI12-0213-1
AI12-0214-1/02   2018-05-08 -- Case statements and expressions for composite types
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Hold         (8-0-1) - 19-10-07
    RM References:  5.04 (4/3)  
    Alternatives:   AI12-0214-2
AI12-0214-2/03   2019-07-05 -- Boolean conditional case expressions and statements
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action    (9-0-1) 19-10-05
    RM References:  4.05.07 (5/3)   4.05.07 (6/3)   4.05.07 (14/3)   4.05.07 (21/3)   4.09 (12.1/3)   4.09 (32.5/3)   5.04 (2/3)   5.04 (3)
                    5.04 (11/3)   5.04 (14/3)  
    Alternatives:   AI12-0214-1
AI12-0215-1/01   2017-01-09 -- Implicit instantiations
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Hold         13-0-0  20-09-09
    RM References:  12.03.01 (0)  
    Alternatives:   AI12-0215-2
AI12-0215-2/01   2019-09-24 -- Implicit instantiations
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Hold         13-0-0  20-09-09
    RM References:  12.09 (0)  
    Alternatives:   AI12-0215-1
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: Revision 2022 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: Revision 2022 17-07-20
    RM References:  6.01.01 (24/3)   6.01.01 (27/3)  
AI12-0218-1/01   2017-01-10 -- Endianness-neutral record representation clauses
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (9-1-1) - 18-05-07
    RM References:  13.05.03 (6)  
AI12-0219-1/02   2017-07-21 -- Clarify C interfacing advice
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 17-07-21
    RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  
AI12-0220-1/06   2018-05-07 -- Pre/Post for access-to-subprogram types
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 18-04-05
    RM References:  6.01.01 (1/4)   6.01.01 (2/3)   6.01.01 (4/3)   6.01.01 (19/3)   6.01.01 (28/3)   6.01.01 (29/3)   6.01.01 (39/3)   13.01.01 (12/5)  
AI12-0221-1/01   2017-04-10 -- Defaults for in out parameters
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: No Action    (7-0-0) 18-10-21
    RM References:  6.01 (19)  
AI12-0222-1/02   2017-07-20 -- Representation aspects and private types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 17-07-20
    RM References:  13.01 (9/5)   13.01 (9.1/4)   13.01 (9.2/5)  
AI12-0223-1/00   2017-04-14 -- The co-derivation problem
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Hold         by Letter Ballot (9-1-1) - 18-05-07
    RM References:  3.04 (2/2)  
AI12-0224-1/03   2017-09-07 -- Use of Fortran C Interfacing features
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 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: Revision 2022 17-07-21
    RM References:  3.05 (55.1/4)  
AI12-0226-1/04   2018-08-31 -- Make objects more consistent
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-07-10
    RM References:  3.03 (11.1/3)   3.03 (21.1/3)   3.03 (23.8/5)   4.06 (58.1/4)   4.06 (58.3/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: Revision 2022 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: Revision 2022 17-08-03
    RM References:  3.03 (23.7/3)   3.10 (9/3)  
AI12-0229-1/02   2017-04-21 -- Type renaming
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (6-0-3) 19-10-07
    RM References:  8.05.06 (0)  
AI12-0230-1/06   2019-04-02 -- Deadline Floor Protocol
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-11-27
    RM References:  D.02.06 (2/2)   D.02.06 (7/2)   D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (9.2/3)   D.02.06 (9.3/3)   D.02.06 (10/2)   D.02.06 (11/2)
                    D.02.06 (12/3)   D.02.06 (13/3)   D.02.06 (14/2)   D.02.06 (15/2)   D.02.06 (16/2)   D.02.06 (17/2)   D.02.06 (18/2)   D.02.06 (19/2)
                    D.02.06 (20/2)   D.02.06 (21/2)   D.02.06 (22/2)   D.02.06 (23/2)   D.02.06 (24/2)   D.02.06 (25/2)   D.02.06 (26/2)   D.02.06 (27/2)
                    D.02.06 (28/2)   D.02.06 (29/2)   D.02.06 (30/2)   D.02.06 (33/3)   D.02.06 (34/2)   D.03 (13)   D.05.02 (2/2)   D.05.02 (3/2)
                    D.05.02 (4/2)  
AI12-0231-1/01   2017-06-05 -- Null_Task_Id and Activation_Is_Complete
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 17-07-21
    RM References:  C.07.01 (15)  
AI12-0232-1/04   2018-04-13 -- Rules for pure generic bodies
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Revision 2022 17-11-20
    RM References:  10.02.01 (9/3)   10.02.01 (15.1/3)   10.02.01 (15.5/3)  
AI12-0233-1/05   2018-04-13 -- Pre'Class for hidden operations of private types
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: WG9 Approved 16-06-22
    RM References:  6.01.01 (38/4)  
AI12-0234-1/08   2020-10-20 -- Compare-and-swap for atomic objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-03-11
    RM References:  C.06.01 (0)   C.06.02 (0)  
AI12-0235-1/05   2019-01-25 -- System.Storage_Pools should be pure
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-11-15
    RM References:  13.11 (5)  
AI12-0236-1/08   2019-01-21 -- declare expressions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-01-15
    RM References:  2.08 (6)   3.09.02 (3)   3.10.02 (9.1/3)   3.10.02 (16.1/3)   3.10.02 (32.2/3)   4.03.02 (5.4/3)   4.03.03 (15.1/3)   4.04 (7/3)
                    4.05.09 (0)   6.02 (10/4)   7.05 (2.1/5)   8.01 (2.1/4)  
AI12-0237-1/04   2018-09-05 -- Getting the representation of an enumeration value
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-07-05
    RM References:  13.04 (10)   13.04 (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)  
AI12-0239-1/03   2019-10-01 -- Ghost Code
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         11-0-2  20-01-15
    RM References:  11.04.01 (27/3)  
AI12-0240-1/04   2018-01-24 -- Access value ownership and parameter aliasing
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: No Action    (9-0-0) 19-10-07
    RM References:  H.07 (0)   H.08 (0)  
    Alternatives:   AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-5  AI12-0240-6
AI12-0240-2/02   2018-12-11 -- Access ownership for Abstract Data Types
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: No Action    (9-0-0) 19-10-07
    RM References:  3.10.03 (0)  
    Alternatives:   AI12-0240-1  AI12-0240-3  AI12-0240-4  AI12-0240-5  AI12-0240-6
AI12-0240-3/01   2018-10-18 -- Access value ownership and parameter aliasing
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: No Action    (9-0-0) 19-10-07
    RM References:  H.07 (0)   H.08 (0)  
    Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-4  AI12-0240-5  AI12-0240-6
AI12-0240-4/01   2019-01-10 -- Pointer ownership for Abstract Data Types
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: No Action    (9-0-0) 19-10-07
    RM References:  3.10.03 (0)  
    Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-5  AI12-0240-6
AI12-0240-5/02   2019-03-07 -- Heap object ownership for Abstract Data Types
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Hold         (9-0-0) - 19-10-07
    RM References:  6.01.03 (0)  
    Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-6
AI12-0240-6/05   2019-07-16 -- Global aspect and access types used to implement Abstract Data Types
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: No Action    (14-0-0) 20-04-29
    RM References:  6.01.02 (0)   6.01.03 (0)  
    Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-5
AI12-0241-1/02   2018-01-18 -- Specifying Nonblocking for Language-Defined Units
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 17-12-18
    RM References:  3.09 (6/2)   3.09 (18.2/3)   5.05.01 (2/3)   7.06 (4/3)   9.06 (10)   9.06.01 (2/2)   9.06.01 (8/2)   9.06.01 (15/2)
                    11.04.01 (2/2)   13.07.02 (2)   13.09 (3/3)   13.11.02 (3/3)   13.13.01 (2)   A.04.03 (5)   A.04.04 (3)   A.04.05 (3)
                    A.04.07 (3)   A.04.09 (7/3)   A.04.09 (10/3)   A.04.09 (11.7/3)   A.04.09 (11.10/3)   A.04.10 (7/3)   A.04.10 (10/3)   A.04.10 (18/3)
                    A.04.10 (21/3)   A.05.01 (3)   A.10.01 (55)   A.10.01 (60)   A.10.01 (67)   A.10.01 (72)   A.10.01 (77)   A.10.01 (83)
                    A.15 (3)   A.16 (15/2)   A.16 (16/2)   A.16 (17/2)   A.16 (18/2)   A.16 (19/2)   A.16 (20/2)   A.16.01 (3/3)
                    A.17 (3/2)   B.03.01 (3)   B.03.02 (4)   B.04 (7)   C.03.02 (2/3)   C.07.01 (2/2)   C.07.01 (3/3)   C.07.01 (16)
                    C.07.02 (2)   C.07.03 (2/2)   D.02.01 (1.2/3)   D.02.01 (1.3/3)   D.02.01 (7/3)   D.02.04 (2.2/3)   D.02.05 (4/2)   D.02.06 (9/2)
                    D.05.01 (3/2)   D.08 (3)   D.10 (3/2)   D.10 (4)   D.10 (5.2/3)   D.10 (10)   D.10 (10.1/3)   D.10.01 (3/3)
                    D.10.01 (6/3)   D.10.01 (14/3)   D.11 (3/2)   D.14 (3/2)   D.14.01 (3/2)   D.14.01 (5/2)   D.14.02 (3/2)   D.14.02 (5/2)
                    D.14.03 (3/3)   D.15 (3/2)   D.15 (4/2)   D.16 (3/3)   D.16.01 (3/3)   E.05 (3)   E.05 (23)   F.03.03 (3)
                    F.03.03 (14)   F.03.03 (15)   G.01.01 (2/1)   G.01.02 (2/2)   G.01.03 (8)   G.03.01 (2/2)   G.03.02 (2/2)  
AI12-0242-1/11   2019-01-17 -- Shorthand Reduction Expressions for Objects
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 19-01-15
    RM References:  4.05.10 (0)   4.01.04 (6)  
AI12-0243-1/03   2020-03-25 -- Subtypes as primitive arguments
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         (14-0-0) - 20-04-29
    RM References:  3.09.02 (10/2)   3.09.02 (20.4/3)  
    Alternatives:   AI12-0243-2
AI12-0243-2/01   2020-03-26 -- Subtypes as primitive arguments and class-wide predicates
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         (14-0-0) - 20-04-29
    RM References:  3.09.02 (10/2)   4.09.01 (2/5)   13.01.01 (16/3)   13.01.01 (30/3)  
    Alternatives:   AI12-0243-1
AI12-0244-1/02   2018-01-29 -- Check name for Value attributes
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-01-29
    RM References:  3.05 (39.4/3)   3.05 (39.5/3)   3.05 (39.12/3)   11.05 (17)  
AI12-0245-1/01   2018-01-12 -- "with and use" clause
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: No Action    (9-0-2) 18-01-29
    RM References:  10.01.02 (3)  
AI12-0246-1/01   2018-01-12 -- Fixed first indices for variable-length arrays
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (9-1-1) - 18-05-07
    RM References:  3.06.01 (3)  
AI12-0247-1/01   2018-01-18 -- Potentially Blocking goes too far for Detect_Blocking
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-01-29
    RM References:  9.05 (55/5)   9.05 (56/5)   9.05.01 (18/5)   H.05 (5/2)  
AI12-0248-1/03   2018-03-26 -- Null array and empty container aggregates
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action    (7-0-0) 18-10-21
    RM References:  4.03.03 (2)   4.03.05 (0)  
AI12-0249-1/07   2019-03-19 -- User-defined numeric literals
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-11-29
    RM References:  4.02 (9)   4.02.01 (0)   4.09 (3)  
AI12-0250-1/04   2019-03-18 -- Iterator Filters
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-03-11
    RM References:  4.03.03 (21)   4.03.03 (26)   4.03.03 (31)   4.03.05 (0)   4.05.10 (0)   5.05 (4)   5.05 (7)   5.05 (9/4)
                    5.05 (9.1/4)   5.05 (10)   5.05.02 (2/3)   5.05.02 (10/3)   5.05.02 (11/3)  
AI12-0251-1/04   2019-01-25 -- Explicit chunk definition for parallel loops
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-11-16
    RM References:  5.05 (3/3)   5.05 (5)   5.05 (6/5)   5.05 (9/4)  
    Alternatives:   AI12-0251-2
AI12-0251-2/01   2018-03-28 -- Parallel loop chunking libraries
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (7-0-0) 18-10-21
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
    Alternatives:   AI12-0251-1
AI12-0252-1/02   2018-01-29 -- Duplicate interrupt handlers under Ravenscar
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-01-29
    RM References:  C.03.01 (13)  
AI12-0253-1/01   2018-01-26 -- Saturation arithmetic for scalar types
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  A.05.04 (0)  
AI12-0254-1/03   2018-03-06 -- Bounded_Indefinite_Holders
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-03-05
    RM References:  A.18.32 (0)  
AI12-0255-1/01   2018-01-26 -- Component iteration/reflection
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: No Action    (8-0-3) 18-01-29
    RM References:  A.20 (0)  
AI12-0256-1/04   2018-08-31 -- Aspect No_Controlled_Parts
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-07-06
    RM References:  H.04.01 (0)   13.01.01 (18.7/5)  
AI12-0257-1/02   2020-01-30 -- Generalize prefix views
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         15-0-0  20-07-30
    RM References:  4.01.03 (9.1/2)   4.01.03 (9.2/2)  
AI12-0258-1/04   2018-04-26 -- Containers and controlled element types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-03-05
    RM References:  A.18 (10/4)  
AI12-0259-1/02   2018-03-05 -- Lower bound of strings returned from Ada.Command_Line
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-03-05
    RM References:  A.15 (14)   A.15 (16/3)  
AI12-0260-1/04   2018-03-06 -- Functions Is_Basic and To_Basic in Wide_Characters.Handling
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-03-05
    RM References:  1.02 (8/3)   A.03.05 (8/3)   A.03.05 (20/3)   A.03.05 (21/3)   A.03.05 (33/3)   A.03.05 (61/3)  
AI12-0261-1/04   2018-05-07 -- Conflict in "private with" rules
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-03-05
    RM References:  10.01.02 (12/3)   10.01.02 (13/2)   10.01.02 (14/2)   10.01.02 (15/2)   10.01.02 (16/2)  
AI12-0262-1/12   2020-01-06 -- Map-Reduce attribute
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 19-01-15
    RM References:  4.01.04 (1)   4.01.04 (6)   4.01.04 (11)   4.05.10 (0)  
AI12-0263-1/03   2018-08-31 -- Update references to ISO/IEC 10646
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-03-08
    RM References:  1.01.04 (14.2/3)   2.01 (1/3)   2.01 (3.1/3)   2.01 (4/3)   2.01 (4.1/5)   2.01 (5/3)   2.01 (15/3)   2.01 (4.1/5)
                    2.01 (5/3)   2.03 (4.1/5)   2.03 (5/3)   3.05.02 (2/3)   3.05.02 (3/3)   3.05.02 (4/3)   A.01 (36.1/3)   A.01 (36.2/3)
                    A.03.02 (32.6/5)   A.03.05 (51.2/5)   A.03.05 (55/3)   A.03.05 (59/3)   A.04.10 (3/3)   B.05 (21/5)  
AI12-0264-1/03   2018-04-26 -- Overshifting and overrotating
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Revision 2022 18-04-05
    RM References:  B.02 (9)  
AI12-0265-1/03   2018-04-26 -- Default_Initial_Condition for types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-04-04
    RM References:  7.03.03 (0)   1.01.03 (17.1/5)   11.04.02 (23.2/5)   11.04.02 (23.3/5)  
AI12-0266-1/11   2019-01-29 -- Parallel Container Iterators
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-01-29
    RM References:  5.05 (3/5)   5.05 (8.1/5)   5.05 (9.3/5)   5.05.01 (4/3)   5.05.01 (6/4)   5.05.01 (11/3)   5.05.02 (2.1/3)   5.05.02 (4/3)
                    5.05.02 (10/3)   5.05.02 (11/3)   5.05.02 (12/3)   5.05.02 (13/3)   5.05.02 (15/3)   A.18.02 (74.1/3)   A.18.02 (230.1/3)   A.18.02 (230.2/3)
                    A.18.03 (46.1/3)   A.18.03 (144.1/3)   A.18.03 (144.2/3)   A.18.05 (37.1/3)   A.18.05 (61.1/3)   A.18.05 (61.2/3)   A.18.06 (51.1/3)   A.18.06 (94.1/3)
                    A.18.06 (94.2/3)   A.18.08 (49.1/3)   A.18.08 (85.1/3)   A.18.08 (85.2/3)   A.18.09 (61.1/3)   A.18.09 (113.1/3)   A.18.09 (113.2/3)   A.18.10 (44/3)
                    A.18.10 (45/3)   A.18.10 (70/3)   A.18.10 (156/3)   A.18.10 (157/3)   A.18.10 (158/3)   A.18.10 (159/3)   A.18.10 (218/3)   A.18.10 (219/3)  
AI12-0267-1/08   2019-01-25 -- Data race and non-blocking checks for parallel constructs
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Revision 2022 18-11-19
    RM References:  9.05 (57/5)   9.10 (11)   9.10 (15)   9.10.01 (0)   H.05 (1/2)   H.05 (5/5)   H.05 (6/2)  
AI12-0268-1/01   2018-03-29 -- Automatic instantiation for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action    (9-0-0) 19-10-07
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
AI12-0269-1/04   2018-04-26 -- Aspect No_Return for functions reprise
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-04-04
    RM References:  6.05.01 (0)   6.05.01 (1/3)   6.05.01 (3.1/3)   6.05.01 (3.4/3)   6.05.01 (5/2)   6.05.01 (6/2)   6.05.01 (7/2)   J.15.02 (2/3)
                    J.15.02 (3/3)   J.15.02 (4/3)  
AI12-0270-1/00   2018-04-09 -- Eliminate differences between use of values and objects
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  3.03 (11.1/3)   3.03 (12)  
AI12-0271-1/00   2018-04-09 -- Specifying aspects of (anonymous) formal parameters
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (8-0-3) - 18-05-07
    RM References:  13.01.01 (3/3)  
AI12-0272-1/03   2018-08-31 -- Contracts for generic formal parameters
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-07-11
    RM References:  6.01.01 (1/5)   6.01.01 (39/5)   7.03.03 (1/5)   7.03.03 (2/5)   7.03.03 (8/5)   7.03.04 (5/5)   F.01 (1)  
AI12-0273-1/00   2018-04-09 -- Contract matching for formal subprograms
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  12.06 (8.9/5)  
AI12-0274-1/01   2018-05-08 -- Case pattern matching
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  5.04 (4/3)  
AI12-0275-1/03   2018-08-31 -- Make subtype_mark optional in object renames
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-07-05
    RM References:  8.05.01 (2/3)   8.05.01 (3/2)  
AI12-0276-1/03   2019-01-25 -- Admission policy defined for acquiring a protected object resource
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-11-27
    RM References:  D.04.01 (0)   9.05.01 (19)   D.01 (22/1)  
AI12-0277-1/03   2018-08-31 -- The meaning of "accessibility level of the body of F"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-06-29
    RM References:  3.10.02 (19.2/4)  
AI12-0278-1/02   2018-07-05 -- Implicit conversions of anonymous return types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-07-05
    RM References:  3.10.02 (10.3/3)  
AI12-0279-1/06   2020-02-03 -- Nonpreemptive dispatching needs more dispatching points
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-11-26
    RM References:  D.02.01 (1.5/2)   D.02.01 (7/5)  
AI12-0280-1/01   2018-05-14 -- Contract_Cases aspect
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action    (10-0-0) 19-06-15
    RM References:  6.01.02 (0)  
    Alternatives:   AI12-0280-2
AI12-0280-2/08   2021-01-14 -- Making 'Old more flexible
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-09-07
    RM References:  6.01.01 (20/3)   6.01.01 (21/3)   6.01.01 (22/3)   6.01.01 (22.1/4)   6.01.01 (22.2/5)   6.01.01 (23/3)   6.01.01 (24/3)   6.01.01 (26/4)
                    6.01.01 (27/5)   6.01.01 (39/5)  
    Alternatives:   AI12-0280-1
AI12-0281-1/03   2019-03-05 -- CPU Affinity for Protected Objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-26
    RM References:  D.16 (7/3)   D.16 (10/3)   D.16 (11/3)   D.16 (14/3)   J.05.09 (4/3)   J.05.09 (6/3)  
AI12-0282-1/06   2020-04-29 -- Atomic, Volatile, and Independent generic formal types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-03-11
    RM References:  C.06 (6.1/3)   C.06 (6.3/3)   C.06 (6.5/3)   C.06 (6.8/3)   C.06 (12/3)   C.06 (12.1/3)   C.06 (21/4)  
AI12-0283-1/03   2018-08-31 -- Nonblocking and remote calls
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-07-12
    RM References:  E.02.02 (9.3/1)   E.02.03 (13/3)   E.04 (8)  
AI12-0284-1/01   2018-06-11 -- Renaming a file to an existing file should be allowed
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Hold         18-06-11
    RM References:  A.16 (12/2)   A.16 (66/2)   A.16 (67/3)  
AI12-0285-1/03   2018-08-31 -- Syntax for Stable_Properties aspects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-07-06
    RM References:  7.03.04 (2/5)   7.03.04 (3/5)   7.03.04 (4/5)   7.03.04 (6/5)   7.03.04 (7/5)   7.03.04 (9/5)   7.03.04 (10/5)   7.03.04 (14/5)
                    13.01.01 (4/5)  
AI12-0286-1/03   2019-01-25 -- Allows_Exit aspect should be used on language-defined subprograms
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-11-15
    RM References:  A.16 (36/2)   A.16 (111/2)   A.17 (8/3)   A.17 (22/3)  
AI12-0287-1/03   2018-11-20 -- Legality Rules for null exclusions in renaming are too fierce
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 18-11-15
    RM References:  8.05.01 (4.4/2)   8.05.01 (4.5/2)   8.05.01 (4.6/2)   8.05.04 (4.2/2)   12.04 (8.3/2)   12.04 (8.4/2)   12.04 (8.5/2)   12.04 (8.2/5)
                    12.06 (8.2/5)  
AI12-0288-1/01   2018-08-06 -- 'Value for all types
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         by Letter Ballot (10-0-1) - 18-05-07
    RM References:  4.10 (0)   3.05 (39.3/2)  
AI12-0289-1/02   2019-02-18 -- Implicitly null excluding anonymous access types and conformance
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Revision 2022 18-11-19
    RM References:  3.10 (26)  
AI12-0290-1/04   2019-02-18 -- Restriction Pure_Barriers
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-11-21
    RM References:  D.07 (2)   D.07 (10.10/4)  
AI12-0291-1/04   2020-09-09 -- Jorvik Profile
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-11-26
    RM References:  D.13 (0)   D.13 (1/3)   D.13 (4/3)   D.13 (6/4)   D.13 (9/3)   D.13 (10/3)   D.13 (11/4)   D.13 (12/4)  
AI12-0292-1/02   2018-11-13 -- Various cleanups for Ada 2020
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-11-13
    RM References:  3.10.02 (9.1/3)   5.05.03 (9/5)   5.05.03 (13/5)   8.05.04 (11)   9.10 (14)  
AI12-0293-1/03   2019-04-02 -- Add predefined FIFO_Streams packages
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-11-27
    RM References:  13.13.01 (1)   13.13.01 (9)   13.13.01 (9.1/1)  
AI12-0294-1/04   2018-12-10 -- More clean-ups for Ada 2020
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 18-11-15
    RM References:  3.03 (23/3)   5.05 (8)   5.05 (9/5)   5.05 (9.1/5)   5.05.03 (20/5)   9.10.01 (8/5)   D.02.01 (1.5/2)  
AI12-0295-1/03   2019-03-19 -- User-defined string literals
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 18-11-29
    RM References:  4.02 (6)   4.02 (10)   4.02 (11)   3.06.03 (1)   4.02.01 (0)   4.09 (26/3)  
AI12-0296-1/02   2019-02-22 -- User-defined character and null literals
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         7-0-0  18-10-23
    RM References:  4.02 (3)   4.02 (5)   4.02 (9/5)   3.05.02 (1)   4.02.01 (0)  
AI12-0297-1/01   2018-12-06 -- Defaults for generic formal packages and formal "in out" objects
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Hold         9-0-1  19-02-26
    RM References:  12.04 (6)   12.07 (2)  
AI12-0298-1/07   2020-12-14 -- Revise the conflict check policies to ensure compatibility
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-04-09
    RM References:  9.10 (10)   9.10 (17/5)   9.10.01 (3/5)   9.10.01 (5/5)   9.10.01 (8/5)   9.10.01 (10/5)   9.10.01 (11/5)   9.10.01 (12/5)
                    9.10.01 (13/5)   9.10.01 (14/5)  
AI12-0299-1/02   2019-01-14 -- The permission of D.2.1(10.1/2) allows too much
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-01-14
    RM References:  D.02.01 (10.1/2)   D.02.01 (7/5)  
AI12-0300-1/03   2019-02-25 -- Annex G text for Fixed * integer
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-01-15
    RM References:  G.02.03 (23)  
AI12-0301-1/03   2019-03-04 -- Predicates should be checked like constraints for types with Default_Value
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-01-15
    RM References:  3.02.04 (31/4)  
AI12-0302-1/07   2020-07-21 -- Default Global aspect for language-defined units
    Priority: High       Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-10-30
    RM References:  3.09 (6/2)   3.09 (18.2/3)   9.06 (10)   9.06.01 (2/2)   9.06.01 (8/2)   9.06.01 (15/2)   11.04.01 (2/2)   13.07.02 (2)
                    13.11.02 (3/3)   13.13.01 (9)   13.13.04 (3/3)   13.13.04 (10/3)   13.13.04 (11/3)   13.13.05 (3/3)   A.04.03 (5)   A.04.04 (3)
                    A.04.05 (3)   A.04.07 (3)   A.04.07 (46.2/2)   A.04.08 (3)   A.04.08 (50/2)   A.04.09 (7/3)   A.04.09 (10/3)   A.04.09 (11.7/3)
                    A.04.09 (11.10/3)   A.04.10 (7/3)   A.04.10 (10/3)   A.04.10 (18/3)   A.04.10 (21/3)   A.05.02 (5)   A.05.02 (8)   A.05.02 (9)
                    A.05.02 (12)   A.05.02 (17)   A.05.02 (20)   A.05.02 (21)   A.05.02 (24)   A.05.06 (0)   A.05.07 (0)   A.08.01 (2)
                    A.08.01 (10.1/4)   A.08.01 (12)   A.08.04 (2)   A.08.04 (10.1/4)   A.08.04 (12)   A.08.04 (13)   A.08.04 (14)   A.09 (3)
                    A.10.01 (2)   A.10.01 (21/1)   A.10.01 (23)   A.10.01 (24)   A.10.01 (25)   A.10.01 (26)   A.10.01 (28)   A.10.01 (29)
                    A.10.01 (30)   A.10.01 (31)   A.10.01 (32)   A.10.01 (35)   A.10.01 (36)   A.10.01 (37)   A.10.01 (38)   A.10.01 (39)
                    A.10.01 (41)   A.10.01 (42)   A.10.01 (43)   A.10.01 (44)   A.10.01 (45)   A.10.01 (47)   A.10.01 (48)   A.10.01 (49)
                    A.10.01 (54)   A.10.01 (55)   A.10.01 (59)   A.10.01 (60)   A.10.01 (65)   A.10.01 (66)   A.10.01 (70)   A.10.01 (71)
                    A.10.01 (75)   A.10.01 (76)   A.10.01 (81)   A.10.01 (82)   A.10.01 (49.1/2)   A.10.01 (50)   A.10.11 (3/2)   A.10.12 (3/2)
                    A.12.01 (3/3)   A.12.01 (15)   A.12.01 (16)   A.12.01 (18)   A.12.01 (19)   A.12.01 (22)   A.12.02 (3)   A.12.03 (3)
                    A.12.04 (3/2)   A.15 (3)   A.16 (3/2)   A.16.01 (3/3)  
AI12-0303-1/03   2019-05-09 -- Some constants must be covered by Global aspects; extensibility
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action    (14-0-0) 20-04-29
    RM References:  6.01.02 (12/5)   6.01.02 (32/5)   6.01.02 (46/5)  
AI12-0304-1/03   2019-05-09 -- Image attributes of language-defined types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-05-09
    RM References:  4.10 (0)  
AI12-0305-1/01   2019-02-01 -- Bounded Big Integers
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         9-0-1  19-02-26
    RM References:  A.05.08 (0)  
AI12-0306-1/04   2019-04-02 -- Split null array aggregates from positional array aggregates
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-12
    RM References:  4.03.03 (2)   4.03.03 (3/2)   4.03.03 (9/5)   4.03.03 (26/5)   4.03.03 (26.1/5)   4.03.03 (33/3)   4.03.03 (38)   4.03.03 (39)
                    4.03.03 (42)  
AI12-0307-1/03   2019-03-04 -- Resolution of aggregates
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-11
    RM References:  4.03 (3/5)  
AI12-0308-1/03   2019-03-04 -- Declared entities need to be declarations
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-05
    RM References:  3.01 (6/3)   3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05.03 (0)   8.01 (2.1/4)   8.01 (4.1/4)  
AI12-0309-1/03   2019-03-04 -- Missing checks for pragma Suppress
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-02-12
    RM References:  11.05 (10)   11.05 (19)   11.05 (20)   11.05 (22)   11.05 (24)  
AI12-0310-1/03   2019-03-04 -- Specifying private parts of packages in aspect Global
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action    (14-0-0) 20-04-29
    RM References:  6.01.02 (10/5)   6.01.02 (33/5)  
AI12-0311-1/03   2019-02-26 -- Suppressing client-side assertions for language-defined units
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-26
    RM References:  11.04.02 (23.5/5)   11.05 (23)   11.05 (26)  
AI12-0312-1/12   2021-05-07 -- Examples for Ada 202x
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 19-10-29
    RM References:  3.09.04 (32/2)   3.10.01 (23)   3.10.02 (41)   4.02.01 (0)   4.03.03 (44)   4.03.05 (0)   4.05.07 (21/3)   4.05.08 (13/3)
                    4.05.10 (0)   5.05 (21)   6.01.01 (42/3)   6.01.02 (0)   7.03.02 (24/3)   7.03.03 (0)   11.03 (7)   13.04 (12)
                    13.04 (14)   B.03 (77)   B.03 (79/3)   B.03 (83)  
AI12-0313-1/06   2021-03-08 -- Introduction for Ada 2020
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 19-04-09
    RM References: 
AI12-0314-1/01   2019-02-15 -- Title of 13.13.1
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-15
    RM References:  13.13.01 (0)  
AI12-0315-1/03   2019-03-05 -- Image Attributes subclause improvements
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-14
    RM References:  4.10 (0)  
AI12-0316-1/02   2019-02-26 -- Preconditions for checking Task_Ids
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Hold         11-0-0  19-02-26
    RM References:  C.07.01 (4/3)   D.02.06 (9/5)   D.02.06 (29/2)   D.05.01 (4)   D.05.01 (5)   D.05.01 (9)   D.11 (3/5)   D.11 (9)
                    D.14 (5/2)   D.14 (17/2)  
AI12-0317-1/09   2019-03-11 -- Simplifying the rules for newly constructed objects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-02-26
    RM References:  3.10.02 (16.1/5)   4.03.02 (5.1/5)   4.03.02 (5.2/5)   4.03.02 (5.3/5)   4.03.02 (5.4/5)   4.03.02 (5.5/5)   4.04 (9)   4.05.09 (6/5)
                    6.02 (10/5)   7.05 (2.1/5)  
AI12-0318-1/02   2019-02-26 -- No_IO should apply to Ada.Directories
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-02-26
    RM References:  H.04 (20/2)   H.04 (24/3)  
AI12-0319-1/05   2021-05-06 -- Nonblocking for Unchecked_Deallocation is wrong
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-03-11
    RM References:  9.05 (47/5)   9.05 (68/5)   13.11 (15)   13.11 (17)   13.11 (18/4)   13.11.02 (3/5)  
AI12-0320-1/03   2019-03-11 -- Changes from the RM review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-03-06
    RM References:  4.10 (3.1/5)   4.10 (6/5)   5.05.03 (11/5)   C.01 (2)   C.03.02 (24/3)   E.02.01 (7/4)   E.02.01 (7.1/4)  
AI12-0321-1/04   2020-10-20 -- Support for Arithmetic Atomic Operations and Test and Set
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-03-11
    RM References:  C.06.03 (0)   C.06.04 (0)  
AI12-0322-1/04   2019-03-11 -- Equivalence for the target name symbol
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-03-11
    RM References:  4.09 (16)   5.02.01 (4/5)   5.02.01 (5/5)  
AI12-0323-1/02   2019-03-11 -- Implementation Advice for the CPU aspect for protected types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-03-11
    RM References:  D.16 (16/5)  
AI12-0324-1/03   2019-04-09 -- More changes from the RM review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-03-19
    RM References:  3.10 (9/5)   3.10.02 (19.2/5)   4.03.04 (0)   6.04.01 (6.17/5)   7.03.03 (0)   7.03.04 (0)   8.06 (17.1/4)   D.04 (1/3)  
AI12-0325-1/09   2019-04-09 -- Various issues with user-defined literals
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-04-01
    RM References:  4.02 (6)   4.02 (10)   4.02 (11)   4.02.01 (0)  
AI12-0326-1/02   2019-04-15 -- Consequence for incorrect Allows_Exit
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action    (10-0-0) 19-06-14
    RM References:  5.05.03 (17/5)   5.05.03 (21/5)  
    Alternatives:   AI12-0326-2
AI12-0326-2/04   2019-07-15 -- Bounded errors associated with procedural iterators
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 19-07-15
    RM References:  5.05 (3/5)   5.05.03 (15/5)   5.05.03 (17/5)   5.05.03 (18/5)   5.05.03 (19/5)   5.05.03 (20/5)   5.05.03 (21/5)  
    Alternatives:   AI12-0326-1
AI12-0327-1/03   2019-04-09 -- Clarify iterator filter wording for aggregates
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-04-09
    RM References:  5.05 (6.2/6)   4.03.03 (21)   4.03.05 (0)   4.05.08 (6/4)   4.05.10 (0)  
AI12-0328-1/04   2019-05-09 -- Meaning of limited type and record type in 4.5.2(28.1/4)
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-05-09
    RM References:  4.05.02 (28.1/4)   4.05.02 (4.1/4)   4.05.02 (15/3)  
AI12-0329-1/02   2019-04-09 -- Naming of FIFO_Streams packages
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-04-09
    RM References:  13.13.01 (9/5)   13.13.01 (9.1/5)  
AI12-0330-1/07   2021-03-14 -- Add items to the Glossary
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-05-09
    RM References:  N (0)  
AI12-0331-1/02   2019-05-10 -- Order of finalization of a subpool
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-05-09
    RM References:  13.11.05 (5/3)   13.11.05 (6/3)   13.11.05 (7/3)   13.11.05 (7.1/4)   13.11.05 (8/3)   13.11.05 (9/3)  
AI12-0332-1/02   2019-05-09 -- Implementation Permission for Default_Initial_Condition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-05-09
    RM References:  7.03.03 (9/5)  
AI12-0333-1/05   2021-06-04 -- Predicate checks on out parameters
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-07-03
    RM References:  3.02.04 (31/5)   4.06 (51/4)   6.04.01 (14)  
AI12-0334-1/04   2019-06-10 -- Predicates and Global/Nonblocking
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (9-0-0) 19-10-07
    RM References:  6.01.02 (1/5)   6.01.02 (12/5)   6.01.02 (17/5)   9.05 (65/5)  
    Alternatives:   AI12-0334-2
AI12-0334-2/04   2019-10-01 -- Predicates and Global/Nonblocking
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (14-0-0) 20-04-29
    RM References:  6.01.02 (1/5)   6.01.02 (12/5)   6.01.02 (17/5)   9.05 (65/5)  
    Alternatives:   AI12-0334-1
AI12-0335-1/03   2019-07-02 -- Dynamic accessibility check needed for some requeue targets
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-07-02
    RM References:  9.05.04 (7/4)  
AI12-0336-1/04   2019-12-02 -- Meaning of Time_Offset
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-07-03
    RM References:  9.06.01 (6/2)   9.06.01 (35/2)   9.06.01 (40/2)   9.06.01 (41/2)   9.06.01 (42/3)   9.06.01 (90/2)   9.06.01 (91/2)  
AI12-0337-1/02   2019-07-03 -- Simple_Name("/") in Ada.Directories
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-07-03
    RM References:  A.16 (47/2)   A.16 (74/2)   A.16 (82/3)  
AI12-0338-1/03   2019-07-02 -- type invariant checking and incomplete types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 19-07-02
    RM References:  7.03.02 (20/5)  
AI12-0339-1/03   2019-07-19 -- Empty function for Container aggregates
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-07-16
    RM References:  A.18.02 (8/5)   A.18.02 (12.3/5)   A.18.02 (78.2/5)   A.18.02 (98.6/5)   A.18.03 (6/5)   A.18.03 (10.2/5)   A.18.03 (50.2/5)   A.18.05 (3/5)
                    A.18.05 (7.2/5)   A.18.05 (37.3/5)   A.18.05 (46/2)   A.18.06 (4/5)   A.18.06 (8.2/5)   A.18.06 (51.4/5)   A.18.08 (3/5)   A.18.08 (8.1/5)
                    A.18.08 (59.2/5)   A.18.08 (68/2)   A.18.09 (4/5)   A.18.09 (9.1/5)   A.18.09 (74.2/5)   A.18.10 (15.2/5)   A.18.18 (8.1/5)   A.18.19 (6.1/5)
                    A.18.20 (6/3)   A.18.21 (6/3)   A.18.22 (6/3)   A.18.23 (6/3)   A.18.24 (6/3)   A.18.25 (8/3)  
AI12-0340-1/02   2019-10-29 -- Put_Image should use a Text_Buffer
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 19-10-29
    RM References:  A.04.12 (0)   4.10 (3.1/5)   4.10 (3.2/5)   4.10 (6/5)   4.10 (25.2/5)   4.10 (28/5)   4.10 (31/5)   4.10 (41/5)
                    H.04 (23.2/5)   H.04 (23.11/5)  
AI12-0341-1/01   2019-09-04 -- Syntax of conditional case expressions and statements
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action    (9-0-1) 19-10-05
    RM References:  4.05.07 (5/3)   5.04 (2/3)  
AI12-0342-1/07   2021-07-14 -- Various issues with user-defined literals (part 2)
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-01-15
    RM References:  4.02.01 (0)   3.09.02 (1/2)   6.03.01 (22)  
AI12-0343-1/03   2020-01-15 -- Return Statement Checks
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-01-15
    RM References:  6.05 (5.12/5)   6.05 (8/4)   6.05 (8.1/3)   6.05 (21/3)  
AI12-0344-1/05   2020-06-19 -- Procedural iterator aspects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-06-15
    RM References:  5.05.03 (16/5)   5.05.03 (20/5)   5.05.03 (22/5)   9.10.01 (22/5)   H.04 (12)  
AI12-0345-1/04   2021-05-27 -- Dynamic accessibility of explicitly aliased parameters
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-01-15
    RM References:  3.10.02 (5)   3.10.02 (7/4)   3.10.02 (10.5/3)   3.10.02 (13.4/4)   3.10.02 (19.2/5)   3.10.02 (21)  
AI12-0346-1/02   2020-04-27 -- Ada and OpenMP
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item    19-10-11
    RM References:  5.05 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
AI12-0347-1/04   2020-02-19 -- Presentation issues
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 20-01-29
    RM References:  9.06.01 (35.1/5)   12.06 (15)   C.06 (19.1/5)   E.04.02 (5)  
AI12-0348-1/03   2020-01-28 -- Remove Combiners from Reduction Expressions
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-01-15
    RM References:  4.05.10 (0)  
AI12-0349-1/01   2020-01-08 -- Add "parallel" to aggregate iterators
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         13-0-2  20-07-30
    RM References:  4.03.03 (5.1/5)   4.03.05 (21/5)  
AI12-0350-1/02   2020-03-12 -- Swap for Indefinite_Holders
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-03-11
    RM References:  A.18.18 (22/5)   A.18.18 (67/5)   A.18.18 (73/3)   A.18.32 (13/5)  
AI12-0351-1/02   2020-01-16 -- Matching for actuals for formal derived types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-01-15
    RM References:  12.05.01 (7)   12.05.01 (8)  
AI12-0352-1/02   2020-01-16 -- Early derivation and equality of untagged types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-01-15
    RM References:  4.05.02 (9.8/4)  
AI12-0353-1/01   2020-01-10 -- Global and Nonblocking aspects and dispatching calls
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (14-0-0) 20-04-29
    RM References:  6.01.02 (14/5)   6.01.02 (15/5)   6.01.02 (42/5)   9.05 (49/5)  
AI12-0354-1/02   2020-06-16 -- Semantics of Parallel_Iterators
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-06-16
    RM References:  5.05.01 (21/3)  
AI12-0355-1/02   2020-04-26 -- Generalized aspect specifications
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action    (14-0-0) 20-09-09
    RM References:  13.01.01 (4/5)   13.01.01 (12/5)   13.01.01 (18.7/5)   13.01.01 (36/3)  
    Alternatives:   AI12-0355-2
AI12-0355-2/02   2020-10-02 -- Aspect specifications for parallel constructs
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-09-09
    RM References:  4.05.10 (3/5)   4.05.10 (21/5)   5.05 (3/5)   5.05 (9/5)   5.05.03 (27/5)   13.01.01 (37/3)  
    Alternatives:   AI12-0355-1
AI12-0356-1/02   2020-01-16 -- Root_Storage_Pool_With_Subpools should have Preelaborable_Initialization
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-01-15
    RM References:  13.11.04 (4/3)   13.11.04 (5/3)  
AI12-0357-1/01   2020-01-29 -- Standard procedural iterator for parallel work-list algorithms
    Priority: Very Low   Difficulty: Medium
    Class: Amendment                   Status: Hold         20-01-29
    RM References:  5.05.04 (0)  
AI12-0358-1/01   2020-01-29 -- Returnable attribute
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Hold         20-01-29
    RM References:  6.05 (5.11/5)  
AI12-0359-1/02   2020-03-12 -- Calls to subprograms declared in shared passive units
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Revision 2022 20-03-11
    RM References:  E.01 (5)   E.02.01 (11)   E.04 (1)  
AI12-0360-1/02   2020-04-26 -- Procedural iterators for generic procedures
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         15-0-0  20-07-30
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
AI12-0361-1/02   2020-03-12 -- Ada.Streams.Storage packages are still useful
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-03-11
    RM References:  13.13.01 (10/5)   13.13.01 (11/5)  
AI12-0362-1/01   2020-02-05 -- Floor and other rounding attributes for fixed point types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Hold         (11-0-2) - 20-06-13
    RM References:  A.05.04 (4)  
    Alternatives:   AI12-0362-2
AI12-0362-2/03   2020-06-19 -- Attributes for fixed point types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-06-15
    RM References:  4.01.04 (12/1)  
    Alternatives:   AI12-0362-1
AI12-0363-1/05   2020-06-15 -- Fixes for Atomic and Volatile
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-06-15
    RM References:  3.10.02 (26/3)   9.10 (1/5)   C.06 (6.4/3)   C.06 (6.10/3)   C.06 (8.1/4)   C.06 (12/5)   C.06 (12.1/5)   C.06 (13.3/5)
                    C.06 (19.1/5)  
AI12-0364-1/03   2020-10-20 -- Add a modular atomic arithmetic package
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-03-11
    RM References:  C.06.05 (0)   C.06.04 (1/5)   C.06.04 (2/5)   C.06.04 (3/5)   C.06.04 (9/5)  
AI12-0365-1/01   2020-02-06 -- Easier enumeration representation value definition
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         20-02-06
    RM References:  3.05.01 (3)   13.04 (6)  
AI12-0366-1/04   2020-05-05 -- Changes to Big_Integer and Big_Real
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-04-30
    RM References:  A.05.06 (0)   A.05.07 (0)  
AI12-0367-1/02   2020-03-12 -- Glitches in aspect specifications
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-03-11
    RM References:  3.05.09 (8/2)   3.05.10 (2/1)   13.01 (9.1/5)   13.14 (10)  
AI12-0368-1/03   2020-03-12 -- Declare expressions can be static
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-03-11
    RM References:  4.09 (8)   4.09 (12.1/3)   4.09 (17)   6.01.01 (24.2/5)   6.01.01 (24.3/5)   6.01.01 (24.4/5)   6.01.01 (24.5/5)   C.04 (9)  
AI12-0369-1/02   2020-03-12 -- Relaxing barrier restrictions
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-03-11
    RM References:  D.07 (1.3/5)   D.07 (10.12/5)  
AI12-0370-1/01   2020-03-06 -- Pattern to use for specifying a precondition
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 20-03-11
    RM References:  A.18.03 (16.1/5)  
AI12-0371-1/03   2021-05-24 -- Fix-ups for aspects in generic formal parts
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-03-11
    RM References:  3.10.02 (8)   6.01.01 (40/5)   12.01 (9)  
AI12-0372-1/04   2020-06-15 -- Static accessibility of "master of the call"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-06-15
    RM References:  3.10.02 (10.5/5)   3.10.02 (19.3/4)   6.04.01 (6.4/3)  
AI12-0373-1/06   2020-04-29 -- Bunch 'o fixes
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-03-22
    RM References:  3.01 (1)   4.02 (4)   4.02 (8/2)   4.02.01 (3/5)   4.02.01 (4/5)   4.02.01 (5/5)   4.09 (17.3/5)   6.01.01 (41/5)
                    8.05.04 (4/3)   13.01.01 (4/3)   13.01.01 (11/3)   13.14 (3/5)  
AI12-0374-1/05   2020-06-05 -- Fixes for Nonblocking
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action    (12-0-2) 20-09-09
    RM References:  9.05 (24/5)   9.05 (27/5)   9.05 (34/5)   9.05 (36/5)   9.05 (47/5)   9.05 (49/5)   9.05 (65/5)   9.05 (68/5)
                    13.01.01 (18.1/4)  
    Alternatives:   AI12-0374-2
AI12-0374-2/06   2021-05-28 -- Fixes for Nonblocking
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-07-25
    RM References:  9.05 (17/5)   4.09.01 (2/5)  
    Alternatives:   AI12-0374-1
AI12-0375-1/02   2020-04-29 -- Meaning of Global when there is no mode
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-04-29
    RM References:  6.01.02 (0/5)  
AI12-0376-1/02   2020-04-30 -- Representation changes finally allowed for untagged derived types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-04-30
    RM References:  13.01 (10/4)  
AI12-0377-1/04   2020-07-07 --  View conversions and out parameters of types with Default_Value revisited
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Revision 2022 20-06-15
    RM References:  6.04.01 (5.1/4)   6.04.01 (5.2/4)   6.04.01 (5.3/4)   6.04.01 (13.1/4)   6.04.01 (13.2/4)   6.04.01 (13.3/4)   6.04.01 (13.4/4)   6.04.01 (15/3)  
AI12-0378-1/06   2020-08-28 --  View conversions and out parameters of access types revisited
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Revision 2022 20-07-07
    RM References:  6.04.01 (13/3)   6.04.01 (18/3)  
AI12-0379-1/03   2020-06-15 -- More Presentation issues
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 20-05-26
    RM References:  4.03.04 (26/5)   4.03.04 (30/5)   4.03.05 (66/5)   4.03.05 (67/5)   4.03.05 (68/5)   4.03.05 (69/5)   4.03.05 (70/5)   4.03.05 (71/5)
                    4.03.05 (72/5)   4.03.05 (73/5)   4.03.05 (74/5)   4.03.05 (84/5)   4.03.05 (90/5)   4.03.05 (91/5)   4.05.10 (41/5)   4.05.10 (43/5)
                    5.02.01 (6/5)   5.05.03 (31/5)  
AI12-0380-1/07   2020-08-04 -- Fixups for Global annotations
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-07-30
    RM References:  4.06 (24.21/4)   6.01.02 (0)   13.01.01 (17/5)   13.01.01 (18/4)   H.04 (23.2/5)   H.04 (23.3/5)   H.04 (23.4/5)   H.07 (0)
                    H.07.01 (0)  
AI12-0381-1/03   2020-06-15 -- Tag of a delta aggregate
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-06-15
    RM References:  4.03.04 (14/5)  
AI12-0382-1/02   2020-06-15 -- Loosen type-invariant overriding requirement of AI12-0042-1
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-06-15
    RM References:  7.03.02 (6.1/4)  
AI12-0383-1/03   2020-07-08 --  Renaming values
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-06-16
    RM References:  8.05.01 (1)   8.05.01 (4)   8.05.01 (4.1/2)   8.05.01 (6/2)   8.05.01 (8)  
AI12-0384-1/02   2020-06-10 -- Fixups for Put_Image and Text_Buffers
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action    (14-0-0) 20-10-21
    RM References:  4.10 (0)  
    Alternatives:   AI12-0384-2
AI12-0384-2/03   2021-02-01 -- Fixups for Put_Image and Text_Buffers
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-10-21
    RM References:  4.10 (0)   A.04.12 (0)  
    Alternatives:   AI12-0384-1
AI12-0385-1/02   2020-06-16 -- Predefined shifts and rotates should be static
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-06-16
    RM References:  4.09 (20)  
AI12-0386-1/02   2020-07-30 -- Still More Presentation issues
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 20-06-19
    RM References:  3.05.01 (14)   4.02.01 (19/5)   5.05.02 (28/5)   A.18.32 (20/3)  
AI12-0387-1/01   2020-07-24 -- Private_Global aspect
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Hold         13-0-0  20-09-09
    RM References:  4.06 (24.21/4)   6.01.01 (0)   13.01.01 (17/5)   13.01.01 (18/4)   H.04 (23.2/5)   H.04 (23.3/5)   H.04 (23.4/5)   H.07 (0)  
AI12-0388-1/03   2020-09-09 -- Still More Presentation issues
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 20-08-21
    RM References:  4.03.05 (0)   6.01.01 (26.10/4)   6.01.01 (29/4)   7.03.04 (0)   D.04 (16)  
AI12-0389-1/02   2020-09-09 -- Ignoring unrecognized aspects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-09-09
    RM References:  13.01.01 (38/3)   13.12.01 (6.3/3)  
AI12-0390-1/03   2020-09-09 -- Conversions of anonymous access function results
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-09-09
    RM References:  3.10.02 (10.3/5)   3.10.02 (10.4/3)  
AI12-0391-1/02   2020-09-10 -- List containers need Append_One
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-09-10
    RM References:  A.18.03 (6/5)   A.18.03 (23/5)   A.18.03 (50.2/5)   A.18.03 (96/5)  
AI12-0392-1/03   2021-05-20 -- Conditional expressions containing raise expressions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Revision 2022 20-09-09
    RM References:  3.03 (15)   3.03 (16)   3.03 (17)   3.03 (18)   3.03 (18.1/3)   3.03 (19/3)   3.03 (20)   3.03 (20.1/3)
                    3.03 (21/3)   3.03 (21.1/3)   3.03 (22)   3.10.02 (19.1/3)   4.06 (5/2)  
AI12-0393-1/02   2020-09-10 -- No invalid static constants
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-09-10
    RM References:  4.09 (24/5)  
AI12-0394-1/03   2020-10-29 -- Named Numbers and User-Defined Numeric Literals
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-09-10
    RM References:  3.03.02 (3)   4.02.01 (4/5)   4.02.01 (8/5)   4.02.01 (12/5)   4.02.01 (13/5)   4.09 (5)  
AI12-0395-1/01   2020-09-03 -- Allow aspect_specifications on formal parameters
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-09-10
    RM References:  6.01 (15/3)  
AI12-0396-1/04   2020-11-24 -- Fixups for various aspects of aspects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Revision 2022 20-09-10
    RM References:  3.02.04 (1/3)   6.01.01 (1/5)   7.03.02 (1/4)   7.03.03 (1/5)   9.05 (53/5)   11.04.02 (9/3)   11.04.02 (10.2/3)   13.01 (8/3)
                    13.01 (9.1/5)   13.01 (9.3/5)   13.01 (11/3)   13.01 (13/3)   13.01 (15.1/3)   13.01 (18.1/3)   13.01 (18.2/3)   13.01.01 (18.1/4)
                    13.01.01 (18.3/5)   13.13.02 (37.1/5)   13.14 (7.2/3)   13.14 (15.1/3)  
AI12-0397-1/03   2020-12-01 -- Default_Initial_Condition applied to derived type
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-09-10
    RM References:  7.03.03 (3/5)   7.03.03 (6/5)   7.03.03 (8/5)  
AI12-0398-1/03   2020-10-21 -- Most declarations should allow aspect specifications
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-10-21
    RM References:  3.07 (5/2)   6.03.01 (25)   6.05 (2.1/3)   9.05.02 (8)  
AI12-0399-1/04   2021-02-10 -- Aspect specification for Preelaborable_Initialization
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-10-21
    RM References:  9.05 (53/5)   3.09 (6/5)   7.06 (5/2)   7.06 (7/2)   11.04.01 (2/5)   11.04.01 (3/2)   13.11 (6/2)   13.11.04 (4/5)
                    13.11.04 (5/5)   13.13.01 (3/2)   A.04.02 (4/2)   A.04.02 (20/2)   A.04.05 (4/2)   A.04.07 (4/2)   A.04.07 (20/2)   A.04.08 (4/2)
                    A.04.08 (20/2)   A.12.01 (5/4)   A.18.02 (8/5)   A.18.02 (9/2)   A.18.02 (79.2/5)   A.18.02 (79.3/5)   A.18.03 (6/5)   A.18.03 (7/2)
                    A.18.03 (50.2/5)   A.18.03 (50.3/5)   A.18.05 (3/5)   A.18.05 (4/2)   A.18.05 (37.3/5)   A.18.05 (37.4/5)   A.18.06 (4/5)   A.18.06 (5/2)
                    A.18.06 (51.4/5)   A.18.06 (51.5/5)   A.18.08 (3/5)   A.18.08 (4/2)   A.18.08 (58.2/5)   A.18.08 (58.3/5)   A.18.09 (4/5)   A.18.09 (5/2)
                    A.18.09 (74.2/5)   A.18.09 (74.3/5)   A.18.10 (8/5)   A.18.10 (9/3)   A.18.10 (70.2/5)   A.18.10 (70.3/5)   A.18.18 (6/5)   B.03.01 (5/2)
                    C.07.01 (2/5)   G.01.01 (4/2)  
AI12-0400-1/03   2020-10-21 -- Ambiguities associated with Vector Append and container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-10-21
    RM References:  A.18.02 (8/5)   A.18.02 (36/5)   A.18.02 (37/5)   A.18.02 (38/5)   A.18.02 (44/5)   A.18.02 (46/5)   A.18.02 (47/5)   A.18.02 (58/5)
                    A.18.02 (79.2/5)   A.18.02 (150/5)   A.18.02 (151/5)   A.18.02 (152/5)   A.18.02 (153/5)   A.18.02 (154/5)   A.18.02 (155/5)   A.18.02 (156/5)
                    A.18.02 (168/5)   A.18.02 (169/5)   A.18.02 (172/5)   A.18.02 (173/5)   A.18.02 (174/5)   A.18.02 (175.1/5)   A.18.03 (23/5)   A.18.03 (23.1/5)
                    A.18.03 (58.2/5)   A.18.03 (96/5)   A.18.03 (97.1/5)  
AI12-0401-1/04   2020-12-11 -- Renaming of a qualified expression of a variable
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-10-21
    RM References:  3.03 (23.2/3)   8.05.01 (4.7/5)   8.05.01 (5/3)  
AI12-0402-1/04   2020-12-15 -- Master of a function call with elementary result type
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-12-11
    RM References:  3.10.02 (10.2/3)  
AI12-0403-1/03   2020-10-21 -- Presentation issues from Draft 26 review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-10-21
    RM References:  4.02.01 (15/5)   4.02.01 (17/5)   4.02.01 (18/5)   4.02.01 (19/5)   4.03.05 (93/5)   H.04.01 (2/5)  
AI12-0404-1/06   2020-12-09 -- Presentation issues from Draft 26 review - part 2
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-10-21
    RM References:  3.03.01 (8.1/5)   3.09.01 (14)   5.06.01 (4/5)   D (1)   D.01 (15)   D.01 (23)   D.03 (13)   D.03 (13.2/2)
                    D.03 (13.3/2)   D.03 (13.4/2)   D.03 (13.5/2)   H.07.01 (14/5)   H.07.01 (17/5)   H.07.01 (18/5)  
AI12-0405-1/05   2021-05-20 -- Fixups for stable properties
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 20-12-11
    RM References:  6.01.02 (19/5)   7.03.04 (0)  
AI12-0406-1/05   2021-05-20 -- Clarifying static accessibility
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-12-09
    RM References:  3.10.02 (3/2)   3.10.02 (18)   3.10.02 (19/3)   3.10.02 (19.1/3)   7.06.01 (3/2)  
AI12-0407-1/05   2021-05-22 -- Fixups from Draft 26 review - part 1
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-11-23
    RM References:  3.03 (21)   12.03 (15)   13.01 (8/5)   13.01 (8.1/3)   13.01.01 (17/5)   13.14 (7.2/5)   A.05.06 (3/5)   A.05.06 (15/5)
                    A.05.07 (3/5)   A.05.07 (16/5)   A.18.02 (79.2/5)   A.18.03 (50.2/5)   A.18.05 (37.3/5)   A.18.06 (51.4/5)   A.18.08 (58.2/5)   A.18.09 (74.2/5)
                    H.04.01 (1/5)   H.04.01 (3/5)   H.04.01 (4/5)   H.04.01 (5/5)  
AI12-0408-1/04   2020-12-15 -- Definition of "null procedure" and "expression function"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-12-11
    RM References:  6.01 (30/3)   6.07 (3/3)   6.07 (4/2)   6.08 (3.1/5)   6.08 (7/4)  
AI12-0409-1/05   2021-07-07 -- Preelaborable_Initialization aspect and bounded containers
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-12-11
    RM References:  10.02.01 (4.1/2)   10.02.01 (4.2/2)   10.02.01 (11.1/2)   10.02.01 (11.2/2)   10.02.01 (11.6/2)   10.02.01 (11.7/2)   10.02.01 (11.8/2)   13.01 (11/3)
                    A.18.19 (5/5)   A.18.20 (5/5)   A.18.21 (5/5)   A.18.22 (5/5)   A.18.23 (5/5)   A.18.24 (5/5)   A.18.25 (5/5)   A.18.32 (6/5)
                    J.15.14 (0)  
AI12-0410-1/02   2021-01-21 -- Storage Pool-related side effects
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Hold         11-1-3  21-01-20
    RM References:  9.05 (55/5)   13.11 (17.1/5)   H.04 (23.2/5)   H.04 (23.4/5)   H.07 (4/5)   H.07 (7/5)  
AI12-0411-1/04   2021-03-17 -- Add "bool" to Interfaces.C
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 21-01-21
    RM References:  B.03 (13)   B.03 (43/2)   B.03 (65.1/4)  
AI12-0412-1/06   2021-01-20 -- Abstract Pre/Post'Class on primitive of abstract type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 21-01-20
    RM References:  6.01.01 (18.2/4)  
AI12-0413-1/03   2020-12-17 -- Reemergence of "=" when defined to be abstract
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 20-12-11
    RM References:  3.09.03 (7)   4.05.02 (14.1/3)   4.05.02 (24.1/3)   12.05 (8/3)  
AI12-0414-1/02   2021-02-26 -- Replace categorization pragmas with aspects
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 20-12-11
    RM References:  11.04.02 (12/2)   13.07 (12/2)   13.07.01 (2/2)   A.01 (4)   A.02 (2)   A.02 (3)   A.03.01 (2)   A.03.01 (4/2)
                    A.03.01 (6/2)   A.03.02 (2/2)   A.03.03 (3)   A.03.04 (2/2)   A.03.05 (3/3)   A.04.01 (3)   A.04.02 (3/2)   A.04.06 (3/2)
                    A.04.09 (2/3)   A.04.09 (11.2/3)   A.04.10 (2/3)   A.04.10 (13/3)   A.04.11 (3/3)   A.04.11 (15/3)   A.04.11 (22/3)   A.04.11 (30/3)
                    A.04.11 (38/3)   A.05 (3/2)   A.13 (3)   A.18.01 (3/2)   A.19 (3/3)   B.02 (3)   B.03 (4)   B.05 (4)
                    F.02 (2)  
AI12-0415-1/01   2020-12-03 -- Parallel_Calls aspect for types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Hold         15-0-0  21-01-20
    RM References:  9.10.01 (20/5)   9.10.01 (21/5)   9.10.01 (23/5)  
AI12-0416-1/06   2021-01-20 -- Fixups from Draft 26 review - part 2
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 20-12-08
    RM References:  5.05 (9/5)   6.01.02 (17/5)   6.04 (7)   6.04 (9)   6.04 (10.1/2)   A.18 (2/5)   A.18 (5/3)  
AI12-0417-1/04   2021-03-08 -- Make categorization pragmas obsolescent
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 21-01-21
    RM References:  2.08 (29/3)   7.02 (4)   10.01.05 (1)   10.01.05 (2)   10.01.05 (3)   10.01.05 (4)   10.01.05 (5/1)   10.01.05 (6)
                    10.01.05 (7/3)   10.01.05 (7.1/1)   10.01.05 (10/1)   10.02 (15/3)   10.02 (33)   10.02.01 (1)   10.02.01 (2)   10.02.01 (3)
                    10.02.01 (4)   10.02.01 (10.1/3)   10.02.01 (11/3)   10.02.01 (13)   10.02.01 (14)   10.02.01 (15)   10.02.01 (17/3)   10.02.01 (19)
                    10.02.01 (22)   10.02.01 (24)   10.02.01 (25/3)   10.02.01 (26.1/3)   13.01 (9.2/5)   13.01.01 (32/4)   C.04 (1/3)   E.01 (15)
                    E.02 (2/3)   E.02 (3/3)   E.02 (14)   E.02.01 (2)   E.02.01 (3)   E.02.01 (4/3)   E.02.02 (2)   E.02.02 (3)
                    E.02.02 (4/3)   E.02.03 (2)   E.02.03 (3)   E.02.03 (4)   E.02.03 (5)   E.02.03 (6)   E.02.03 (7/3)   E.02.03 (16/3)
                    E.02.03 (20/3)   J.15 (1/3)   J.15.14 (0)   J.15.15 (0)  
AI12-0418-1/06   2021-02-26 -- Presentation issues from Draft 26 review - part 3
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 20-12-14
    RM References:  4.03.01 (17.3/5)   4.03.03 (10)   4.03.05 (56/5)   4.03.05 (57/5)   4.03.05 (76/5)   4.05.02 (3.1/4)   5.05.02 (10.2/5)   6.01.01 (3/3)
                    6.01.01 (5/3)   6.01.01 (7/5)   6.01.01 (8/3)   6.05 (5.1/5)   6.05 (8/4)   6.05.01 (1/5)   9.07.04 (14/4)   12.03 (11)
                    12.07 (4.5/3)  
AI12-0419-1/03   2021-01-29 -- Aspect inheritance and reemergence
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Revision 2022 21-01-21
    RM References:  3.02.04 (1/5)   3.02.04 (29.5/4)   3.09.02 (1/5)   4.02.01 (6/5)   4.10 (4/5)   4.10 (7/5)   4.10 (19/5)   7.03.02 (3/4)
                    7.03.03 (2/5)   12.05.01 (21/3)   13.01 (15.9/5)   13.01.01 (18.3/5)   13.13.02 (8.1/3)   13.13.02 (9/3)   13.13.02 (25/3)   13.13.02 (25.1/2)
                    13.13.02 (25.1/2)   13.13.02 (42/2)  
AI12-0420-1/00   2021-01-14 -- Preelaborable_Initialization and contracts
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Hold         15-0-0  21-01-20
    RM References:  10.02.01 (11.3/2)  
AI12-0421-1/01   2021-01-19 -- Legality checks for class-wide Pre and Post
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted      21-01-19
    RM References:  6.01.01 (18/5)   6.01.01 (18.1/4)   6.01.01 (18.2/4)  
AI12-0422-1/03   2021-01-21 -- When is a constant known-on-entry?
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 21-01-21
    RM References:  3.03 (13/3)   6.01.01 (22.1/5)   6.01.02 (10/5)  
AI12-0423-1/03   2020-01-26 -- Aspect inheritance fixups
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 21-01-21
    RM References:  6.05.01 (3.3/3)   13.01 (15.7/5)   13.01 (15.8/5)  
AI12-0424-1/01   2021-01-21 -- Concurrency and the standard storage pool
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 21-01-21
    RM References:  13.11 (17.1/5)  
AI12-0425-1/03   2021-03-17 -- Presentation issues from public review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 21-03-02
    RM References:  1.01.01 (14)   3.03.01 (33/2)   4.05.02 (37/5)   4.10 (37/5)   6.01.02 (0/5)   13.06 (2)   J.15.08 (1/3)   N (16)
                    N (22)  
AI12-0426-1/06   2021-06-03 -- Presentation issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 21-05-07
    RM References:  3.05.06 (7/2)   3.05.06 (8)   3.05.10 (9)   5.06.01 (3/5)   6.05 (5.10/5)   A.18.33 (24/3)   P (0)  
AI12-0427-1/06   2021-06-03 -- Fixups from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 21-05-07
    RM References:  3.05 (56.4/3)   3.06 (22.2/3)   4.01.03 (13.1/5)   4.02.01 (0/5)   4.03.05 (0/5)   4.05.10 (0/5)   4.09.01 (2/3)   4.10 (0/5)
                    5.06.01 (0/5)   8.05 (5)   8.06 (17.1/5)   9.10.01 (26/5)   13.01 (10/5)   13.01 (13.1/3)   13.01.01 (11/5)   13.01.01 (21/3)
                    13.01.01 (22/3)   13.03 (6)   13.13.02 (51/3)   B.03 (65.1/5)  
AI12-0428-1/03   2021-06-07 -- "Same declaration list" requirement too strong for private types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 21-06-07
    RM References:  4.01.06 (2/3)   4.01.06 (3/3)   5.05.01 (8/5)  
AI12-0429-1/02   2021-06-07 -- Examples should have consistent lead-ins
    Priority: Medium     Difficulty: Medium
    Class: Presentation                Status: Revision 2022 21-06-07
    RM References:  3.02.04 (39/4)   4.01.05 (9/3)   4.01.06 (19/3)   4.02.01 (18/5)   4.03.04 (22/5)   4.03.04 (25/5)   4.03.04 (29/5)   4.03.05 (54/5)
                    4.03.05 (67/5)   4.05.07 (22/5)   4.05.07 (23/5)   4.05.08 (10/3)   4.05.08 (12/3)   4.05.09 (11/5)   4.05.10 (35/5)   4.05.10 (37/5)
                    4.05.10 (39/5)   4.05.10 (41/5)   4.05.10 (43/5)   4.05.10 (45/5)   4.05.10 (47/5)   4.05.10 (49/5)   5.02.01 (6/5)   5.05.02 (15/5)
                    5.05.02 (16/3)   5.05.03 (30/5)   5.05.03 (34/5)   5.06.01 (4/5)   5.06.01 (5/5)   6.05.01 (10/3)   6.07 (6/2)   6.08 (9/3)
                    7.03.02 (25/5)   8.03.01 (9/2)   8.03.01 (16/2)   10.01.02 (24/2)   10.01.02 (31/2)   10.01.03 (19)   10.01.03 (22)   12.05.05 (5/2)
                    12.05.05 (7/2)   A.04.02 (67)   A.10.08 (26/3)   A.10.09 (40/1)   F.03.02 (71)  
AI12-0430-1/02   2021-05-28 -- Example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 21-05-24
    RM References:  3.03.01 (31/2)   3.06.01 (13)   3.08 (27)   3.08.01 (25)   4.03.05 (62/5)   4.03.05 (92/5)   4.03.05 (93/5)   9.04 (31)
                    H.07.01 (0)  
AI12-0431-1/03   2021-06-07 -- Confirming predicate shouldn't change semantics
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 21-06-07
    RM References:  H.07 (7/5)  
AI12-0432-1/03   2021-06-04 -- View conversions of assignments and predicate checks
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 21-06-04
    RM References:  3.02.04 (31/5)   4.06 (51.1/5)  
AI12-0433-1/02   2021-06-07 -- The Simple_Name of a root directory revisited
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 21-06-07
    RM References:  A.16 (74/5)  
AI12-0434-1/03   2021-06-07 -- Equality operators for container cursors
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 21-06-07
    RM References:  A.18.02 (87/2)   A.18.03 (59/2)   A.18.04 (18/2)   A.18.07 (17/2)   A.18.10 (76/3)  
AI12-0435-1/03   2021-06-07 -- Fixups from WG 9 Issue #143 - Image and streams
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 21-06-07
    RM References:  4.10 (6/5)   4.10 (15/5)   4.10 (26/5)   13.13.02 (38/4)  
AI12-0436-1/01   2021-05-29 -- Should parallel blocks include exception handlers?
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Revision 2022 21-06-04
    RM References:  5.06.01 (2/5)  
AI12-0437-1/02   2022-02-04 -- Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 22-01-07
    RM References:  1.02 (10/2)   3.04.01 (3/2)   3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)
                    4.03.05 (22/5)   13.01.01 (18.8/5)   A.18.02 (88.1/3)   A.18.03 (60.1/3)   A.18.03 (158/2)   A.18.04 (19.1/3)   A.18.04 (81/2)   A.18.07 (18.1/3)
                    A.18.07 (102/2)   A.18.10 (78/3)   B.03 (60.8/2)   G.01.01 (56)   G.01.01 (57)  
AI12-0438-1/02   2022-05-05 -- Rewordings to remove "must"
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  A.18.02 (237.7/5)   A.18.03 (151.6/5)   A.18.04 (75.7/5)
                    A.18.07 (98.18/5)   A.18.10 (218.6/5)   C.07.02 (30/2)  
AI12-0439-1/03   2022-06-13 -- Rewordings to replace "might" or "could" with "can" or "may"
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  3.03.01 (11.1/3)   3.03.01 (13/3)   3.03.01 (17)   3.03.01 (21/3)   3.05.07 (10)   3.07.01 (12)   3.10.02 (30)   4.06 (55)
                    4.06 (56/4)   5.02 (11)   5.02 (12)   6.01.02 (1/5)   6.01.02 (19/5)   6.04.01 (12)   6.05 (5.12/5)   7.03.01 (7)
                    7.06 (17.1/3)   8 (2/3)   9.05 (21/5)   9.05.01 (17)   9.07.02 (1/2)   9.07.03 (1/2)   10.02 (2)   10.02 (24)
                    11.04.02 (23.1/3)   13.11.01 (3/3)   13.11.01 (4/3)   13.11.01 (5/3)   13.13.02 (34/3)   13.14 (7.2/5)   A (3/5)   A.03.02 (32.6/5)
                    A.03.05 (51.2/5)   A.16 (125/3)   A.18 (2.1/5)   A.18.02 (237.6/5)   A.18.03 (151.5/5)   A.18.04 (75.5/5)   A.18.07 (96.17/5)   A.18.10 (218.5/5)
                    B.04 (4)   C.06 (20/5)   D.02.06 (1/2)   D.08 (36/3)   D.10 (10.2/5)   H (4)   H.02 (1)   H.07 (7/5)
                    H.07.01 (13/5)  
AI12-0440-1/03   2022-06-13 -- Rewordings of notes to replace other words with "can"
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  1.01.03 (22)   2.07 (6)   2.09 (3)   3.02.02 (13)   3.09.04 (19/2)   3.09.04 (27/2)   3.10.02 (37/2)   4.03.03 (33/5)
                    4.07 (5)   4.08 (14)   5.04 (14)   6.02 (15/4)   6.04 (31)   6.06 (7)   6.07 (7/2)   7.03.01 (10)
                    7.03.01 (19)   7.05 (21)   8.05.05 (5)   9 (11/5)   9.03 (12)   9.05.01 (19/5)   9.05.01 (20)   9.05.01 (23/5)
                    9.05.02 (29/2)   9.05.02 (30)   9.06 (33)   9.07.03 (4)   10.01.02 (32/5)   10.01.03 (22/5)   10.02 (31)   10.02 (32)
                    11.04.03 (1)   11.04.03 (11)   13.08 (9)   13.09.02 (12/4)   13.11 (35)   13.11 (38/3)   13.11.03 (9/3)   13.11.04 (34/3)
                    A.03.05 (63/3)   A.07 (16)   A.10.05 (52)   A.18.02 (263/2)   B.01 (42/3)   B.01 (44/3)   B.03.01 (58)   B.03.01 (59)
                    B.04 (100)   C.03.01 (22/3)   C.06 (26/5)   D.01 (29/3)   D.08 (50/3)   D.08 (50/3)   E (7)   E.02.02 (20/3)
                    H (6)   H.01 (9)   H.04 (28/2)   H.06 (17/2)   J.10 (8/2)   J.15.01 (6/3)  
AI12-0441-1/04   2022-05-12 -- Introductory wording changes
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  1.01 (2/3)   1.01 (3/4)   1.01.03 (0)   1.01.03 (16)   1.02 (2)   1.02 (3/5)   1.02 (4/2)
                    1.02 (5)   1.02 (5.1/3)   1.02 (6/3)   1.02 (7/3)   1.02 (9/3)   1.02 (10/2)   1.02 (11/5)   1.02.01 (0)  
AI12-0442-1/03   2022-05-25 -- Rewordings of notes
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  3.04 (34)   3.05 (58)   3.05.05 (12)   3.05.09 (22)   3.05.09 (24)   3.06.01 (12)   3.09 (27)   3.09.03 (16)
                    3.09.04 (26/2)   3.09.04 (33/2)   3.10.02 (39)   4.03.05 (85/5)   4.07 (9)   4.08 (15/3)   5.01 (18/5)   5.02.01 (8/5)
                    5.05 (14)   6.01.01 (43/3)   6.01.02 (44/5)   7.03 (18)   7.03 (20/2)   7.03 (20.1/2)   7.05 (9/3)   7.06.01 (24)
                    8.01 (18)   8.05 (4)   9.01 (21/2)   9.02 (8)   9.05.03 (29)   9.06.01 (90/5)   9.07.04 (13)   9.08 (22)
                    9.09 (7)   9.09 (8)   10.01.01 (27)   10.01.04 (9)   10.02 (34)   11.04.02 (28/2)   11.05 (29)   12.05.01 (5.1/4)
                    12.05.01 (6/3)   12.05.01 (24/2)   12.05.01 (25)   12.05.01 (26)   12.05.02 (9)   12.06 (11)   12.06 (16.1/2)   13.04 (11/5)
                    13.09.02 (14/2)   13.11 (26)   13.11.04 (33/3)   13.11.04 (35/3)   13.13.02 (57)   A.04.03 (107/3)   A.05.02 (50)   A.16 (127/2)
                    A.16 (131/2)   A.16.01 (37/2)   A.18.03 (164/2)   B.03.01 (60)   B.04 (112)   C.03.01 (23/2)   C.07.02 (31)   C.07.02 (32)
                    D.02.05 (18/2)   D.03 (21)   D.05.01 (19)   E.02.02 (18)   E.04.02 (12)   H.05 (7/2)   M (1/3)   M.01 (1/2)
                    M.02 (1/2)   M.03 (1/2)  
AI12-0443-1/03   2022-06-01 -- Convert the glossary into a separate Terms and Definitions clause
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  1.03 (0)   N (0)  
AI12-0444-1/03   2022-05-05 -- Rewordings to remove "need not"
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  1.01.05 (8)   1.01.05 (10)   2.01 (4/5)   3.05.04 (5)   3.05.04 (24)   3.05.04 (25)   3.05.04 (26)   3.05.06 (7/5)
                    3.05.06 (8/5)   3.05.07 (5)   3.05.07 (16)   3.06 (15)   3.09.03 (6/4)   6.01.02 (41/5)   6.03 (4)   7.04 (8/3)
                    7.06 (19/3)   7.06 (21/3)   9.05.03 (22)   9.05.03 (23/4)   9.05.03 (25)   9.06 (31)   9.08 (3)   9.10.01 (25/5)
                    10.01.03 (11)   10.02.01 (11.2/5)   11.04.02 (27/3)   11.06 (5)   12.05.01 (15)   13.01 (13/5)   13.01 (22/3)   13.01 (23/5)
                    13.01 (24/3)   13.01 (25/3)   13.01 (26/3)   13.01 (27/3)   13.01 (28/3)   13.02 (8/4)   13.03 (31/2)   13.03 (32/2)
                    13.03 (32.1/2)   13.03 (35.2/2)   13.03 (56.2/2)   13.03 (56.3/2)   13.03 (72)   13.04 (10)   13.05.01 (22)   13.11 (25.4/2)
                    13.12.01 (7/2)   13.13.01 (36/5)   A.04.12 (1/5)   A.05.01 (48)   A.10 (8)   A.10.08 (23)   A.10.09 (36)   A.10.09 (37)
                    A.13 (16)   B.01 (41/4)   B.03 (62.1/3)   C.03.02 (24/5)   C.07.02 (28)   D.02.02 (17/2)   D.02.02 (18/2)   D.03 (15/2)
                    D.04 (15/2)   D.04.01 (8/5)   D.11 (10)   D.14 (28/2)   E.01 (13)   E.02.03 (20/5)   E.05 (27)   G.01.01 (54)
                    G.01.02 (46)   G.02 (3)   G.03.01 (87/2)   G.03.02 (156/2)   G.03.02 (157/2)   H.07.01 (14/5)  
AI12-0445-1/05   2022-05-25 -- Rewordings of normative material
    Priority: Critical   Difficulty: Medium
    Class: Presentation                Status: Revision 2022 22-05-05
    RM References:  3.02 (8)   3.04.01 (6/2)   3.10.02 (20)   5.05.03 (21/5)   5.05.03 (27/5)   5.05.03 (28/5)   5.05.03 (29/5)   6.01.02 (18/5)
                    7.06.01 (16/2)   9.06.01 (82/2)   9.08 (20/3)   10.01.01 (24)   10.01.04 (2)   11.01 (6)   11.04.02 (26/3)   12.05.01 (1/3)
                    13.01 (7/2)   13.03 (37/2)   13.03 (55)   13.03 (58.13/5)   13.06 (1/3)   13.06 (2/5)   13.11 (21.6/3)   13.11 (22)
                    13.11.02 (9/3)   13.11.03 (5.2/4)   13.11.04 (19/3)   13.13.02 (56/3)   13.13.02 (56.1/3)   A.01 (51)   A.04.02 (1)   A.04.04 (1)
                    A.04.05 (1)   A.05.02 (29/3)   A.05.02 (40.1/1)   A.06 (1/2)   A.10.04 (1)   A.10.06 (7)   A.13 (1)   A.18.09 (74.2/5)
                    A.18.09 (74.8/5)   A.18.09 (74.9/5)   A.18.32 (16/5)   B.01 (3)   B.03.02 (2)   C.03 (9)   D.09 (12)   D.09 (13)
                    D.15 (1/3)   G (4)  
AI12-0446-1/02   2022-09-08 -- Additional Wording improvements
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 22-09-08
    RM References:  1.01.02 (2)   1.01.02 (7)
                    1.01.02 (17)   6.05 (2.1/5)   9.01 (3/3)   12.05.01 (3/2)   A.19 (9/3)   A.19 (10/3)   A.19 (11/3)   A.19 (12/3)  
AI12-0447-1/03   2023-03-01 -- More rewordings of notes
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 22-12-14
    RM References:  3.09 (29)   3.09.01 (8)   3.09.01 (9)   3.09.03 (12)   3.10.01 (13)   4.01.02 (8)   4.01.04 (17/2)   4.03.01 (21)
                    4.03.02 (9)   9.07.01 (22)   10.02.01 (27)   10.02.01 (28)   11.04.02 (28/5)   12.01 (12)   12.05.01 (28)   13.11.04 (33/5)
                    A.05.02 (50/5)   A.16 (131/5)   C.03 (29)   D.03 (20)   D.05.01 (18/3)   H.03.02 (9/2)   H.03.02 (11)  
AI12-0448-1/02   2022-12-13 -- Fixes for Terms and Definitions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 22-12-09
    RM References:  10.02 (2/5)   10.02 (3)   10.02 (4)   10.02 (5)   10.02 (6/2)   10.02 (6.1/2)   10.02 (9)  
AI12-0449-1/03   2022-12-28 -- Appearance of cross-references
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 22-12-20
    RM References:  3.02.01 (6)   3.02.01 (9)   3.03.01 (6/3)   3.03.02 (4/3)   3.05.02 (9/3)   3.05.05 (15)   3.06.02 (17)   3.07.01 (14/3)
                    3.11.01 (10)   4.05.10 (21/5)   4.06 (57/4)   4.07 (4/4)   5 (2/3)   5.01 (1/5)   5.02 (14/3)   5.02.01 (5/5)
                    5.05 (8.1/5)   5.06.01 (5/5)   6.01 (10/3)   6.05 (22/5)   7.03 (9)   9.07.01 (20/3)   9.08 (24)   10.02 (33/5)
                    12.03 (28)   13.10 (4)   A.03.05 (64/3)   A.07 (13/2)   A.07 (14/3)   A.08.02 (1)   A.10 (1/3)   A.10 (2/3)
                    A.10.02 (1)   A.10.06 (11)   A.12.01 (28/4)   A.18 (6/4)   A.18 (7/4)   B.01 (47)   F (5/2)   M.01 (2/2)
                    M.02 (2/2)  
AI12-0450-1/01   2022-12-01 -- Update references to standards
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Revision 2022 22-12-06
    RM References:  1.01.04 (14.2/5)   1.02 (4.1/3)   1.02 (8/5)   1.02.01 (5/5)   1.02.01 (6/5)   1.02.01 (8/5)   1.02.01 (9/5)   1.02.01 (10/5)
                    2.01 (1/5)   2.01 (3.1/5)   2.01 (4/5)   2.01 (4.1/5)   2.01 (5/5)   2.01 (15/5)   2.03 (4.1/5)   2.03 (5/5)
                    3.05.02 (2/5)   3.05.02 (3/5)   3.05.02 (4/5)   A.01 (36.1/5)   A.01 (36.2/5)   A.03.02 (32.6/5)   A.03.05 (33.2/5)   A.03.05 (51.2/5)
                    A.03.05 (55/5)   A.03.05 (59/5)   A.03.05 (61.2/5)   A.03.05 (63/5)   A.04.06 (8/3)   A.04.10 (3/5)   A.19 (12/5)   B.03 (39.1/2)
                    B.05 (21/5)   F.03.03 (46)   F.03.03 (47)   F.03.03 (48)   F.03.03 (49)   F.03.03 (50)   F.03.03 (51)   F.03.03 (52)  
AI12-0451-1/03   2022-12-15 -- Still more changes to wording
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 22-12-14
    RM References:  3.02 (2/2)   3.10.02 (37/5)   3.10.02 (38)   4.03.01 (19/5)   7.03.01 (5.3/5)   11.04 (8)   D.08 (31)   F.03.02 (19)
                    F.03.02 (20)   F.03.02 (41)   F.03.02 (44)   G.02.04 (11/2)   G.02.04 (13)   G.02.06 (6/2)   G.02.06 (7/1)  
AI12-0452-1/01   2022-12-02 -- Notes on examples is not a thing
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 22-12-02
    RM References:  3.09.03 (16/5)   4.01.01 (10)   5.02 (28)   7.03.01 (18)   7.05 (21/5)   13.03 (85)   13.05.01 (31)   A.05.02 (61)
                    E.04.02 (7)  
AI12-0453-1/02   2022-12-15 -- Remove "i.e." and "e.g."
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 22-12-15
    RM References:  A.05.01 (35)   A.05.01 (47)   A.05.03 (32)   A.05.03 (35)   B.03.03 (17/2)   C.01 (12)   C.01 (13)   C.01 (14)
                    C.01 (15)   C.03 (16)   C.03 (20)   G.02.01 (14)   G.02.03 (6)   G.02.03 (20)   G.02.03 (21)   G.02.05 (4)
                    G.02.06 (2)   G.02.06 (3)  
AI12-0454-1/01   2023-03-07 -- Last second editorial fixes for Ada 2022
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Revision 2022 23-03-30
    RM References:  1.02 (4.1/5)   1.02.01 (6/5)   1.02.01 (9/5)   2.01 (1/5)   C.07.01 (9)   D.02 (1/3)   D.02.01 (2/2)