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). Each AI is followed by an index of the discussions and/or voting that occurred at meetings or by Letter Ballots. The index includes a link directly to the discussion in the appropriate set of minutes. For issues that probably will not be considered by the ARG, look in the Ada Commentaries Index. For Ada 95 issues that have or will be considered by the ARG, look in the Ada 95 Issues Index. For Ada 2005 issues that have or will be considered by the ARG, look in the Ada 2005 Issues Index.
The Ada 2012 Issues are indexed in numeric order, by the class of issue, by the current status, and by the section referenced.

Ada 2012 Issues listed in numeric order

Including discussion and voting information

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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 6-0-3 
        Meeting 48,  Dec 2012 - Intent: 9-0-1 
AI12-0002-1/04   2016-08-29 --  RCI units do not allow specification of user-defined stream-oriented attributes
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-22
    RM References:  E.02.03 (15)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 11-0-0
        Meeting 47,  Jun 2012 - Discussed
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)  
    Discussions and/or Voting: 
        Ltr. Ballot, Feb 2015 - Approve AI: 11-1-2
        Meeting 52,  Oct 2014 - Intent: 7-0-0 
        Meeting 50,  Nov 2013 - Intent: 6-1-0 
        Meeting 48,  Dec 2012 - Intent: 9-1-0 
        Meeting 47,  Jun 2012 - Intent: 7-0-0 
AI12-0004-1/04   2016-11-11 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  2.01 (4.1/2)   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)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI: 5-0-4 
        Meeting 55,  Jun 2016 - Intent: 11-0-1
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)  
    Discussions and/or Voting: 
        Meeting 45,  Nov 2011 - Approve AI w/ changes: 7-0-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)  
    Discussions and/or Voting: 
        Meeting 45,  Nov 2011 - Approve AI w/ changes: 5-0-4 
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)  
    Discussions and/or Voting: 
        Meeting 45,  Nov 2011 - Approve AI w/ changes: 6-0-2 
AI12-0009-1/06   2016-06-07 --  Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)
                    A.17 (25/2)   A.17 (28/2)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Intent: 6-0-2 
        Meeting 53,  Jun 2015 - Discussed
        Meeting 45,  Nov 2011 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 45,  Nov 2011 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 45,  Nov 2011 - Approve AI w/ changes: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 45,  Nov 2011 - Approve AI w/ changes: 7-0-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)  
    Discussions and/or Voting: 
        Meeting 45,  Nov 2011 - Approve AI w/ changes: 7-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 8-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 4-1-2 
        Meeting 53,  Jun 2015 - Discussed
        Meeting 45,  Nov 2011 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Intent: 9-0-0 
        Meeting 48,  Dec 2012 - Intent: 9-0-1 
        Meeting 47,  Jun 2012 - Discussed
        Meeting 45,  Nov 2011 - Discussed
AI12-0017-1/01   2012-01-25 --  Compile-time-checked exception specifications
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  11.04.03 (0)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Discussed
AI12-0018-1/02   2014-12-04 --  Entity versioning
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  A.16 (112/3)   A.17 (23/3)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 9-0-0 
AI12-0020-1/01   2012-02-14 --  'Image for all types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     12-02-14
    RM References:  6.01.01 (0/3)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Discussed
        Meeting 47,  Jun 2012 - Discussed
AI12-0021-1/01   2012-03-13 --  Additional internationalization of Ada
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-02-25
    RM References:  A.16 (0/3)  
AI12-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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 9-0-1 
        Meeting 47,  Jun 2012 - Approve AI w/ changes: 9-0-0 
AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-04-20
    RM References:  6.01.01 (0/3)  
    Discussions and/or Voting: 
        Meeting 47,  Jun 2012 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 7-0-1 
        Meeting 47,  Jun 2012 - Hold AI
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)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 4-0-4 
        Meeting 47,  Jun 2012 - Hold AI
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 7-0-1 
        Meeting 47,  Jun 2012 - Intent: 7-0-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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 8-0-2 
        Meeting 48,  Dec 2012 - Intent: 8-0-2 
        Meeting 47,  Jun 2012 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 9-0-2 
        Meeting 47,  Jun 2012 - Intent: 9-0-0 
AI12-0029-1/02   2012-06-28 --  Relax requirement for functions to have return statements
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-0-0) 12-06-16
    RM References:  6.05 (5/3)  
    Discussions and/or Voting: 
        Meeting 47,  Jun 2012 - No_Action: 8-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 8-0-0 
        Meeting 49,  Jun 2013 - Intent: 6-0-3 
        Meeting 47,  Jun 2012 - Intent: 7-0-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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 8-0-3 
        Meeting 50,  Nov 2013 - Discussed
        Meeting 49,  Jun 2013 - Intent: 5-0-2 
        Meeting 47,  Jun 2012 - Intent: 8-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 7-0-0 
        Meeting 48,  Dec 2012 - Intent: 8-0-2 
        Meeting 47,  Jun 2012 - Intent: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 7-0-0 
        Meeting 49,  Jun 2013 - Intent: 7-0-2 
        Meeting 49,  Jun 2013 - Discussed
        Meeting 48,  Dec 2012 - Discussed
        Meeting 47,  Jun 2012 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 5-0-2 
        Meeting 47,  Jun 2012 - Intent: 6-0-5 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
        Meeting 48,  Dec 2012 - Intent: 11-0-0
        Meeting 47,  Jun 2012 - Intent: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 9-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 7-0-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)  
    Discussions and/or Voting: 
        Meeting 52B, Feb 2015 - Approve AI: 7-0-3 
        Meeting 52,  Oct 2014 - Intent: 6-0-2 
        Meeting 51,  Jun 2014 - Discussed
        Meeting 50,  Nov 2013 - Discussed
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 5-0-4 
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 6-0-2 
        Meeting 50,  Nov 2013 - Promising AI: 11-0-0
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 9-0-0 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 6-0-2 
        Meeting 50,  Nov 2013 - Discussed
        Meeting 50,  Nov 2013 - Discussed
        Meeting 49,  Jun 2013 - Discussed
        Meeting 49,  Jun 2013 - Discussed
        Meeting 48,  Dec 2012 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 10-0-1
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
        Meeting 49,  Jun 2013 - Intent: 7-0-2 
        Meeting 48,  Dec 2012 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 11-0-0
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 8-0-2 
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)  
    Discussions and/or Voting: 
        Ltr. Ballot, Feb 2013 - Approve AI: 12-0-2
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 11-0-0
        Meeting 48,  Dec 2012 - Intent: 9-0-1 
AI12-0048-1/03   2013-05-08 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-01-03
    RM References:  D.16.01 (30/3)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 8-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 7-0-0 
        Meeting 49,  Jun 2013 - Intent: 6-0-1 
        Meeting 48,  Dec 2012 - Intent: 11-0-0
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - Approve AI w/ changes: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 7-0-4 
        Meeting 48,  Dec 2012 - Intent: 7-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 48,  Dec 2012 - No_Action: 10-0-1
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
    Discussions and/or Voting: 
        Ltr. Ballot, Feb 2015 - Approve AI: 10-2-2
        Meeting 49,  Jun 2013 - No_Action: 8-0-0 
        Meeting 48,  Dec 2012 - Discussed
        Meeting 48,  Dec 2012 - Intent: 8-0-3 
AI12-0054-2/05   2013-10-07 --  Aspect Predicate_Failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-05
    RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
    Alternatives:   AI12-0054-1
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 8-0-0 
        Meeting 49,  Jun 2013 - Intent: 7-0-2 
        Meeting 49,  Jun 2013 - Intent: 8-0-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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 9-0-0 
        Meeting 50,  Nov 2013 - Discussed
        Meeting 49,  Jun 2013 - Intent: 7-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 5-0-4 
