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

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 2015  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/02   2012-06-06 --  RCI units should not allow types with user-defined stream attributes
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     11-06-16
    RM References:  E.02.03 (11/1)   E.02.03 (17)  
AI12-0003-1/05   2014-05-25 --  Default storage pool for storage pools
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-06-19
    RM References:  8.02 (11)   13.11.03 (3.1/3)   13.11.03 (4.1/3)   13.11.03 (4.2/3)   13.11.03 (6.2/3)  
AI12-0004-1/01   2011-11-08 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  2.01 (4.1/2)  
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/01   2011-11-08 --  Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  A.16 (112/3)   A.17 (23/3)  
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: Work Item     11-12-21
    RM References:  6.01.01 (0/3)  
AI12-0015-1/00   2011-12-30 --  Ada unit information
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-12-21
    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: Medium
    Class: Amendment                   Status: Work Item     12-01-25
    RM References:  11.04.03 (0)  
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)  
AI12-0019-1/01   2012-01-26 --  Generic formal record types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     12-01-26
    RM References:  12.05.06 (0)  
AI12-0020-1/01   2012-02-14 --  'Image for all types
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     12-02-14
    RM References:  6.01.01 (0/3)  
AI12-0021-1/01   2012-03-13 --  Additional internationalization of Ada
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     12-02-25
    RM References:  A.16 (0/3)  
AI12-0022-1/05   2013-05-08 --  Raise expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 2015  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: Work Item     12-04-20
    RM References:  6.01.01 (0/3)  
AI12-0024-1/01   2012-05-02 --  Compile-time detection of range and length errors
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Hold          12-06-15
    RM References:  4.06 (30)  
AI12-0025-1/01   2012-05-16 --  Allow 'Unchecked_Access on subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Hold          12-06-15
    RM References:  13.10 (3)  
AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     12-06-04
    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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  12-12-28
    RM References:  A.19 (4/3)  
AI12-0038-1/05   2014-10-13 --  Shared_Passive package restrictions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
    RM References:  E.02.01 (7/1)   E.02.01 (8/1)  
AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  12-12-31
    RM References:  5.05.02 (6/3)  
AI12-0048-1/03   2013-05-08 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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: Work Item     13-01-22
    RM References:  13.10 (3)  
AI12-0058-1/02   2013-05-20 --  The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     13-01-22
    RM References:  B.05   
AI12-0059-1/02   2014-06-19 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-01-30
    RM References:  13.03 (58)  
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/03   2014-05-19 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Work Item     13-01-31
    RM References:  4.03.03 (5/2)   4.03.03 (23)   3.01 (6/3)   3.03.01 (23/3)   8.06 (4.1/3)  
AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Corrigendum 2015  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: Hold          (8-0-0) 14-10-19
    RM References:  6.05.01   
AI12-0064-1/03   2014-10-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-04-22
    RM References:  9.05.01 (18)  
AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 2015  13-12-17
    RM References:  7.03.01 (5.2/3)  
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)   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 2015  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 2015  14-07-22
    RM References:  3.10.02 (7/3)  
AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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 2015  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 2015  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 2015  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 2015  14-07-23
    RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
AI12-0075-1/01   2013-06-09 --  Static expression functions
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-06-09
    RM References:  4.09 (6)   4.09 (18)  
AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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 2015  13-06-28
    RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
AI12-0079-1/01   2013-10-13 --  Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     13-06-28
    RM References:  7.03.02 (3/3)  
AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 2015  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 2015  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 2015  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          13-11-17 (8-0-0)
    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 2015  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 2015  13-12-11
    RM References:  E.02.02 (17/2)  
AI12-0086-1/01   2013-10-30 --  Aggregates and variant parts
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Work Item     13-10-30
    RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
AI12-0087-1/01   2013-10-31 --  Reading the default value of a subtype
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     13-10-31
    RM References:  3.05 (27)  
AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
    RM References:  A.04.11 (54/3)   A.04.11 (55/3)  
AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  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/05   2014-11-12 --  Pre- and Postconditions and requeues
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 2015  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: Hold          (8-0-0) 14-10-19
    RM References:  A.05.01 (5)  
AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  1.01.05 (4)  
AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 2015  13-12-11
    RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
AI12-0094-1/02   2014-11-12 --  access_definition should be a declarative region
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  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 2015  14-07-11
    RM References:  A.12.01 (5)  
AI12-0103-1/03   2014-11-13 --  Expression functions that are completions in package specifications
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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 2015  14-07-23
    RM References:  13.01.01 (18/3)  
AI12-0106-1/04   2014-11-13 --  Write'Class aspect
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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/02   2014-11-14 --  Representation of untagged derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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/01   2014-05-15 --  Tampering considered too expensive
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     14-05-15
    RM References:  A.18.02 (97.1/3)  
AI12-0112-1/01   2014-05-15 --  Preconditions for container operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (99/3)  
AI12-0113-1/03   2014-11-19 --  Class-wide preconditions and statically bound calls
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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: Work Item     14-06-19
    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 2015  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 2015  14-11-17
    RM References:  D.07 (10.8/3)  
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/01   2014-10-13 --  Parallel operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  5.05.02 (2/3)  
AI12-0120-1/04   2014-10-02 --  Legality and exceptions of generalized loop iteration
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
    RM References:  5.05.02 (6.1/4)   5.05.02 (10/3)   5.05.02 (13/3)  
AI12-0121-1/02   2014-11-13 --  Stream-oriented aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  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: Work Item     14-08-11
    RM References:  3.05 (15)  
AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Hold          (8-0-0) 14-10-19
    RM References:  3.02.02 (12)  
AI12-0124-1/03   2014-11-14 --  Add Object'Image
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-14
    RM References:  3.05 (55/3)  
AI12-0125-1/02   2014-12-04 --  Add Object'Inc and 'Dec
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-08-11
    RM References:  3.05 (31/2)  
AI12-0126-1/01   2014-08-21 --  Add Interfaces.Shifting
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-08-21
    RM References:  B.02 (9)  
AI12-0127-1/01   2014-08-21 --  Partial aggregate notation
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-08-21
    RM References:  A.03.04   
AI12-0128-1/02   2014-10-06 --  Exact size access to parts of composite atomic objects
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-10-03
    RM References:  C.06 (15)   C.06 (20)   C.06 (22/2)  
AI12-0129-1/02   2014-12-08 --  Make protected objects more protecting
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-10-03
    RM References:  C.08   
AI12-0130-1/02   2014-11-14 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  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 2015  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 2015  14-11-13
    RM References:  13.14 (5/3)  
AI12-0133-1/03   2014-11-13 --  Type invariants and default initialized objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-13
    RM References:  7.03.02 (10.3/3)  
AI12-0134-1/02   2014-11-13 --  Error in Storage Pool example
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 2015  14-11-13
    RM References:  13.11.06 (11/3)  
AI12-0135-1/01   2014-10-09 --  Enumeration types should be eligible for convention C
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-10-09
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)  
AI12-0136-1/02   2014-11-18 --  Language-defined packages and aspect Default_Storage_Pool
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-18
    RM References:  13.11.03 (5/3)  
AI12-0137-1/02   2014-11-17 --  3.10.1 and class-wide types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-17
    RM References:  3.10.01 (2.1/2)  
AI12-0138-1/03   2014-12-08 --  Iterators of formal derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     14-10-13
    RM References:  13.01.01 (34/3)   4.01.05 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   5.05.01 (21/3)  
AI12-0139-1/00   2014-10-13 --  Containers and multitasking
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  A (3/4)   A.18 (5)  
AI12-0140-1/01   2014-10-13 --  Access to unconstrained partial view when full view is constrained
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     14-10-13
    RM References:  3.04 (7/3)   3.04 (8/2)  
AI12-0141-1/01   2014-12-04 --  Add Raise Expression to Introduction
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 2015  14-12-04
    RM References: 
AI12-0142-1/01   2014-12-04 --  Bad subpool implementations
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     14-12-04
    RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
AI12-0143-1/01   2014-12-04 --  Using a entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     14-12-04
    RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
AI12-0144-1/01   2014-12-04 --  Make Discrete_Random more flexible
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     14-12-04
    RM References:  A.05.02 (20)   A.05.02 (32)