AI12-0058-1/05   2016-10-08 --  The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-10-27
    RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 9-0-0 
        Meeting 49,  Jun 2013 - Discussed
AI12-0059-1/10   2016-04-25 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/3)   13.03 (50/2)   13.03 (51)   13.03 (52)   13.03 (58)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 8-0-0 
        Meeting 54,  Oct 2015 - Discussed
        Meeting 53,  Jun 2015 - Intent: 7-0-2 
        Meeting 52,  Oct 2014 - Discussed
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 5-0-2 
AI12-0060-1/00   2013-01-31 --  Overriding indicators on protected subprogram bodies
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Received      12-07-01
    RM References:  8.03.01 (3/2)  
AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 10-0-0
        Meeting 50,  Nov 2013 - Intent: 9-0-2 
        Meeting 49,  Jun 2013 - Intent: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
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   
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 7-0-1 
        Meeting 52,  Oct 2014 - Hold AI: 8-0-0 
AI12-0064-1/05   2015-10-07 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-04-22
    RM References:  9.05.01 (11)   9.05.01 (18)  
    Alternatives:   AI12-0064-2
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Intent: 7-0-1 
        Meeting 53,  Jun 2015 - Intent: 10-0-0
        Meeting 52,  Oct 2014 - Discussed
        Meeting 51,  Jun 2014 - Intent: 9-0-0 
AI12-0064-2/06   2017-01-11 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     15-12-18
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Intent: 9-0-0 
        Meeting 55,  Jun 2016 - Intent: 11-0-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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 6-0-5 
        Meeting 50,  Nov 2013 - Discussed
AI12-0066-1/01   2013-12-18 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI: 7-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 2-0-6 
        Meeting 49,  Jun 2013 - Intent: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 6-0-3 
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 11-0-0
        Meeting 50,  Nov 2013 - Intent: 9-0-1 
        Meeting 49,  Jun 2013 - Intent: 7-0-0 
        Meeting 49,  Jun 2013 - Intent: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 7-0-0 
        Meeting 49,  Jun 2013 - Intent: 8-0-0 
        Meeting 49,  Jun 2013 - Intent: 6-0-3 
AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-07-05
    RM References:  D.13 (6/3)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 4-0-3 
        Meeting 50,  Nov 2013 - Discussed
        Meeting 49,  Jun 2013 - Intent: 6-0-2 
        Meeting 49,  Jun 2013 - Intent: 8-0-1 
AI12-0075-1/04   2015-10-17 --  Static expression functions
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-06-09
    RM References:  4.09 (6)   4.09 (18)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Discussed
        Meeting 54,  Oct 2015 - Intent: 5-3-0 
        Meeting 53,  Jun 2015 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 7-0-0 
        Meeting 49,  Jun 2013 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 49,  Jun 2013 - Approve AI w/ changes: 9-0-0 
AI12-0079-1/03   2016-06-05 --  Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     13-06-28
    RM References:  6.01.02 (0)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Discussed
        Meeting 53,  Jun 2015 - Discussed
        Meeting 51,  Jun 2014 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 8-0-2 
AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Hold          13-11-17 (8-0-0)
    RM References:  3.09.03 (6/2)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Hold AI: 8-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 10-0-0
AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 7-1-1 
        Meeting 52A, Jan 2015 - Promising AI: 9-0-1 
        Meeting 52,  Oct 2014 - Intent: 7-1-0 
        Meeting 50,  Nov 2013 - Intent: 7-1-0 
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)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 7-0-1 
        Meeting 53,  Jun 2015 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 5-0-5 
AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-12-18
    RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI w/ changes: 10-0-1
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-0 
        Meeting 51,  Jun 2014 - Intent: 9-0-0 
        Meeting 50,  Nov 2013 - Discussed
        Meeting 50,  Nov 2013 - Intent: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 5-0-2 
        Meeting 52,  Oct 2014 - Hold AI: 8-0-0 
        Meeting 50,  Nov 2013 - Discussed
AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  1.01.05 (4)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 50,  Nov 2013 - Approve AI: 11-0-0
        Meeting 50,  Nov 2013 - Intent: 10-0-1
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
        Meeting 50,  Nov 2013 - Intent: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI: 8-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 6-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI: 9-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 6-0-2 
        Meeting 51,  Jun 2014 - Intent: 6-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
        Meeting 51,  Jun 2014 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - No_Action: 8-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
AI12-0111-1/04   2016-10-02 --  Tampering considered too expensive
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (97.1/3)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Intent: 9-0-0 
        Meeting 55,  Jun 2016 - Discussed
        Meeting 54,  Oct 2015 - Discussed
        Meeting 52,  Oct 2014 - Discussed
        Meeting 51,  Jun 2014 - Discussed
AI12-0112-1/01   2014-05-15 --  Preconditions for container operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (99/3)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 5-0-3 
        Meeting 51,  Jun 2014 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 6-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
        Meeting 51,  Jun 2014 - Promising AI: 9-0-0 
AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  4.09 (38/2)  
AI12-0119-1/02   2016-10-03 --  Parallel operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  5.05.02 (2/3)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Discussed
        Meeting 51,  Jun 2014 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 51,  Jun 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 6-0-1 
        Meeting 52,  Oct 2014 - Hold AI: 8-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 8-0-0 
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
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - No_Action: 12-0-0
        Meeting 53,  Jun 2015 - Discussed
        Meeting 52,  Oct 2014 - Discussed
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
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - No_Action: 10-0-2
AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI: 8-0-1 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 10-0-2
        Meeting 54,  Oct 2015 - Intent: 8-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 5-0-3 
AI12-0127-1/06   2016-10-06 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-08-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Intent: 9-0-0 
        Meeting 55,  Jun 2016 - Intent: 12-0-0
        Meeting 53,  Jun 2015 - Discussed
AI12-0128-1/09   2016-10-02 --  Exact size access to parts of composite atomic objects
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-04
    RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI: 9-0-3 
        Meeting 54,  Oct 2015 - Intent: 5-0-2 
        Meeting 54,  Oct 2015 - Intent: 6-0-2 
        Meeting 53,  Jun 2015 - Discussed
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)  
    Discussions and/or Voting: 
        Meeting 52C, Mar 2015 - Approve AI w/ changes: 9-0-2 
        Meeting 52B, Feb 2015 - Intent: 7-0-3 
        Meeting 52A, Jan 2015 - Intent: 10-0-0
        Meeting 52,  Oct 2014 - Intent: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 6-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 8-0-0 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52B, Feb 2015 - Approve AI w/ changes: 10-0-0
        Meeting 52A, Jan 2015 - Discussed
        Meeting 52,  Oct 2014 - Intent: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52,  Oct 2014 - Approve AI w/ changes: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52C, Mar 2015 - Approve AI w/ changes: 10-0-1
        Meeting 52B, Feb 2015 - Intent: 9-0-1 
        Meeting 52A, Jan 2015 - Intent: 7-0-2 
        Meeting 52,  Oct 2014 - Intent: 7-0-1 
        Meeting 52,  Oct 2014 - Discussed
AI12-0139-1/03   2016-06-09 --  Thread-safe Ada libraries
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  A (3/4)   A.18 (5)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Discussed
        Meeting 55,  Jun 2016 - Discussed
        Meeting 54,  Oct 2015 - Discussed
        Meeting 53,  Jun 2015 - Discussed
AI12-0140-1/05   2016-10-02 --  Access to unconstrained partial view when full view is constrained
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  3.02 (7/2)   7.03.01 (5/1)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 9-0-2 
        Meeting 53,  Jun 2015 - Discussed
        Meeting 52C, Mar 2015 - Discussed
        Meeting 52,  Oct 2014 - Discussed
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: 
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI w/ changes: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI w/ changes: 8-0-1 
        Meeting 52A, Jan 2015 - Approve AI w/ changes: 9-0-0 
AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: WG9 Approved  16-06-13
    RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 5-0-2 
        Meeting 52A, Jan 2015 - Promising AI: 9-0-0 
AI12-0144-1/07   2016-01-28 --  Make Discrete_Random more flexible
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  A.05.02 (20)   A.05.02 (32)   A.05.02 (41)   A.05.02 (42)  
    Discussions and/or Voting: 
        Ltr. Ballot, Feb 2016 - Approve AI: 10-0-2
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 7-0-0 
        Meeting 52B, Feb 2015 - Promising AI: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI w/ changes: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI w/ changes: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI w/ changes: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52A, Jan 2015 - Approve AI w/ changes: 9-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52B, Feb 2015 - Approve AI w/ changes: 10-0-0
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)  
    Discussions and/or Voting: 
        Meeting 52B, Feb 2015 - Approve AI w/ changes: 8-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 52B, Feb 2015 - No_Action: 8-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 52B, Feb 2015 - Approve AI w/ changes: 10-0-0
AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 6-0-3 
        Meeting 52C, Mar 2015 - Discussed
        Meeting 52B, Feb 2015 - Intent: 10-0-0
AI12-0156-1/04   2016-04-11 --  Use subtype_indication in generalized iterators
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 6-1-1 
        Meeting 53,  Jun 2015 - Intent: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 52C, Mar 2015 - Approve AI w/ changes: 9-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 52C, Mar 2015 - Approve AI w/ changes: 8-0-2 
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)  
    Discussions and/or Voting: 
        Meeting 52C, Mar 2015 - Approve AI w/ changes: 11-0-0
AI12-0160-1/03   2016-04-11 --  Adding an indexing aspect to an indexable container type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI: 8-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - No_Action: 8-0-0 
AI12-0162-1/03   2015-07-30 --  Memberships and Unchecked_Unions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (25/2)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 8-0-2 
AI12-0163-1/04   2016-04-21 --  Deterministic queue servicing for FIFO_Queueing
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 5-0-3 
        Meeting 53,  Jun 2015 - Discussed
AI12-0164-1/04   2016-11-14 --  Max_Entry_Queue_Length aspect for entries
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  D.04 (16)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 8-0-1 
        Meeting 54,  Oct 2015 - Discussed
        Meeting 54,  Oct 2015 - Intent: 5-1-2 
        Meeting 53,  Jun 2015 - Discussed
AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  12.06 (8.5/2)  
    Discussions and/or Voting: 
        Ltr. Ballot, Oct 2015 - Approve AI: 9-0-4 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 7-0-5 
AI12-0166-1/04   2016-03-22 --  External calls to protected functions that appear to be internal calls
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 8-0-1 
AI12-0167-1/03   2015-08-07 --  Type_Invariants and tagged-type View Conversions
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.03.02 (9/4)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 11-0-1
AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  13.14 (3/4)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 9-0-0 
AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  9.05.02 (5)  
    Discussions and/or Voting: 
        Meeting 53,  Jun 2015 - Approve AI w/ changes: 7-0-2 
AI12-0170-1/05   2016-10-02 --  Abstract subprogram calls in class-wide precondition expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18/4)   6.01.01 (18.2/4)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 9-0-2 
        Meeting 54,  Oct 2015 - Discussed
        Meeting 53,  Jun 2015 - Discussed
AI12-0171-1/03   2016-12-20 --  Ambiguity in Synchronous_Task_Control semantics
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  D.10 (11)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 8-0-1 
        Meeting 55,  Jun 2016 - Discussed
        Meeting 54,  Oct 2015 - Discussed
AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  7.05 (2.1/3)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI: 8-0-0 
AI12-0173-1/02   2015-11-17 --  Expression of an extended return statement
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  6.05 (3/2)   6.05 (5/3)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 8-0-0 
AI12-0174-1/02   2015-11-17 --  Aggregates of Unchecked_Unions using named notation
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  B.03.03 (9/3)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 8-0-0 
AI12-0175-1/05   2016-03-22 --  Preelaborable packages with address clauses
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  10.02.01 (7)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 8-0-0 
        Meeting 54,  Oct 2015 - Intent: 6-0-2 
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)  
    Discussions and/or Voting: 
        Ltr. Ballot, Feb 2016 - Approve AI: 10-0-0
        Meeting 54,  Oct 2015 - Approve AI: 7-0-1 
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)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - No_Action: 6-0-2 
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
    Discussions and/or Voting: 
        Meeting 54,  Oct 2015 - Approve AI w/ changes: 7-0-1 
AI12-0179-1/04   2016-11-11 --  Failure of postconditions of language-defined units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 10-0-0
        Meeting 55,  Jun 2016 - Intent: 9-1-1 
AI12-0180-1/03   2016-10-02 --  Using protected subprograms and entries within an invariant
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01.01 (12/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 10-0-1
AI12-0181-1/03   2016-07-11 --  Self-referencing representation aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-11
    RM References:  13.01 (9/4)   13.01 (9.1/4)   13.14 (19)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 9-0-2 
AI12-0182-1/02   2016-04-21 --  Pre'Class and protected operations
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (16/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI: 9-0-1 
AI12-0183-1/02   2016-12-15 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
    RM References:  D.04 (4)   D.04 (4)   D.04 (7/5)  
AI12-0184-1/03   2016-10-02 --  Long Long C Data Types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012  16-08-01
    RM References:  B.03 (71.3/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 11-0-1
AI12-0185-1/02   2016-07-21 --  Resolution of postcondition-specific attributes
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (7/4)   6.01.01 (8/3)   6.01.01 (26.10/4)   6.01.01 (29/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 11-0-0
AI12-0186-1/04   2016-11-10 --  Profile freezing for the Access attribute
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  13.14 (15)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 7-0-2 
        Meeting 56,  Oct 2016 - Intent: 6-0-4 
        Meeting 55,  Jun 2016 - Intent: 10-0-1
AI12-0187-1/03   2016-12-28 --  Stable properties of abstract data types
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  7.03.03 (0)   13.01.01 (4/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Intent: 9-0-2 
AI12-0188-1/01   2016-06-02 --  Add container iterator form supporting iteration over keys
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0189-1/03   2016-10-04 --  loop-body as anonymous procedure
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Intent: 9-1-2 
AI12-0190-1/03   2016-10-12 --  Anonymous functions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Discussed
AI12-0191-1/01   2016-06-06 --  Clarify "part" for type invariants
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-06-06
    RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Intent: 10-0-0
AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  3.03.01 (8.1/2)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 8-0-3 
AI12-0193-1/04   2016-12-21 --  Postcondition failure for a task entry
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  6.01.01 (26/4)   7.03.02 (20/3)   9.05.02 (24)   9.05.02 (25)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 9-0-1 
        Meeting 55,  Jun 2016 - Intent: 9-0-2 
AI12-0194-1/01   2016-06-06 --  Language-defined aspects and entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  13.01.01 (17/3)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI: 11-0-0
AI12-0195-1/03   2016-10-02 --  Inheriting body but overriding precondition or postcondition
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (38/4)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 6-0-5 
AI12-0196-1/07   2016-12-27 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 9-0-0 
        Meeting 55,  Jun 2016 - Intent: 10-0-2
AI12-0197-1/01   2016-06-07 --  Generator Functions
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-07
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-2  AI12-0197-3  AI12-0197-4
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Discussed
AI12-0197-2/02   2016-06-13 --  Passive tasks
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-12
    RM References:  9.01 (21)  
    Alternatives:   AI12-0197-1  AI12-0197-3  AI12-0197-4
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Discussed
AI12-0197-3/02   2016-10-06 --  generator functions
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-10-05
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-4
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Discussed
AI12-0197-4/00   2016-12-27 --  Coroutines and channels
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-27
    RM References:  9.11 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2  AI12-0197-3
AI12-0198-1/03   2016-10-02 --  Potentially unevaluated components of array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
    RM References:  6.01.01 (22.1/4)  
    Discussions and/or Voting: 
        Meeting 55,  Jun 2016 - Approve AI w/ changes: 11-0-0
AI12-0199-1/03   2016-11-14 --  Abstract subprogram calls in class-wide invariant expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  7.03.02 (5/4)   7.03.02 (8/3)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 7-0-2 
AI12-0200-1/04   2016-12-05 --  Improve reentrancy requirements for language-defined subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  A (3/4)   13.11.04 (21/3)   13.11.04 (31/3)  
    Discussions and/or Voting: 
        Ltr. Ballot, Dec 2016 - Approve AI: 10-1-1
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 9-0-1 
AI12-0201-1/01   2016-08-18 --  Missing operations of static string types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-08-18
    RM References:  4.09 (9)   4.09 (19)   4.09 (20)  
AI12-0202-1/01   2016-10-03 --  Tampering_Check
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-10-03
    RM References:  11.05 (20)  
AI12-0203-1/02   2016-11-10 --  Overriding a nonoverridable aspect
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012  16-11-10
    RM References:  4.01.05 (5.1/4)   4.01.05 (7/3)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 10-0-0
AI12-0204-1/02   2016-11-09 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  
    Discussions and/or Voting: 
        Meeting 56,  Oct 2016 - Approve AI w/ changes: 8-0-0 
AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-10-06
    RM References:  12.04 (6)   12.05 (2)   12.07 (2)  
AI12-0206-1/01   2016-11-14 --  Nonoverridable should allow arbitrary kinds of aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
    RM References:  13.01.01 (18.2/4)   13.01.01 (18.3/4)   13.01.01 (18.6/4)  
AI12-0207-1/02   2016-12-19 --  Convention of anonymous access-to-subprogram types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-12-15
    RM References:  6.03.01 (13.1/3)  
AI12-0208-1/00   2016-12-19 --  Predefined bignum support
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  A.20 (0)  
AI12-0209-1/00   2016-12-19 --  Refine definition of volatility
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-12-19
    RM References:  C.06 (8/3)  
AI12-0210-1/00   2016-12-19 --  Type Invariants and Generics
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-12-19
    RM References:  7.03.02 (17/4)   7.03.02 (20.1/4)  
AI12-0211-1/01   2016-12-20 --  Interface types and inherited nonoverridable aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     16-12-20
    RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  
AI12-0212-1/00   2016-12-27 --  Container aggregates
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Received      16-06-12
    RM References:  4.03.05 (0)  
AI12-0213-1/01   2016-12-28 --  Unify record syntax
    Priority: Very Low   Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-12-28
    RM References:  3.08 (3)   13.05.01 (2)  
AI12-0214-1/01   2016-01-09 --  Case pattern matching
    Priority: Very Low   Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  5.04 (4/3)  
AI12-0215-1/01   2017-01-09 --  Implicit instantiations
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     17-01-09
    RM References:  12.03.01 (0)  
AI12-0216-1/01   2017-01-09 --  6.4.1(6.16-17/3) goes too far
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     17-01-09
    RM References:  6.04.01 (6.17/3)  
AI12-0217-1/01   2017-01-09 --  6.1.1(27/3) should be less restrictive
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     17-01-09
    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: Work Item     17-01-10
    RM References:  13.05.03 (6)