This is an index of all Ada 2012 Issues.
Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard.
Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives
share the AI number, but have a different alternative number (following the second dash).
For issues that probably will not be considered by the ARG, look in the
Ada Commentaries Index.
For Ada 95 issues that have or will be considered by the ARG, look in the
Ada 95 Issues Index.
For Ada 2005 issues that have or will be considered by the ARG, look in the
Ada 2005 Issues Index.
For Ada 2022 issues that have or will be considered by the ARG, look in the
Ada 2022 Issues Index.
The Ada 2012 Issues are indexed in numeric order,
by the class of issue,
by the current status,
and by the section referenced.
AI12-0001-1/06 2013-08-27 -- Independence and Representation clauses for atomic objects
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-08
RM References: 13.02 (6.1/2) 13.02 (7) 13.02 (8) 13.02 (9/3) C.06 (8.1/3) C.06 (10) C.06 (11) C.06 (21)
C.06 (24)
AI12-0002-1/04 2016-08-29 -- RCI units do not allow specification of user-defined stream-oriented attributes
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-07-22
RM References: E.02.03 (15)
AI12-0003-1/13 2015-03-25 -- Specifying the standard storage pool
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 8.02 (11) 13.11.03 (1/3) 13.11.03 (3.1/3) 13.11.03 (4/3) 13.11.03 (4.1/3) 13.11.03 (5/3) 13.11.03 (6.2/3) 13.11.03 (6.3/3)
AI12-0004-1/06 2017-04-24 -- Normalization and allowed characters for identifiers
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-11-11
RM References: 2.01 (4.1/3) 2.03 (4/3) A.03.02 (4/3) A.03.02 (32.5/3) A.03.05 (18/3) A.03.05 (51/3)
AI12-0005-1/00 2011-11-11 -- Editorial comments on AARM 2012
Priority: Low Difficulty: Easy
Class: Confirmation Status: Received 11-11-11
RM References: 6.06 (6)
AI12-0006-1/02 2011-12-14 -- Accessibility of null
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Deleted 11-11-11
RM References: 3.10.02 (13/2)
AI12-0007-1/02 2011-12-30 -- Accessibility of access discriminants of a subtype
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Deleted 11-11-12
RM References: 3.10.02 (12.1/2)
AI12-0008-1/02 2011-12-30 -- Bad ancestor constraints for extension aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Deleted 11-11-13
RM References: 4.03.02 (8)
AI12-0009-1/06 2016-06-07 -- Iterators for Directories and Environment_Variables
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (7-0-0) 18-06-24
RM References: A.16 (3/2) A.16 (36.1/3) A.16 (98/2) A.16 (112.1/3) A.16 (125/3) A.17 (3/2) A.17 (8/3) A.17 (23/3)
A.17 (25/2) A.17 (28/2)
AI12-0010-1/02 2011-12-30 -- Stream_IO should be preelaborated
Priority: Low Difficulty: Easy
Class: Amendment Status: Deleted 11-11-13
RM References: A.12.01 (3)
AI12-0011-1/02 2011-12-30 -- Behavior of Random.Reset with default initialized State
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Deleted 11-11-12
RM References: A.05.02 (12) A.05.02 (35)
AI12-0012-1/02 2011-11-11 -- Failure behavior of Directories.Create_Path
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Deleted 11-11-11
RM References: A.16 (61/2)
AI12-0013-1/02 2011-11-11 -- More issues with the definition of volatile
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Deleted 11-11-12
RM References: C.06 (16/3)
AI12-0014-1/01 2011-12-21 -- Postconditions on subprogram bodies
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (8-0-1) 15-06-28
RM References: 6.01.01 (0/3)
AI12-0015-1/02 2015-10-11 -- Ada unit information
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (4-1-2) 15-10-17
RM References: A.20 (0)
AI12-0016-1/02 2013-04-22 -- Implementation model of dynamic accessibility checking
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Work Item 11-11-13
RM References: 3.10.02 (22)
AI12-0017-1/01 2012-01-25 -- Compile-time-checked exception specifications
Priority: Medium Difficulty: Hard
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 11.04.03 (0)
AI12-0018-1/02 2014-12-04 -- Entity versioning
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: A.16 (112/3) A.17 (23/3)
AI12-0019-1/01 2012-01-26 -- Generic formal record types
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 15-06-28
RM References: 12.05.06 (0)
AI12-0020-1/11 2020-01-06 -- 'Image for all types
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 18-11-27
RM References: 4.10 (0) 3.05 (27.1/2) 3.05 (27.2/2) 3.05 (27.3/2) 3.05 (27.4/2) 3.05 (27.5/2) 3.05 (27.6/2) 3.05 (27.7/2)
3.05 (28) 3.05 (29) 3.05 (30/3) 3.05 (31) 3.05 (32) 3.05 (33/3) 3.05 (37.1/2) 3.05 (38)
3.05 (39) 3.05 (43/3) 3.05 (55/3) 3.05 (55.1/5) 3.05 (55.2/4) 3.05 (55.3/4) 3.05 (55.4/4) 3.05 (59)
H.04 (23) H.04 (23.8/2)
AI12-0021-1/06 2019-01-04 -- Additional internationalization of Ada
Priority: High Difficulty: Hard
Class: Amendment Status: Revision 2022 18-12-10
RM References: 11.04.01 (19) A.08.01 (15) A.08.02 (28.3/4) A.08.04 (18) A.10.01 (85) A.12.01 (26) A.15.01 (0) A.16.02 (0)
A.17.01 (0)
AI12-0022-1/05 2013-05-08 -- Raise expressions
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-17
RM References: 4.04 (3/3) 11.02 (6) 11.03 (2/2) 11.03 (3) 11.03 (3.1/2) 11.03 (4/2) 11.04.01 (10.1/3)
AI12-0023-1/02 2012-12-02 -- Make Root_Stream_Type an interface
Priority: Medium Difficulty: Hard
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 6.01.01 (0/3)
AI12-0024-1/01 2012-05-02 -- Compile-time detection of range and length errors
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (7-0-1) 15-10-16
RM References: 4.06 (30)
AI12-0025-1/01 2012-05-16 -- Allow 'Unchecked_Access on subprograms
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (4-0-4) 15-10-17
RM References: 13.10 (3)
AI12-0026-1/02 2012-11-30 -- Task_Safe aspect
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (7-0-1) 15-06-27
RM References: C.08 (0)
AI12-0027-1/06 2013-05-08 -- Access values should never designate unaliased components
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-31
RM References: 4.06 (24.17/3) 4.06 (24.21/2) 4.06 (58) 6.02 (10/3) 3.10.02 (10/3)
AI12-0028-1/03 2013-01-02 -- Import of variadic C functions
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-02
RM References: B.03 (1/3) B.03 (60.15/3) B.03 (75)
AI12-0029-1/02 2012-06-28 -- Relax requirement for functions to have return statements
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (8-0-0) 12-06-16
RM References: 6.05 (5/3)
AI12-0030-1/06 2013-07-19 -- Formal derived types and stream attribute availability
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-16
RM References: 12.05.01 (21/3) 13.13.02 (49/2)
AI12-0031-1/05 2014-05-08 -- All_Calls_Remote and indirect calls
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-17
RM References: E.02.03 (19/3)
AI12-0032-1/07 2013-07-17 -- Questions on 'Old
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-17
RM References: 4.01.03 (9/3) 6.01.01 (22/3) 6.01.01 (26/3) 6.01.01 (35/3)
AI12-0033-1/08 2013-10-07 -- Sets of CPUs when defining dispatching domains
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15
RM References: D.16.01 (7/3) D.16.01 (9/3) D.16.01 (20/3) D.16.01 (23/3) D.16.01 (24/3) D.16.01 (26/3)
AI12-0034-1/05 2013-10-07 -- Remote stream attribute calls
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-17
RM References: E.04 (8)
AI12-0035-1/05 2013-10-07 -- Accessibility checks for indefinite elements of containers
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-08
RM References: A.18 (5/3) A.18.11 (8/2) A.18.12 (7/2) A.18.13 (8/2) A.18.14 (8/2) A.18.15 (4/2) A.18.16 (4/2) A.18.17 (7/3)
A.18.18 (39/3) A.18.18 (47/3)
AI12-0036-1/03 2014-05-08 -- The actual for an untagged formal derived type cannot be tagged
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06
RM References: 12.05.01 (5.1/3)
AI12-0037-1/03 2013-05-08 -- New types in Ada.Locales can't be converted to/from strings
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-28
RM References: A.19 (4/3)
AI12-0038-1/07 2015-01-27 -- Shared_Passive package restrictions
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-31
RM References: E.02.01 (7/1)
AI12-0039-1/03 2013-05-08 -- Ambiguity in syntax for membership expression removed
Priority: High Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-17
RM References: 4.04 (3/3) 4.04 (3.2/3) 4.05.02 (3.1/3) 4.05.02 (4) 4.05.02 (4.1/3) 4.05.02 (27/3) 4.05.02 (27.1/3) 4.05.02 (28.1/3)
4.05.02 (28.2/3) 4.05.02 (29/3) 4.05.02 (30/3) 4.05.02 (30.1/3) 4.05.02 (30.2/3) 4.05.02 (30.3/3) 4.09 (11/3) 4.09 (32.6/3)
8.06 (27.1/3) 3.02.04 (17/3)
AI12-0040-1/03 2013-05-08 -- Resolving the selecting_expression of a case_expression
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-02
RM References: 8.06 (9)
AI12-0041-1/03 2014-11-18 -- Type_Invariant'Class for interface types
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-17
RM References: 7.03.02 (1/3) 7.03.02 (3/3)
AI12-0042-1/11 2014-09-29 -- Type invariant checking rules
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-11
RM References: 7.03.02 (6/3) 7.03.02 (17/3) 7.03.02 (18/3) 7.03.02 (19/3) 7.03.02 (20/3)
AI12-0043-1/02 2013-01-02 -- Details of the storage pool used when Storage_Size is specified
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-02
RM References: 13.11 (18)
AI12-0044-1/05 2013-10-07 -- Calling visible functions from type invariant expressions
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-06-28
RM References: 7.03.02 (19/3)
AI12-0045-1/03 2013-05-08 -- Pre- and Postconditions are allowed on generic subprograms
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27
RM References: 6.01.01 (1/3)
AI12-0046-1/02 2012-12-27 -- Enforcing legality for anonymous access components in record aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27
RM References: 4.03.01 (16/3)
AI12-0047-1/06 2013-05-08 -- Generalized iterators and discriminant-dependent components
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-31
RM References: 5.05.02 (6/3)
AI12-0048-1/03 2013-05-08 -- Default behavior of tasks on a multiprocessor with a specified dispatching polic
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-03
RM References: D.16.01 (30/3)
AI12-0049-1/03 2013-05-08 -- Invariants need to be checked on the initialization of deferred constants
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27
RM References: 7.03.02 (10/3)
AI12-0050-1/04 2013-07-17 -- Conformance of quantified expressions
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-17
RM References: 6.03.01 (20) 6.03.01 (21)
AI12-0051-1/03 2013-05-08 -- The Priority aspect can be specified when Attach_Handler is specified
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27
RM References: D.03 (10/3)
AI12-0052-1/04 2014-05-08 -- Implicit objects are considered overlapping
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-18
RM References: A (3/2) A.10.03 (21)
AI12-0053-1/02 2012-12-27 -- Predicate failure raises Constraint_Error
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: No Action 10-0-1 12-12-08
RM References: 3.02.04 (31/3) 4.06 (57/3)
AI12-0054-1/04 2013-01-30 -- A raise_expression does not cause membership failure
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: No Action 13-06-15 (8-0-0)
RM References: 11.03 (4/2) 13.09.02 (2) 13.09.02 (3/3)
Alternatives: AI12-0054-2
AI12-0054-2/05 2013-10-07 -- Aspect Predicate_Failure
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-05
RM References: 3.02.04 (14/3) 3.02.04 (31/3) 3.02.04 (35/3)
Alternatives: AI12-0054-1
AI12-0055-1/06 2014-09-29 -- All properties of a usage profile are defined by pragmas
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11
RM References: D.07 (10/3) D.13 (6/3) D.13 (8/3) D.13 (10/3)
AI12-0056-1/05 2013-07-03 -- Presentation errors in Ada 2012
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2012 13-01-14
RM References: 1.01 (3/3) 1.01.02 (24/3) 3.09 (12.4/3) 3.10 (22/2) 5.02 (20) 6.01 (39) 6.02 (13) A.18.25 (10/3)
A.18.26 (9.2/3)
AI12-0057-1/01 2013-01-22 -- Unchecked_Access for discriminant-dependent subcomponents
Priority: Medium Difficulty: Easy
Class: Amendment Status: No Action (5-0-4) 15-06-28
RM References: 13.10 (3)
AI12-0058-1/07 2017-04-24 -- The Fortran Annex needs updating to support Fortran 2008
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-10-27
RM References: B.05 (10) B.05 (18) B.05 (21) B.05 (31) B.05 (33) 1.02 (3/2)
AI12-0059-1/10 2016-04-25 -- Object_Size attribute
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 16-02-29
RM References: 4.09.01 (2/3) 13.01 (14) 13.01 (23) 13.03 (9/3) 13.03 (50/2) 13.03 (51) 13.03 (52) 13.03 (58)
AI12-0060-1/00 2013-01-31 -- Overriding indicators on protected subprogram bodies
Priority: Very Low Difficulty: Medium
Class: Amendment Status: No Action (5-0-2) 18-10-21
RM References: 8.03.01 (3/2)
AI12-0061-1/07 2019-02-05 -- Index parameters in array aggregates
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2022 16-02-29
RM References: 4.03.03 (5/2) 4.03.03 (6) 4.03.03 (17/3) 4.03.03 (20) 4.03.03 (23.1/4) 4.03.03 (32/3) 4.03.03 (43) 3.01 (6/3)
3.03 (6) 3.03 (18.1/3) 3.03.01 (23/3) 5.05 (6) 8.01 (2.1/4)
AI12-0062-1/02 2013-07-03 -- Raise exception with failing string function
Priority: Low Difficulty: Easy
Class: Ramification Status: Corrigendum 1 for Ada 2012 13-01-14
RM References: 11.03 (4/2)
AI12-0063-1/01 2013-01-31 -- No_Return functions
Priority: Medium Difficulty: Easy
Class: Amendment Status: No Action (7-0-1) 15-10-17
RM References: 6.05.01
AI12-0064-1/05 2015-10-07 -- Nonblocking subprograms
Priority: Very Low Difficulty: Medium
Class: Amendment Status: No Action (12-0-0) [By Letter Ballot] 18-01-18
RM References: 9.05.01 (11) 9.05.01 (18)
Alternatives: AI12-0064-2
AI12-0064-2/16 2018-05-07 -- Nonblocking subprograms
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 17-11-21
RM References: 9.05 (17/3) 9.05.01 (8) 9.05.01 (9) 9.05.01 (10) 9.05.01 (11) 9.05.01 (12) 9.05.01 (13) 9.05.01 (14)
9.05.01 (15) 9.05.01 (16) 9.05.01 (18) 9.05.01 (22.1/2) 3.10.02 (32/3) 4.06 (24.21/4) 4.09 (8) 13.01.01 (17/3)
13.13.02 (37/1)
Alternatives: AI12-0064-1
AI12-0065-1/02 2013-12-17 -- Descendants of incomplete views
Priority: Low Difficulty: Medium
Class: Ramification Status: Corrigendum 1 for Ada 2012 13-12-17
RM References: 7.03.01 (5.2/3)
AI12-0066-1/03 2020-09-03 -- If it ain't broke...
Priority: Low Difficulty: Easy
Class: Confirmation Status: Received 13-03-27
RM References: 3.02.04 (21/3) 4.04 (7/3) 8.05.01 (6) A.10.08 (8) A.10.09 (13)
AI12-0067-1/02 2013-10-07 -- Accessibility level of explicitly aliased parameters of procedures and entries
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15
RM References: 3.10.02 (7/3)
AI12-0068-1/02 2014-07-22 -- Predicates and the current instance of a subtype
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-22
RM References: 8.06 (17/3)
AI12-0069-1/02 2013-10-07 -- Inconsistency in Tree container definition
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-11
RM References: A.18.10 (153/3) A.18.10 (155/3) A.18.10 (157/3) A.18.10 (159/3)
AI12-0070-1/03 2013-10-07 -- 9.3(2) does not work for anonymous access types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15
RM References: 3.10.02 (13.1/3) 9.03 (2)
AI12-0071-1/05 2013-12-13 -- Order of evaluation when multiple predicates apply
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-13
RM References: 3.02.04 (4/3) 3.02.04 (6/3) 3.02.04 (30/3) 3.02.04 (31/3) 3.02.04 (32/3) 3.02.04 (33/3) 3.02.04 (35/3) 3.05.05 (7.1/3)
3.05.05 (7.2/3) 3.05.05 (7.3/3) 3.08.01 (10.1/3) 3.08.01 (15/3) 4.05.02 (29/3) 4.05.02 (30/3) 4.06 (51/3) 4.09.01 (10/3)
5.04 (7/3) 5.05 (9/3) 13.09.02 (3/3) 13.09.02 (12)
AI12-0072-1/05 2013-10-07 -- Missing rules for Discard_Names aspect
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-11
RM References: C.05 (1) C.05 (5) C.05 (7/2) C.05 (8)
AI12-0073-1/02 2013-07-05 -- Synchronous Barriers are not allowed with Ravenscar
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-05
RM References: D.13 (6/3)
AI12-0074-1/06 2014-09-29 -- View conversions and out parameters passed by copy
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23
RM References: 4.06 (56) 6.04.01 (6.25/3) 6.04.01 (13.1/3)
AI12-0075-1/11 2018-05-07 -- Static expression functions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 18-04-06
RM References: 4.09 (21) 6.08 (3/4) 6.08 (5/4) 6.08 (6/4) 7.03.02 (8.2/5) 7.03.02 (15/4) 7.03.02 (16/4) 7.03.02 (17/4)
7.03.02 (19/4) 7.03.02 (20/5)
AI12-0076-1/04 2013-10-07 -- Variable state in pure packages
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-11
RM References: 10.02.01 (17/3) E.02.02 (17/2)
AI12-0077-1/02 2013-10-07 -- Has_Same_Storage on objects of size zero
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15
RM References: 13.03 (73.4/3)
AI12-0078-1/01 2013-06-14 -- Definition of node for tree container is confusing
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-06-28
RM References: A.18.10 (2/3) A.18.10 (3/3)
AI12-0079-1/13 2019-04-02 -- Global-in and global-out annotations
Priority: High Difficulty: Hard
Class: Amendment Status: No Action (14-0-0) 20-04-29
RM References: 6.01.02 (0) 13.01.01 (4/3) 13.01.01 (11/3) 13.14 (3/5)
Alternatives: AI12-0079-2 AI12-0079-3
AI12-0079-2/01 2020-01-13 -- Global-in and global-out annotations
Priority: High Difficulty: Hard
Class: Amendment Status: No Action (14-0-0) 20-04-29
RM References: 6.01.02 (0)
Alternatives: AI12-0079-1 AI12-0079-3
AI12-0079-3/08 2021-05-28 -- Global-in and global-out annotations
Priority: High Difficulty: Hard
Class: Amendment Status: Revision 2022 20-03-11
RM References: 6.01.02 (0)
Alternatives: AI12-0079-1 AI12-0079-2
AI12-0080-1/08 2014-09-29 -- More presentation errors in Ada 2012
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2012 13-12-11
RM References: 3.09.03 (6/2) 7.03.02 (21/3) 13.11.06 (28/3) A.18.02 (168/2) A.18.26 (29/3) A.18.26 (31/3) B.01 (50) N (21.2/3)
N (41/2)
AI12-0081-1/01 2013-10-21 -- Real-time aspects need to specify when they are evaluated
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06
RM References: D.01 (17/3) D.16 (9/3)
AI12-0082-1/03 2014-05-08 -- Definition of "dispatching domain"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-07
RM References: D.16.01 (16/3) D.16.01 (22/3) D.16.01 (25/3) D.16.01 (27/3) D.16.01 (29/3)
AI12-0083-1/01 2013-10-24 -- Automatic creation of constructor functions
Priority: Medium Difficulty: Hard
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 3.09.03 (6/2)
AI12-0084-1/01 2013-10-28 -- Box expressions in array aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06
RM References: 4.03.03 (23.1/2)
AI12-0085-1/03 2014-05-08 -- Missing aspect cases for Remote_Types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-11
RM References: E.02.02 (17/2)
AI12-0086-1/04 2015-07-13 -- Aggregates and variant parts
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2022 16-02-29
RM References: 4.03.01 (17/3) 4.03.01 (19/3)
AI12-0087-1/02 2015-10-08 -- Reading the default value of a subtype
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (7-0-1) 15-10-17
RM References: 3.05 (15) 3.05 (55.4/4) 3.06.02 (10)
AI12-0088-1/03 2013-12-06 -- UTF_Encoding.Conversions and overlong characters on input
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06
RM References: A.04.11 (54/3) A.04.11 (55/3)
AI12-0089-1/03 2014-05-08 -- Accessibility rules need to take into account that a generic function is not a f
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-18
RM References: 3.10.02 (7/3) 3.10.02 (19.2/3) 3.10.02 (19.3/3) 6.05 (4/3)
AI12-0090-1/06 2015-01-19 -- Pre- and Postconditions and requeues
Priority: High Difficulty: Hard
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-12
RM References: 9.05.04 (5/3) 9.05.04 (7/3) 9.05.04 (12/3)
AI12-0091-1/04 2014-02-03 -- Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (5-0-2) 15-10-18
RM References: A.05.01 (5)
AI12-0092-1/01 2014-10-13 -- Soft Legality Rules
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 1.01.05 (4)
AI12-0093-1/04 2014-05-08 -- Iterator with indefinite cursor
Priority: Low Difficulty: Medium
Class: Ramification Status: Corrigendum 1 for Ada 2012 13-12-11
RM References: 5.05.02 (8/3) 5.05.02 (10/3)
AI12-0094-1/03 2015-01-19 -- An access_definition should be a declarative region
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-12
RM References: 8.03 (2) 8.03 (26/3)
AI12-0095-1/03 2014-09-29 -- Generic formal types and constrained partial views
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11
RM References: 3.10.02 (27.2/3) 4.06 (24.16/2) 6.04.01 (6.2/3) 12.05.01 (15)
AI12-0096-1/02 2014-09-29 -- The exception raised when a subtype conversion fails a predicate check
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14
RM References: 4.06 (57/3)
AI12-0097-1/02 2014-07-15 -- Tag of the return object of a simple return expression
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-15
RM References: 6.05 (8/3)
AI12-0098-1/02 2014-09-29 -- Problematic examples for ATC
Priority: Low Difficulty: Medium
Class: Ramification Status: Corrigendum 1 for Ada 2012 14-07-14
RM References: 9.07.04 (13)
AI12-0099-1/03 2014-09-29 -- Wording problems with predicates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23
RM References: 3.02.04 (4/4) 3.02.04 (12/3) 3.02.04 (20/3)
AI12-0100-1/02 2014-07-14 -- A qualified expression makes a predicate check
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14
RM References: 4.07 (4)
AI12-0101-1/03 2014-09-29 -- Incompatibility of hidden untagged record equality
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14
RM References: 4.05.02 (9.8/3)
AI12-0102-1/02 2014-10-02 -- Stream_IO.File_Type has Preelaborable_Initialization
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11
RM References: A.12.01 (5)
AI12-0103-1/04 2015-01-19 -- Expression functions that are completions in package specifications
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13
RM References: 13.14 (3/3) 13.14 (5/3)
AI12-0104-1/02 2014-10-02 -- Overriding an aspect is undefined
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2012 14-07-23
RM References: 4.01.06 (4/3) 4.01.06 (17/3)
AI12-0105-1/03 2014-10-02 -- Pre and Post are not allowed on any subprogram completion
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23
RM References: 13.01.01 (18/3)
AI12-0106-1/05 2015-01-19 -- Write'Class aspect
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13
RM References: 13.01.01 (28/3) 13.13.02 (38/3)
AI12-0107-1/03 2014-10-02 -- A prefixed view of a By_Protected_Procedure interface has convention protected
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23
RM References: 6.03.01 (10.1/2) 6.03.01 (12) 6.03.01 (13)
AI12-0108-1/02 2014-10-19 -- Out-of-range static constants
Priority: Low Difficulty: Medium
Class: Pathology Status: No Action (8-0-0) 14-10-19
RM References: 4.09 (24)
AI12-0109-1/03 2015-01-20 -- Representation of untagged derived types
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-14
RM References: 13.01 (10/3)
AI12-0110-1/02 2014-07-23 -- Tampering checks are performed first
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23
RM References: A.18.02 (97.1/3) A.18.03 (69.1/3) A.18.04 (15.1/3) A.18.07 (14.1/3) A.18.10 (90/3) A.18.18 (35/3)
AI12-0111-1/12 2021-05-28 -- Stable Containers to reduce tampering checks
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 18-12-11
RM References: 5.05.01 (8/3) 5.05.01 (9/3) 5.05.01 (10/3) 5.05.02 (12/3) A.18 (2/2) A.18.02 (8/3) A.18.02 (90/2) A.18.02 (92/2)
A.18.02 (95/2) A.18.02 (96/2) A.18.02 (97/2) A.18.03 (6/3) A.18.03 (61/2) A.18.04 (7/2) A.18.05 (3/3) A.18.06 (4/3)
A.18.07 (7/2) A.18.08 (3/3) A.18.09 (4/3) A.18.10 (8/3) A.18.10 (80/3)
AI12-0112-1/09 2020-07-21 -- Contracts for container operations
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 18-12-10
RM References: A.18.02 (99/3) 11.04.02 (23.1/3) 11.05 (23) 11.05 (26) A (4) A.18 (10)
AI12-0113-1/03 2014-11-19 -- Class-wide preconditions and statically bound calls
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-19
RM References: 6.01.01 (7/3) 6.01.01 (18/3) 6.01.01 (37/3) 6.01.01 (38/3)
AI12-0114-1/03 2014-10-02 -- Overlapping objects designated by access parameters are not thread-safe
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-15
RM References: A (3/2)
AI12-0115-1/01 2014-06-19 -- Add Size_Is_Multiple_Of aspect
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (10-0-0) 15-06-27
RM References: 13.03 (58/3)
AI12-0116-1/03 2014-10-02 -- Private types and predicates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11
RM References: 13.01 (9/3) 13.01 (9.1/3)
AI12-0117-1/03 2014-11-17 -- Restriction No_Tasks_Unassigned_To_CPU
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-17
RM References: D.07 (10.8/3)
AI12-0118-1/00 2014-06-20 -- Extended precision in static expressions
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 4.09 (38/2)
AI12-0119-1/13 2018-08-31 -- Parallel operations
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 18-07-12
RM References: 2.09 (2/3) 5.01 (1) 5.01 (5/2) 5.01 (15) 5.05 (1) 5.05 (3/3) 5.05 (5)
5.05 (7) 5.05 (9/4) 5.05 (21) 5.06.01 (0) 9 (1/3) 9 (10) 9 (11) 9.05.01 (7/4)
9.08 (17) 9.10 (1/3) 9.10 (2) 9.10 (13) D.02.01 (4/2) D.16.01 (33/3)
AI12-0120-1/04 2014-10-02 -- Legality and exceptions of generalized loop iteration
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14
RM References: 5.05.02 (6.1/4) 5.05.02 (10/3) 5.05.02 (13/3)
AI12-0121-1/03 2015-01-19 -- Stream-oriented aspects
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13
RM References: 13.13.02 (38/3)
AI12-0122-1/01 2014-08-11 -- Add 'Base for all types
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (7-0-1) 15-06-27
RM References: 3.05 (15)
AI12-0123-1/01 2014-08-11 -- Add 'Subtype attribute
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (6-0-1) 15-10-18
RM References: 3.02.02 (12)
AI12-0124-1/04 2015-01-19 -- Add Object'Image
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-14
RM References: 3.05 (55/3)
AI12-0125-1/05 2015-10-03 -- Add Object'Inc and 'Dec
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (12-0-0) 16-06-13
RM References: 3.05 (31/2)
Alternatives: AI12-0125-2 AI12-0125-3
AI12-0125-2/02 2015-10-09 -- Add :+, :-, :*, :/, ...
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (10-0-2) 16-06-13
RM References: 5.02.01 (0)
Alternatives: AI12-0125-1 AI12-0125-3
AI12-0125-3/08 2016-10-02 -- Add @ as an abbreviation for the LHS of an assignment
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 16-08-04
RM References: 5.02.01 (0) 2.02 (9) 3.03 (21.1/3) 4.01 (2/3) 8.06 (9/4)
Alternatives: AI12-0125-1 AI12-0125-2
AI12-0126-1/02 2015-07-13 -- Add Interfaces.Shifting
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (5-0-3) 15-06-27
RM References: B.02 (9)
AI12-0127-1/16 2018-05-07 -- Partial aggregate notation
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 17-11-21
RM References: 4.03 (2) 4.03 (3/2) 4.03 (4) 4.03.01 (9) 4.03.01 (15/3) 4.03.01 (16/4) 4.03.01 (17/5) 4.03.01 (17.1/2)
4.03.03 (4) 4.03.03 (14) 4.03.03 (17/5) 4.03.04 (0) 7.05 (2.6/2)
AI12-0128-1/09 2016-10-02 -- Exact size access to parts of composite atomic objects
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 16-08-04
RM References: C.06 (13.2/3) C.06 (19) C.06 (20) C.06 (22/2) C.06 (25/4)
AI12-0129-1/08 2015-05-05 -- Make protected objects more protecting
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26
RM References: 9.05.01 (2) 9.05.01 (4) 9.05.01 (5) 9.05.01 (7) 9.05.03 (15) 9.05.03 (23)
AI12-0130-1/03 2015-01-19 -- All I/O packages should have Flush
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-14
RM References: A.08.01 (10) A.08.02 (28/3) A.08.04 (10) A.10.03 (21) A.12.01 (28/2) A.12.01 (28.6/1)
AI12-0131-1/02 2014-11-13 -- Inherited Pre'Class when unspecified on initial subprogram
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13
RM References: 6.01.01 (17/3) 6.01.01 (18/3)
AI12-0132-1/02 2014-11-13 -- Freezing of renames-as-body
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13
RM References: 13.14 (5/3)
AI12-0133-1/04 2015-01-19 -- Type invariants and default initialized objects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13
RM References: 7.03.02 (10.3/3)
AI12-0134-1/03 2015-01-19 -- Error in Storage Pool example
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2012 14-11-13
RM References: 13.11.06 (11/3)
AI12-0135-1/05 2015-03-03 -- Enumeration types should be eligible for convention C
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26
RM References: B.01 (14/3) B.01 (41/3) B.03 (65)
AI12-0136-1/03 2015-01-20 -- Language-defined packages and aspect Default_Storage_Pool
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-18
RM References: 13.11.03 (5/3)
AI12-0137-1/03 2015-01-20 -- Incomplete views and access to class-wide types
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-17
RM References: 3.10.01 (2.1/2)
AI12-0138-1/09 2015-05-05 -- Iterators of formal derived types
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26
RM References: 13.01.01 (18/4) 13.01.01 (34/3) 4.01.05 (6/3) 4.01.06 (5/3) 4.01.06 (6/3) 4.01.06 (7/3) 4.01.06 (8/3) 4.01.06 (9/3)
5.05.01 (11/3)
AI12-0139-1/04 2017-06-08 -- Thread-safe Ada libraries
Priority: Low Difficulty: Hard
Class: Amendment Status: No Action (7-1-1) 19-10-07
RM References: A (3/4) A.18 (5)
AI12-0140-1/05 2016-10-02 -- Access to unconstrained partial view when full view is constrained
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-08-01
RM References: 3.02 (7/2) 7.03.01 (5/1)
AI12-0141-1/02 2015-01-28 -- Add Raise Expression to Introduction
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2012 14-12-04
RM References:
AI12-0142-1/03 2015-02-23 -- Bad subpool implementations
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 13.11 (21) 13.11.04 (21/3) 13.11.04 (31/3)
AI12-0143-1/03 2015-11-19 -- Using an entry index of a family in a precondition
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 16-07-11
RM References: 6.01.01 (30/3) 9.05.04 (5/3)
AI12-0144-1/07 2016-01-28 -- Make Discrete_Random more flexible
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 16-02-29
RM References: A.05.02 (20) A.05.02 (32) A.05.02 (41) A.05.02 (42)
AI12-0145-1/02 2015-01-28 -- Pool_of_Subpool returns null when called too early
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 13.11.04 (20/3)
AI12-0146-1/01 2015-01-21 -- Should say stream-oriented attribute
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 7.03.02 (15/3)
AI12-0147-1/02 2015-01-28 -- Expression functions and null procedures can be declared in a protected_body
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 9.04 (8/1)
AI12-0148-1/03 2015-01-29 -- Dangling references
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 13.11.02 (10/2) 13.11.02 (15) 13.11.05 (7/3)
AI12-0149-1/01 2015-01-22 -- Type invariants are checked for functions returning access-to-type
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 7.03.02 (19.3/4)
AI12-0150-1/03 2015-01-28 -- Class-wide type invariants and statically bound calls
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28
RM References: 7.03.02 (3/3) 7.03.02 (5/3) 7.03.02 (9/3) 7.03.02 (22/3)
AI12-0151-1/02 2015-02-26 -- Meaning of subtype_indication in array component iterators
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26
RM References: 5.05.02 (5/3)
AI12-0152-1/04 2015-03-25 -- Eliminate ambiguities in raise expression and derived type syntax
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26
RM References: 3.05.09 (5) 3.05.09 (18) 3.05.09 (19) 11.03 (2/2) 11.03 (3.1/2) 11.03 (4/3) 11.04.01 (10.1/3) J.03 (2)
J.03 (3) J.03 (4) J.03 (7) J.03 (8) J.03 (9) J.03 (10)
AI12-0153-1/02 2015-02-23 -- Default value of Boolean-valued aspects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: No Action (8-0-2) 15-02-26
RM References: 13.01.01 (15/3) 3.05 (56.3/3) 3.06 (22.2/3)
AI12-0154-1/03 2015-03-03 -- Aspects of library units
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26
RM References: 13.01.01 (32/3)
AI12-0155-1/08 2015-07-30 -- Freezing of an incomplete view has no effect
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 3.10.01 (10/3) 13.14 (3/4) 13.14 (15.1/3)
AI12-0156-1/04 2016-04-11 -- Use subtype_indication in generalized iterators
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2022 16-02-29
RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3) 3.10.02 (11.1/2)
AI12-0157-1/03 2015-05-05 -- Missing rules for expression functions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26
RM References: 3.10.02 (19.2/4) 3.10.02 (19.3/4) 4.03.03 (11/2) 6.08 (2/3) 6.08 (3/3) 6.08 (5/3) 6.08 (6/3) 6.08 (7/3)
7.05 (2.9/3) 13.14 (5.1/4) 13.14 (5.2/4) 13.14 (8/3) 13.14 (10.1/3) 13.14 (10.2/3) 13.14 (10.3/3)
AI12-0158-1/02 2015-03-26 -- Definition of quantified expressions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26
RM References: 4.05.08 (1/3) 4.05.08 (6/3) 4.05.08 (8/3) 4.05.08 (9/3)
AI12-0159-1/04 2015-03-31 -- Corrections from the Corrigendum Editorial Review
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26
RM References: 3.05.09 (6) 4.01.04 (9/4) 6.01.01 (7/4) 6.01.01 (26.2/4) 6.01.01 (37/4) 6.01.01 (38/4) 6.03.01 (12/4) 6.03.01 (13/4)
6.04.01 (5) 6.04.01 (6.26/4) 6.04.01 (6.27/4) 6.04.01 (6.28/4) 6.04.01 (6.29/4) 6.04.01 (13.1/4) 7.03.02 (5/4) 7.03.02 (21/4)
7.03.02 (22.1/4) 11.03 (3/4) 11.03 (3.2/4) 11.03 (4.1/4) A (3.1/4) A.18.10 (2/4)
AI12-0160-1/03 2016-04-11 -- Adding an indexing aspect to an indexable container type
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 4.01.06 (6/4) 4.01.06 (9/4) 3.06 (22.2/3)
AI12-0161-1/01 2015-06-03 -- Unicode equivalents for Ada operator symbols
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (8-0-0) 15-06-27
RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3)
AI12-0162-1/03 2015-07-30 -- Memberships and Unchecked_Unions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: B.03.03 (25/2)
AI12-0163-1/04 2016-04-21 -- Deterministic queue servicing for FIFO_Queueing
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 16-02-29
RM References: D.04 (7/2) D.04 (12) D.04 (13) D.04 (14)
AI12-0164-1/05 2017-04-24 -- Max_Entry_Queue_Length aspect for entries
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 16-11-14
RM References: D.04 (16)
AI12-0165-1/05 2015-10-13 -- Operations of class-wide types and formal abstract subprograms
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 12.06 (8.5/2)
AI12-0166-1/04 2016-03-22 -- External calls to protected functions that appear to be internal calls
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 6.01.01 (34/3) 9.05 (3/3) 9.05 (7.1/3)
AI12-0167-1/03 2015-08-07 -- Type_Invariants and tagged-type View Conversions
Priority: Low Difficulty: Medium
Class: Ramification Status: Revision 2022 16-02-29
RM References: 7.03.02 (9/4)
AI12-0168-1/02 2015-07-07 -- Freezing of generic instantiations of generics with bodies
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 13.14 (3/4)
AI12-0169-1/02 2015-07-08 -- Aspect specifications for entry bodies
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 9.05.02 (5)
AI12-0170-1/05 2016-10-02 -- Abstract subprogram calls in class-wide precondition expressions
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2022 16-07-21
RM References: 3.09.03 (7) 6.01.01 (7/4) 6.01.01 (18/4) 6.01.01 (18.2/4)
AI12-0171-1/04 2017-04-24 -- Ambiguity in Synchronous_Task_Control semantics
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-11-10
RM References: D.10 (10.1/3)
AI12-0172-1/01 2015-10-06 -- Raise expressions in limited contexts
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 7.05 (2.1/3)
AI12-0173-1/02 2015-11-17 -- Expression of an extended return statement
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: 6.05 (3/2) 6.05 (5/3)
AI12-0174-1/02 2015-11-17 -- Aggregates of Unchecked_Unions using named notation
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-02-29
RM References: B.03.03 (9/3)
AI12-0175-1/05 2016-03-22 -- Preelaborable packages with address clauses
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 16-02-29
RM References: 10.02.01 (7)
AI12-0176-1/02 2016-01-28 -- 6.1.1(26.4/4) only applies to tagged types
Priority: Low Difficulty: Easy
Class: Confirmation Status: WG9 Approved 16-06-13
RM References: 6.01.01 (26.4/4)
AI12-0177-1/00 2015-10-08 -- A name resolution oddity
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: No Action (6-0-2) 15-10-16
RM References: 13.01.01 (11/3)
AI12-0178-1/04 2016-04-25 -- Glitches in examples
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 16-02-29
RM References: 4.01.03 (17/2) 4.03.02 (13) 4.03.03 (45/2) 4.05.02 (37) 8.03.01 (12/2) 9.07.03 (6) 9.11 (7.1/2) 10.01.02 (29/2)
11.02 (12) 11.04.03 (2/2) 11.04.03 (5) 11.04.03 (6/2) 11.04.03 (10) 12.01 (22) 12.03 (24) 12.07 (19/2)
12.07 (21/2) 13.05.01 (27) 13.11 (41/3) A.18.32 (9/3) B.04 (124) B.05 (30/3) C.03.02 (28/3)
AI12-0179-1/06 2017-04-24 -- Failure of postconditions of language-defined units
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-11-10
RM References: 1.01.03 (17/3) 11.04.02 (23.1/3)
AI12-0180-1/03 2016-10-02 -- Using protected subprograms and entries within an invariant
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-07-11
RM References: 13.01.01 (12/3)
AI12-0181-1/03 2016-07-11 -- Self-referencing representation aspects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-07-11
RM References: 13.01 (9/4) 13.01 (9.1/4) 13.14 (19)
AI12-0182-1/02 2016-04-21 -- Pre'Class and protected operations
Priority: Low Difficulty: Easy
Class: Ramification Status: Revision 2022 16-07-21
RM References: 13.01.01 (16/3)
AI12-0183-1/07 2018-08-31 -- Presentation errors in Ada 2012 post Corrigendum 1
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 16-03-23
RM References: 3.07.02 (3/3) 4.09 (2) 5.05.02 (5/5) 8.03 (12.3/2) 12.06 (8.2/2) D.04 (4) D.04 (7/5) E.04 (17)
AI12-0184-1/03 2016-10-02 -- Long Long C Data Types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 16-08-01
RM References: B.03 (71.3/3)
AI12-0185-1/02 2016-07-21 -- Resolution of postcondition-specific attributes
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-07-21
RM References: 6.01.01 (7/4) 6.01.01 (8/3) 6.01.01 (26.10/4) 6.01.01 (29/3)
AI12-0186-1/06 2017-04-24 -- Profile freezing for the Access attribute
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2022 16-11-10
RM References: 13.14 (15)
AI12-0187-1/09 2018-08-31 -- Stable properties of abstract data types
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 17-11-21
RM References: 7.03.04 (0) 13.01.01 (4/3)
AI12-0188-1/01 2016-06-02 -- Add container iterator form supporting iteration over keys
Priority: Very Low Difficulty: Medium
Class: Amendment Status: No Action (7-0-0) 18-06-24
RM References: 5.05.02 (2/3)
AI12-0189-1/07 2018-08-31 -- loop-body as anonymous procedure
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 18-07-06
RM References: 5.05 (3/3) 5.05.03 (0)
AI12-0190-1/08 2019-01-10 -- Anonymous functions
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (10-0-2) 19-01-14
RM References: 4.04 (7/3) 4.05.09 (0)
AI12-0191-1/12 2019-07-02 -- Clarify "part" for type invariants
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 19-05-09
RM References: 3.03 (23/5) 3.09.01 (4.1/2) 6.08 (5.8/5) 7.03.02 (8.3/5) 7.03.02 (8.4/5) 7.03.02 (8.5/5) 7.03.02 (8.6/5) 7.03.02 (8.7/5)
7.03.02 (8.8/5) 7.03.02 (8.9/5) 7.03.02 (8.10/5) 7.03.02 (8.11/5) 7.03.02 (8.12/5) 7.03.02 (10.1/4) 7.03.02 (15/5) 7.03.02 (17/4)
7.03.02 (18/4) 7.03.02 (19/4) 13.13.02 (9/3)
AI12-0192-1/03 2016-10-02 -- "requires late initialization" and protected types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-07-21
RM References: 3.03.01 (8.1/2)
AI12-0193-1/04 2016-12-21 -- Postcondition failure for a task entry
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-11-09
RM References: 6.01.01 (26/4) 7.03.02 (20/3) 9.05.02 (24) 9.05.02 (25)
AI12-0194-1/01 2016-06-06 -- Language-defined aspects and entry bodies
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-07-21
RM References: 13.01.01 (17/3)
AI12-0195-1/03 2016-10-02 -- Inheriting body but overriding precondition or postcondition
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2022 16-07-21
RM References: 6.01.01 (38/4)
AI12-0196-1/08 2017-04-24 -- Concurrent access to Ada container libraries
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2022 16-11-11
RM References: A.18 (2/2) A.18.02 (125/2) A.18.02 (133/3) A.18.02 (135/3) A.18.03 (81/3) A.18.04 (36/3) A.18.07 (34/2) A.18.10 (116/3)
AI12-0197-1/01 2016-06-07 -- Generator Functions
Priority: Very Low Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: 6.09 (0)
Alternatives: AI12-0197-2 AI12-0197-3 AI12-0197-4
AI12-0197-2/02 2016-06-13 -- Passive tasks
Priority: Very Low Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: 9.01 (21)
Alternatives: AI12-0197-1 AI12-0197-3 AI12-0197-4
AI12-0197-3/02 2016-10-06 -- generator functions
Priority: Very Low Difficulty: Hard
Class: Amendment Status: Hold (9-0-1) - 18-06-22
RM References: 6.09 (0)
Alternatives: AI12-0197-1 AI12-0197-2 AI12-0197-4
AI12-0197-4/01 2017-10-11 -- Coroutines and channels
Priority: Low Difficulty: Hard
Class: Amendment Status: Hold (9-0-0) 19-10-07
RM References: 9.11 (0)
Alternatives: AI12-0197-1 AI12-0197-2 AI12-0197-3
AI12-0198-1/03 2016-10-02 -- Potentially unevaluated components of array aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-07-21
RM References: 6.01.01 (22.1/4)
AI12-0199-1/05 2017-04-24 -- Abstract subprogram calls in class-wide invariant expressions
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2022 16-11-14
RM References: 7.03.02 (5/4) 7.03.02 (8/3)
AI12-0200-1/05 2017-04-24 -- Improve reentrancy requirements for language-defined subprograms
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-11-09
RM References: A (3/4)
AI12-0201-1/03 2017-09-07 -- Missing operations of static string types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 17-07-19
RM References: 4.09 (9) 4.09 (19) 4.09 (20) 4.09 (24)
AI12-0202-1/01 2016-10-03 -- Tampering_Check
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (8-0-3) 18-06-23
RM References: 11.05 (20)
AI12-0203-1/03 2017-04-25 -- Overriding a nonoverridable aspect
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 16-11-10
RM References: 4.01.05 (5.1/4) 4.01.05 (7/3)
AI12-0204-1/03 2017-04-25 -- Renaming of a prefixed view
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 16-11-09
RM References: 8.05.04 (5.2/2) 12.06 (8.3/2) 4.01.03 (13.1/2) 4.01.06 (9/5)
AI12-0205-1/06 2020-12-08 -- Defaults for generic formal types
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 20-04-30
RM References: 12.03 (7/3) 12.03 (10) 12.05 (2.1/3) 12.05 (2.2/3) 12.05 (7/2)
AI12-0206-1/02 2017-07-20 -- Nonoverridable should allow arbitrary kinds of aspects
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 16-11-14
RM References: 13.01.01 (18.2/4) 13.01.01 (18.3/4) 13.01.01 (18.6/4)
AI12-0207-1/03 2017-08-03 -- Convention of anonymous access types
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 17-08-03
RM References: 6.03.01 (13.1/3) B.01 (19) B.01 (21/3)
AI12-0208-1/12 2020-11-06 -- Predefined Big numbers support
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 19-02-26
RM References: A.05.05 (0) A.05.06 (0) A.05.07 (0)
AI12-0209-1/00 2016-12-19 -- Refine definition of volatility
Priority: Low Difficulty: Hard
Class: Amendment Status: Hold by Letter Ballot (9-0-2) - 18-05-07
RM References: C.06 (8/3)
AI12-0210-1/05 2019-07-02 -- Type Invariants and Generics
Priority: Very Low Difficulty: Medium
Class: Ramification Status: Revision 2022 19-07-02
RM References: 7.03.02 (23/3)
AI12-0211-1/04 2017-11-17 -- Interface types and inherited nonoverridable aspects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-11-17
RM References: 13.01.01 (18.3/5) 13.01.01 (18.4/4)
AI12-0212-1/14 2021-01-12 -- Container aggregates; generalized array aggregates
Priority: Low Difficulty: Hard
Class: Amendment Status: Revision 2022 18-11-19
RM References: 4.03.05 (0) 1.01.04 (12) 1.01.04 (13) 2.01 (15) 2.02 (9/5) 3.07.01 (3) 3.08.01 (4) 4.03 (2/5)
4.03 (3/5) 4.03.01 (5) 4.03.03 (3/2) 4.03.03 (4/5) 4.03.03 (5.1/5) 4.03.03 (9) 4.03.03 (17/5) 4.03.03 (21)
4.03.03 (23.2/5) 4.03.03 (26) 4.03.03 (27) 4.03.03 (31) 4.03.04 (4/5) 4.04 (3.1/3) 11.02 (3) 13.01.01 (5/3)
13.01.01 (7/3) A.18.02 (8/3) A.18.02 (14/2) A.18.02 (47/2) A.18.02 (175/2) A.18.03 (6/3) A.18.05 (3/3) A.18.06 (4/3)
A.18.08 (3/3) A.18.09 (4/3)
AI12-0213-1/04 2019-01-14 -- Unify record syntax
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-01-14
RM References: 3.08 (3) 3.08 (6/3) 3.08 (28) 13.05.01 (2) 13.05.01 (6)
Alternatives: AI12-0213-2
AI12-0213-2/01 2020-01-08 -- Unify record syntax
Priority: Very Low Difficulty: Easy
Class: Amendment Status: No Action (11-2-1) 20-01-15
RM References: 3.08 (3) 3.08 (6/3) 3.08 (28) 13.05.01 (2) 13.05.01 (6)
Alternatives: AI12-0213-1
AI12-0214-1/02 2018-05-08 -- Case statements and expressions for composite types
Priority: Very Low Difficulty: Hard
Class: Amendment Status: Hold (8-0-1) - 19-10-07
RM References: 5.04 (4/3)
Alternatives: AI12-0214-2
AI12-0214-2/03 2019-07-05 -- Boolean conditional case expressions and statements
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (9-0-1) 19-10-05
RM References: 4.05.07 (5/3) 4.05.07 (6/3) 4.05.07 (14/3) 4.05.07 (21/3) 4.09 (12.1/3) 4.09 (32.5/3) 5.04 (2/3) 5.04 (3)
5.04 (11/3) 5.04 (14/3)
Alternatives: AI12-0214-1
AI12-0215-1/01 2017-01-09 -- Implicit instantiations
Priority: Low Difficulty: Hard
Class: Amendment Status: Hold 13-0-0 20-09-09
RM References: 12.03.01 (0)
Alternatives: AI12-0215-2
AI12-0215-2/01 2019-09-24 -- Implicit instantiations
Priority: Low Difficulty: Hard
Class: Amendment Status: Hold 13-0-0 20-09-09
RM References: 12.09 (0)
Alternatives: AI12-0215-1
AI12-0216-1/03 2017-09-07 -- 6.4.1(6.16-17/3) should never apply to composite objects
Priority: Very Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-08-04
RM References: 6.04.01 (6.17/3)
AI12-0217-1/03 2017-09-07 -- Rules regarding restrictions on the use of the Old attribute are too strict
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-07-20
RM References: 6.01.01 (24/3) 6.01.01 (27/3)
AI12-0218-1/01 2017-01-10 -- Endianness-neutral record representation clauses
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (9-1-1) - 18-05-07
RM References: 13.05.03 (6)
AI12-0219-1/02 2017-07-21 -- Clarify C interfacing advice
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-07-21
RM References: B.01 (38.1/3) B.03 (69/2) B.03 (70)
AI12-0220-1/06 2018-05-07 -- Pre/Post for access-to-subprogram types
Priority: Low Difficulty: Hard
Class: Amendment Status: Revision 2022 18-04-05
RM References: 6.01.01 (1/4) 6.01.01 (2/3) 6.01.01 (4/3) 6.01.01 (19/3) 6.01.01 (28/3) 6.01.01 (29/3) 6.01.01 (39/3) 13.01.01 (12/5)
AI12-0221-1/01 2017-04-10 -- Defaults for in out parameters
Priority: Very Low Difficulty: Easy
Class: Amendment Status: No Action (7-0-0) 18-10-21
RM References: 6.01 (19)
AI12-0222-1/02 2017-07-20 -- Representation aspects and private types
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-07-20
RM References: 13.01 (9/5) 13.01 (9.1/4) 13.01 (9.2/5)
AI12-0223-1/00 2017-04-14 -- The co-derivation problem
Priority: Low Difficulty: Hard
Class: Amendment Status: Hold by Letter Ballot (9-1-1) - 18-05-07
RM References: 3.04 (2/2)
AI12-0224-1/03 2017-09-07 -- Use of Fortran C Interfacing features
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 17-07-21
RM References: 1.02 (3/5) B.05 (27)
AI12-0225-1/03 2017-07-21 -- Prefix of Obj'Image
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-07-21
RM References: 3.05 (55.1/4)
AI12-0226-1/04 2018-08-31 -- Make objects more consistent
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-07-10
RM References: 3.03 (11.1/3) 3.03 (21.1/3) 3.03 (23.8/5) 4.06 (58.1/4) 4.06 (58.3/4)
AI12-0227-1/02 2017-07-21 -- Evaluation of nonstatic universal expressions when no operators are involved
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-07-21
RM References: 4.04 (10) 8.06 (29)
AI12-0228-1/03 2017-09-07 -- Properties of qualified expressions used as names
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-08-03
RM References: 3.03 (23.7/3) 3.10 (9/3)
AI12-0229-1/02 2017-04-21 -- Type renaming
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (6-0-3) 19-10-07
RM References: 8.05.06 (0)
AI12-0230-1/06 2019-04-02 -- Deadline Floor Protocol
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 18-11-27
RM References: D.02.06 (2/2) D.02.06 (7/2) D.02.06 (9/2) D.02.06 (9.1/3) D.02.06 (9.2/3) D.02.06 (9.3/3) D.02.06 (10/2) D.02.06 (11/2)
D.02.06 (12/3) D.02.06 (13/3) D.02.06 (14/2) D.02.06 (15/2) D.02.06 (16/2) D.02.06 (17/2) D.02.06 (18/2) D.02.06 (19/2)
D.02.06 (20/2) D.02.06 (21/2) D.02.06 (22/2) D.02.06 (23/2) D.02.06 (24/2) D.02.06 (25/2) D.02.06 (26/2) D.02.06 (27/2)
D.02.06 (28/2) D.02.06 (29/2) D.02.06 (30/2) D.02.06 (33/3) D.02.06 (34/2) D.03 (13) D.05.02 (2/2) D.05.02 (3/2)
D.05.02 (4/2)
AI12-0231-1/01 2017-06-05 -- Null_Task_Id and Activation_Is_Complete
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 17-07-21
RM References: C.07.01 (15)
AI12-0232-1/04 2018-04-13 -- Rules for pure generic bodies
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 17-11-20
RM References: 10.02.01 (9/3) 10.02.01 (15.1/3) 10.02.01 (15.5/3)
AI12-0233-1/05 2018-04-13 -- Pre'Class for hidden operations of private types
Priority: Low Difficulty: Medium
Class: Ramification Status: WG9 Approved 16-06-22
RM References: 6.01.01 (38/4)
AI12-0234-1/08 2020-10-20 -- Compare-and-swap for atomic objects
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-03-11
RM References: C.06.01 (0) C.06.02 (0)
AI12-0235-1/05 2019-01-25 -- System.Storage_Pools should be pure
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-11-15
RM References: 13.11 (5)
AI12-0236-1/08 2019-01-21 -- declare expressions
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 19-01-15
RM References: 2.08 (6) 3.09.02 (3) 3.10.02 (9.1/3) 3.10.02 (16.1/3) 3.10.02 (32.2/3) 4.03.02 (5.4/3) 4.03.03 (15.1/3) 4.04 (7/3)
4.05.09 (0) 6.02 (10/4) 7.05 (2.1/5) 8.01 (2.1/4)
AI12-0237-1/04 2018-09-05 -- Getting the representation of an enumeration value
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-07-05
RM References: 13.04 (10) 13.04 (11/3)
AI12-0238-1/01 2017-10-05 -- Delta package specifications
Priority: Very Low Difficulty: Hard
Class: Amendment Status: No Action (8-0-0) 17-10-14
RM References: 7.08 (0)
AI12-0239-1/03 2019-10-01 -- Ghost Code
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold 11-0-2 20-01-15
RM References: 11.04.01 (27/3)
AI12-0240-1/04 2018-01-24 -- Access value ownership and parameter aliasing
Priority: Low Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: H.07 (0) H.08 (0)
Alternatives: AI12-0240-2 AI12-0240-3 AI12-0240-4 AI12-0240-5 AI12-0240-6
AI12-0240-2/02 2018-12-11 -- Access ownership for Abstract Data Types
Priority: Low Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: 3.10.03 (0)
Alternatives: AI12-0240-1 AI12-0240-3 AI12-0240-4 AI12-0240-5 AI12-0240-6
AI12-0240-3/01 2018-10-18 -- Access value ownership and parameter aliasing
Priority: Low Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: H.07 (0) H.08 (0)
Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-4 AI12-0240-5 AI12-0240-6
AI12-0240-4/01 2019-01-10 -- Pointer ownership for Abstract Data Types
Priority: Low Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: 3.10.03 (0)
Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-3 AI12-0240-5 AI12-0240-6
AI12-0240-5/02 2019-03-07 -- Heap object ownership for Abstract Data Types
Priority: Low Difficulty: Hard
Class: Amendment Status: Hold (9-0-0) - 19-10-07
RM References: 6.01.03 (0)
Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-3 AI12-0240-4 AI12-0240-6
AI12-0240-6/05 2019-07-16 -- Global aspect and access types used to implement Abstract Data Types
Priority: High Difficulty: Hard
Class: Amendment Status: No Action (14-0-0) 20-04-29
RM References: 6.01.02 (0) 6.01.03 (0)
Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-3 AI12-0240-4 AI12-0240-5
AI12-0241-1/02 2018-01-18 -- Specifying Nonblocking for Language-Defined Units
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 17-12-18
RM References: 3.09 (6/2) 3.09 (18.2/3) 5.05.01 (2/3) 7.06 (4/3) 9.06 (10) 9.06.01 (2/2) 9.06.01 (8/2) 9.06.01 (15/2)
11.04.01 (2/2) 13.07.02 (2) 13.09 (3/3) 13.11.02 (3/3) 13.13.01 (2) A.04.03 (5) A.04.04 (3) A.04.05 (3)
A.04.07 (3) A.04.09 (7/3) A.04.09 (10/3) A.04.09 (11.7/3) A.04.09 (11.10/3) A.04.10 (7/3) A.04.10 (10/3) A.04.10 (18/3)
A.04.10 (21/3) A.05.01 (3) A.10.01 (55) A.10.01 (60) A.10.01 (67) A.10.01 (72) A.10.01 (77) A.10.01 (83)
A.15 (3) A.16 (15/2) A.16 (16/2) A.16 (17/2) A.16 (18/2) A.16 (19/2) A.16 (20/2) A.16.01 (3/3)
A.17 (3/2) B.03.01 (3) B.03.02 (4) B.04 (7) C.03.02 (2/3) C.07.01 (2/2) C.07.01 (3/3) C.07.01 (16)
C.07.02 (2) C.07.03 (2/2) D.02.01 (1.2/3) D.02.01 (1.3/3) D.02.01 (7/3) D.02.04 (2.2/3) D.02.05 (4/2) D.02.06 (9/2)
D.05.01 (3/2) D.08 (3) D.10 (3/2) D.10 (4) D.10 (5.2/3) D.10 (10) D.10 (10.1/3) D.10.01 (3/3)
D.10.01 (6/3) D.10.01 (14/3) D.11 (3/2) D.14 (3/2) D.14.01 (3/2) D.14.01 (5/2) D.14.02 (3/2) D.14.02 (5/2)
D.14.03 (3/3) D.15 (3/2) D.15 (4/2) D.16 (3/3) D.16.01 (3/3) E.05 (3) E.05 (23) F.03.03 (3)
F.03.03 (14) F.03.03 (15) G.01.01 (2/1) G.01.02 (2/2) G.01.03 (8) G.03.01 (2/2) G.03.02 (2/2)
AI12-0242-1/11 2019-01-17 -- Shorthand Reduction Expressions for Objects
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 19-01-15
RM References: 4.05.10 (0) 4.01.04 (6)
AI12-0243-1/03 2020-03-25 -- Subtypes as primitive arguments
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold (14-0-0) - 20-04-29
RM References: 3.09.02 (10/2) 3.09.02 (20.4/3)
Alternatives: AI12-0243-2
AI12-0243-2/01 2020-03-26 -- Subtypes as primitive arguments and class-wide predicates
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold (14-0-0) - 20-04-29
RM References: 3.09.02 (10/2) 4.09.01 (2/5) 13.01.01 (16/3) 13.01.01 (30/3)
Alternatives: AI12-0243-1
AI12-0244-1/02 2018-01-29 -- Check name for Value attributes
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-01-29
RM References: 3.05 (39.4/3) 3.05 (39.5/3) 3.05 (39.12/3) 11.05 (17)
AI12-0245-1/01 2018-01-12 -- "with and use" clause
Priority: Very Low Difficulty: Easy
Class: Amendment Status: No Action (9-0-2) 18-01-29
RM References: 10.01.02 (3)
AI12-0246-1/01 2018-01-12 -- Fixed first indices for variable-length arrays
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (9-1-1) - 18-05-07
RM References: 3.06.01 (3)
AI12-0247-1/01 2018-01-18 -- Potentially Blocking goes too far for Detect_Blocking
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-01-29
RM References: 9.05 (55/5) 9.05 (56/5) 9.05.01 (18/5) H.05 (5/2)
AI12-0248-1/03 2018-03-26 -- Null array and empty container aggregates
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (7-0-0) 18-10-21
RM References: 4.03.03 (2) 4.03.05 (0)
AI12-0249-1/07 2019-03-19 -- User-defined numeric literals
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 18-11-29
RM References: 4.02 (9) 4.02.01 (0) 4.09 (3)
AI12-0250-1/04 2019-03-18 -- Iterator Filters
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-03-11
RM References: 4.03.03 (21) 4.03.03 (26) 4.03.03 (31) 4.03.05 (0) 4.05.10 (0) 5.05 (4) 5.05 (7) 5.05 (9/4)
5.05 (9.1/4) 5.05 (10) 5.05.02 (2/3) 5.05.02 (10/3) 5.05.02 (11/3)
AI12-0251-1/04 2019-01-25 -- Explicit chunk definition for parallel loops
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 18-11-16
RM References: 5.05 (3/3) 5.05 (5) 5.05 (6/5) 5.05 (9/4)
Alternatives: AI12-0251-2
AI12-0251-2/01 2018-03-28 -- Parallel loop chunking libraries
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (7-0-0) 18-10-21
RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3)
Alternatives: AI12-0251-1
AI12-0252-1/02 2018-01-29 -- Duplicate interrupt handlers under Ravenscar
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-01-29
RM References: C.03.01 (13)
AI12-0253-1/01 2018-01-26 -- Saturation arithmetic for scalar types
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: A.05.04 (0)
AI12-0254-1/03 2018-03-06 -- Bounded_Indefinite_Holders
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-03-05
RM References: A.18.32 (0)
AI12-0255-1/01 2018-01-26 -- Component iteration/reflection
Priority: Very Low Difficulty: Hard
Class: Amendment Status: No Action (8-0-3) 18-01-29
RM References: A.20 (0)
AI12-0256-1/04 2018-08-31 -- Aspect No_Controlled_Parts
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-07-06
RM References: H.04.01 (0) 13.01.01 (18.7/5)
AI12-0257-1/02 2020-01-30 -- Generalize prefix views
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold 15-0-0 20-07-30
RM References: 4.01.03 (9.1/2) 4.01.03 (9.2/2)
AI12-0258-1/04 2018-04-26 -- Containers and controlled element types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-03-05
RM References: A.18 (10/4)
AI12-0259-1/02 2018-03-05 -- Lower bound of strings returned from Ada.Command_Line
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-03-05
RM References: A.15 (14) A.15 (16/3)
AI12-0260-1/04 2018-03-06 -- Functions Is_Basic and To_Basic in Wide_Characters.Handling
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-03-05
RM References: 1.02 (8/3) A.03.05 (8/3) A.03.05 (20/3) A.03.05 (21/3) A.03.05 (33/3) A.03.05 (61/3)
AI12-0261-1/04 2018-05-07 -- Conflict in "private with" rules
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-03-05
RM References: 10.01.02 (12/3) 10.01.02 (13/2) 10.01.02 (14/2) 10.01.02 (15/2) 10.01.02 (16/2)
AI12-0262-1/12 2020-01-06 -- Map-Reduce attribute
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 19-01-15
RM References: 4.01.04 (1) 4.01.04 (6) 4.01.04 (11) 4.05.10 (0)
AI12-0263-1/03 2018-08-31 -- Update references to ISO/IEC 10646
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-03-08
RM References: 1.01.04 (14.2/3) 2.01 (1/3) 2.01 (3.1/3) 2.01 (4/3) 2.01 (4.1/5) 2.01 (5/3) 2.01 (15/3) 2.01 (4.1/5)
2.01 (5/3) 2.03 (4.1/5) 2.03 (5/3) 3.05.02 (2/3) 3.05.02 (3/3) 3.05.02 (4/3) A.01 (36.1/3) A.01 (36.2/3)
A.03.02 (32.6/5) A.03.05 (51.2/5) A.03.05 (55/3) A.03.05 (59/3) A.04.10 (3/3) B.05 (21/5)
AI12-0264-1/03 2018-04-26 -- Overshifting and overrotating
Priority: Low Difficulty: Easy
Class: Ramification Status: Revision 2022 18-04-05
RM References: B.02 (9)
AI12-0265-1/03 2018-04-26 -- Default_Initial_Condition for types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-04-04
RM References: 7.03.03 (0) 1.01.03 (17.1/5) 11.04.02 (23.2/5) 11.04.02 (23.3/5)
AI12-0266-1/11 2019-01-29 -- Parallel Container Iterators
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 19-01-29
RM References: 5.05 (3/5) 5.05 (8.1/5) 5.05 (9.3/5) 5.05.01 (4/3) 5.05.01 (6/4) 5.05.01 (11/3) 5.05.02 (2.1/3) 5.05.02 (4/3)
5.05.02 (10/3) 5.05.02 (11/3) 5.05.02 (12/3) 5.05.02 (13/3) 5.05.02 (15/3) A.18.02 (74.1/3) A.18.02 (230.1/3) A.18.02 (230.2/3)
A.18.03 (46.1/3) A.18.03 (144.1/3) A.18.03 (144.2/3) A.18.05 (37.1/3) A.18.05 (61.1/3) A.18.05 (61.2/3) A.18.06 (51.1/3) A.18.06 (94.1/3)
A.18.06 (94.2/3) A.18.08 (49.1/3) A.18.08 (85.1/3) A.18.08 (85.2/3) A.18.09 (61.1/3) A.18.09 (113.1/3) A.18.09 (113.2/3) A.18.10 (44/3)
A.18.10 (45/3) A.18.10 (70/3) A.18.10 (156/3) A.18.10 (157/3) A.18.10 (158/3) A.18.10 (159/3) A.18.10 (218/3) A.18.10 (219/3)
AI12-0267-1/08 2019-01-25 -- Data race and non-blocking checks for parallel constructs
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2022 18-11-19
RM References: 9.05 (57/5) 9.10 (11) 9.10 (15) 9.10.01 (0) H.05 (1/2) H.05 (5/5) H.05 (6/2)
AI12-0268-1/01 2018-03-29 -- Automatic instantiation for generic formal parameters
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3)
AI12-0269-1/04 2018-04-26 -- Aspect No_Return for functions reprise
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 18-04-04
RM References: 6.05.01 (0) 6.05.01 (1/3) 6.05.01 (3.1/3) 6.05.01 (3.4/3) 6.05.01 (5/2) 6.05.01 (6/2) 6.05.01 (7/2) J.15.02 (2/3)
J.15.02 (3/3) J.15.02 (4/3)
AI12-0270-1/00 2018-04-09 -- Eliminate differences between use of values and objects
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 3.03 (11.1/3) 3.03 (12)
AI12-0271-1/00 2018-04-09 -- Specifying aspects of (anonymous) formal parameters
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (8-0-3) - 18-05-07
RM References: 13.01.01 (3/3)
AI12-0272-1/03 2018-08-31 -- Contracts for generic formal parameters
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-07-11
RM References: 6.01.01 (1/5) 6.01.01 (39/5) 7.03.03 (1/5) 7.03.03 (2/5) 7.03.03 (8/5) 7.03.04 (5/5) F.01 (1)
AI12-0273-1/00 2018-04-09 -- Contract matching for formal subprograms
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 12.06 (8.9/5)
AI12-0274-1/01 2018-05-08 -- Case pattern matching
Priority: Very Low Difficulty: Hard
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 5.04 (4/3)
AI12-0275-1/03 2018-08-31 -- Make subtype_mark optional in object renames
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-07-05
RM References: 8.05.01 (2/3) 8.05.01 (3/2)
AI12-0276-1/03 2019-01-25 -- Admission policy defined for acquiring a protected object resource
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 18-11-27
RM References: D.04.01 (0) 9.05.01 (19) D.01 (22/1)
AI12-0277-1/03 2018-08-31 -- The meaning of "accessibility level of the body of F"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-06-29
RM References: 3.10.02 (19.2/4)
AI12-0278-1/02 2018-07-05 -- Implicit conversions of anonymous return types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-07-05
RM References: 3.10.02 (10.3/3)
AI12-0279-1/06 2020-02-03 -- Nonpreemptive dispatching needs more dispatching points
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-11-26
RM References: D.02.01 (1.5/2) D.02.01 (7/5)
AI12-0280-1/01 2018-05-14 -- Contract_Cases aspect
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (10-0-0) 19-06-15
RM References: 6.01.02 (0)
Alternatives: AI12-0280-2
AI12-0280-2/08 2021-01-14 -- Making 'Old more flexible
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 19-09-07
RM References: 6.01.01 (20/3) 6.01.01 (21/3) 6.01.01 (22/3) 6.01.01 (22.1/4) 6.01.01 (22.2/5) 6.01.01 (23/3) 6.01.01 (24/3) 6.01.01 (26/4)
6.01.01 (27/5) 6.01.01 (39/5)
Alternatives: AI12-0280-1
AI12-0281-1/03 2019-03-05 -- CPU Affinity for Protected Objects
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-26
RM References: D.16 (7/3) D.16 (10/3) D.16 (11/3) D.16 (14/3) J.05.09 (4/3) J.05.09 (6/3)
AI12-0282-1/06 2020-04-29 -- Atomic, Volatile, and Independent generic formal types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-03-11
RM References: C.06 (6.1/3) C.06 (6.3/3) C.06 (6.5/3) C.06 (6.8/3) C.06 (12/3) C.06 (12.1/3) C.06 (21/4)
AI12-0283-1/03 2018-08-31 -- Nonblocking and remote calls
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-07-12
RM References: E.02.02 (9.3/1) E.02.03 (13/3) E.04 (8)
AI12-0284-1/01 2018-06-11 -- Renaming a file to an existing file should be allowed
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Hold 18-06-11
RM References: A.16 (12/2) A.16 (66/2) A.16 (67/3)
AI12-0285-1/03 2018-08-31 -- Syntax for Stable_Properties aspects
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-07-06
RM References: 7.03.04 (2/5) 7.03.04 (3/5) 7.03.04 (4/5) 7.03.04 (6/5) 7.03.04 (7/5) 7.03.04 (9/5) 7.03.04 (10/5) 7.03.04 (14/5)
13.01.01 (4/5)
AI12-0286-1/03 2019-01-25 -- Allows_Exit aspect should be used on language-defined subprograms
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-11-15
RM References: A.16 (36/2) A.16 (111/2) A.17 (8/3) A.17 (22/3)
AI12-0287-1/03 2018-11-20 -- Legality Rules for null exclusions in renaming are too fierce
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 18-11-15
RM References: 8.05.01 (4.4/2) 8.05.01 (4.5/2) 8.05.01 (4.6/2) 8.05.04 (4.2/2) 12.04 (8.3/2) 12.04 (8.4/2) 12.04 (8.5/2) 12.04 (8.2/5)
12.06 (8.2/5)
AI12-0288-1/01 2018-08-06 -- 'Value for all types
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07
RM References: 4.10 (0) 3.05 (39.3/2)
AI12-0289-1/02 2019-02-18 -- Implicitly null excluding anonymous access types and conformance
Priority: Low Difficulty: Easy
Class: Ramification Status: Revision 2022 18-11-19
RM References: 3.10 (26)
AI12-0290-1/04 2019-02-18 -- Restriction Pure_Barriers
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-11-21
RM References: D.07 (2) D.07 (10.10/4)
AI12-0291-1/04 2020-09-09 -- Jorvik Profile
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-11-26
RM References: D.13 (0) D.13 (1/3) D.13 (4/3) D.13 (6/4) D.13 (9/3) D.13 (10/3) D.13 (11/4) D.13 (12/4)
AI12-0292-1/02 2018-11-13 -- Various cleanups for Ada 2020
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-11-13
RM References: 3.10.02 (9.1/3) 5.05.03 (9/5) 5.05.03 (13/5) 8.05.04 (11) 9.10 (14)
AI12-0293-1/03 2019-04-02 -- Add predefined FIFO_Streams packages
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-11-27
RM References: 13.13.01 (1) 13.13.01 (9) 13.13.01 (9.1/1)
AI12-0294-1/04 2018-12-10 -- More clean-ups for Ada 2020
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 18-11-15
RM References: 3.03 (23/3) 5.05 (8) 5.05 (9/5) 5.05 (9.1/5) 5.05.03 (20/5) 9.10.01 (8/5) D.02.01 (1.5/2)
AI12-0295-1/03 2019-03-19 -- User-defined string literals
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 18-11-29
RM References: 4.02 (6) 4.02 (10) 4.02 (11) 3.06.03 (1) 4.02.01 (0) 4.09 (26/3)
AI12-0296-1/02 2019-02-22 -- User-defined character and null literals
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold 7-0-0 18-10-23
RM References: 4.02 (3) 4.02 (5) 4.02 (9/5) 3.05.02 (1) 4.02.01 (0)
AI12-0297-1/01 2018-12-06 -- Defaults for generic formal packages and formal "in out" objects
Priority: Medium Difficulty: Medium
Class: Amendment Status: Hold 9-0-1 19-02-26
RM References: 12.04 (6) 12.07 (2)
AI12-0298-1/07 2020-12-14 -- Revise the conflict check policies to ensure compatibility
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 19-04-09
RM References: 9.10 (10) 9.10 (17/5) 9.10.01 (3/5) 9.10.01 (5/5) 9.10.01 (8/5) 9.10.01 (10/5) 9.10.01 (11/5) 9.10.01 (12/5)
9.10.01 (13/5) 9.10.01 (14/5)
AI12-0299-1/02 2019-01-14 -- The permission of D.2.1(10.1/2) allows too much
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-01-14
RM References: D.02.01 (10.1/2) D.02.01 (7/5)
AI12-0300-1/03 2019-02-25 -- Annex G text for Fixed * integer
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-01-15
RM References: G.02.03 (23)
AI12-0301-1/03 2019-03-04 -- Predicates should be checked like constraints for types with Default_Value
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-01-15
RM References: 3.02.04 (31/4)
AI12-0302-1/07 2020-07-21 -- Default Global aspect for language-defined units
Priority: High Difficulty: Medium
Class: Amendment Status: Revision 2022 19-10-30
RM References: 3.09 (6/2) 3.09 (18.2/3) 9.06 (10) 9.06.01 (2/2) 9.06.01 (8/2) 9.06.01 (15/2) 11.04.01 (2/2) 13.07.02 (2)
13.11.02 (3/3) 13.13.01 (9) 13.13.04 (3/3) 13.13.04 (10/3) 13.13.04 (11/3) 13.13.05 (3/3) A.04.03 (5) A.04.04 (3)
A.04.05 (3) A.04.07 (3) A.04.07 (46.2/2) A.04.08 (3) A.04.08 (50/2) A.04.09 (7/3) A.04.09 (10/3) A.04.09 (11.7/3)
A.04.09 (11.10/3) A.04.10 (7/3) A.04.10 (10/3) A.04.10 (18/3) A.04.10 (21/3) A.05.02 (5) A.05.02 (8) A.05.02 (9)
A.05.02 (12) A.05.02 (17) A.05.02 (20) A.05.02 (21) A.05.02 (24) A.05.06 (0) A.05.07 (0) A.08.01 (2)
A.08.01 (10.1/4) A.08.01 (12) A.08.04 (2) A.08.04 (10.1/4) A.08.04 (12) A.08.04 (13) A.08.04 (14) A.09 (3)
A.10.01 (2) A.10.01 (21/1) A.10.01 (23) A.10.01 (24) A.10.01 (25) A.10.01 (26) A.10.01 (28) A.10.01 (29)
A.10.01 (30) A.10.01 (31) A.10.01 (32) A.10.01 (35) A.10.01 (36) A.10.01 (37) A.10.01 (38) A.10.01 (39)
A.10.01 (41) A.10.01 (42) A.10.01 (43) A.10.01 (44) A.10.01 (45) A.10.01 (47) A.10.01 (48) A.10.01 (49)
A.10.01 (54) A.10.01 (55) A.10.01 (59) A.10.01 (60) A.10.01 (65) A.10.01 (66) A.10.01 (70) A.10.01 (71)
A.10.01 (75) A.10.01 (76) A.10.01 (81) A.10.01 (82) A.10.01 (49.1/2) A.10.01 (50) A.10.11 (3/2) A.10.12 (3/2)
A.12.01 (3/3) A.12.01 (15) A.12.01 (16) A.12.01 (18) A.12.01 (19) A.12.01 (22) A.12.02 (3) A.12.03 (3)
A.12.04 (3/2) A.15 (3) A.16 (3/2) A.16.01 (3/3)
AI12-0303-1/03 2019-05-09 -- Some constants must be covered by Global aspects; extensibility
Priority: Medium Difficulty: Easy
Class: Amendment Status: No Action (14-0-0) 20-04-29
RM References: 6.01.02 (12/5) 6.01.02 (32/5) 6.01.02 (46/5)
AI12-0304-1/03 2019-05-09 -- Image attributes of language-defined types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-05-09
RM References: 4.10 (0)
AI12-0305-1/01 2019-02-01 -- Bounded Big Integers
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold 9-0-1 19-02-26
RM References: A.05.08 (0)
AI12-0306-1/04 2019-04-02 -- Split null array aggregates from positional array aggregates
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-12
RM References: 4.03.03 (2) 4.03.03 (3/2) 4.03.03 (9/5) 4.03.03 (26/5) 4.03.03 (26.1/5) 4.03.03 (33/3) 4.03.03 (38) 4.03.03 (39)
4.03.03 (42)
AI12-0307-1/03 2019-03-04 -- Resolution of aggregates
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-11
RM References: 4.03 (3/5)
AI12-0308-1/03 2019-03-04 -- Declared entities need to be declarations
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-05
RM References: 3.01 (6/3) 3.03 (6) 3.03 (18.1/3) 3.03.01 (23/3) 5.05.03 (0) 8.01 (2.1/4) 8.01 (4.1/4)
AI12-0309-1/03 2019-03-04 -- Missing checks for pragma Suppress
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-02-12
RM References: 11.05 (10) 11.05 (19) 11.05 (20) 11.05 (22) 11.05 (24)
AI12-0310-1/03 2019-03-04 -- Specifying private parts of packages in aspect Global
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (14-0-0) 20-04-29
RM References: 6.01.02 (10/5) 6.01.02 (33/5)
AI12-0311-1/03 2019-02-26 -- Suppressing client-side assertions for language-defined units
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-26
RM References: 11.04.02 (23.5/5) 11.05 (23) 11.05 (26)
AI12-0312-1/12 2021-05-07 -- Examples for Ada 202x
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 19-10-29
RM References: 3.09.04 (32/2) 3.10.01 (23) 3.10.02 (41) 4.02.01 (0) 4.03.03 (44) 4.03.05 (0) 4.05.07 (21/3) 4.05.08 (13/3)
4.05.10 (0) 5.05 (21) 6.01.01 (42/3) 6.01.02 (0) 7.03.02 (24/3) 7.03.03 (0) 11.03 (7) 13.04 (12)
13.04 (14) B.03 (77) B.03 (79/3) B.03 (83)
AI12-0313-1/06 2021-03-08 -- Introduction for Ada 2020
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 19-04-09
RM References:
AI12-0314-1/01 2019-02-15 -- Title of 13.13.1
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-15
RM References: 13.13.01 (0)
AI12-0315-1/03 2019-03-05 -- Image Attributes subclause improvements
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-14
RM References: 4.10 (0)
AI12-0316-1/02 2019-02-26 -- Preconditions for checking Task_Ids
Priority: Low Difficulty: Easy
Class: Amendment Status: Hold 11-0-0 19-02-26
RM References: C.07.01 (4/3) D.02.06 (9/5) D.02.06 (29/2) D.05.01 (4) D.05.01 (5) D.05.01 (9) D.11 (3/5) D.11 (9)
D.14 (5/2) D.14 (17/2)
AI12-0317-1/09 2019-03-11 -- Simplifying the rules for newly constructed objects
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-02-26
RM References: 3.10.02 (16.1/5) 4.03.02 (5.1/5) 4.03.02 (5.2/5) 4.03.02 (5.3/5) 4.03.02 (5.4/5) 4.03.02 (5.5/5) 4.04 (9) 4.05.09 (6/5)
6.02 (10/5) 7.05 (2.1/5)
AI12-0318-1/02 2019-02-26 -- No_IO should apply to Ada.Directories
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-02-26
RM References: H.04 (20/2) H.04 (24/3)
AI12-0319-1/05 2021-05-06 -- Nonblocking for Unchecked_Deallocation is wrong
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 19-03-11
RM References: 9.05 (47/5) 9.05 (68/5) 13.11 (15) 13.11 (17) 13.11 (18/4) 13.11.02 (3/5)
AI12-0320-1/03 2019-03-11 -- Changes from the RM review
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-03-06
RM References: 4.10 (3.1/5) 4.10 (6/5) 5.05.03 (11/5) C.01 (2) C.03.02 (24/3) E.02.01 (7/4) E.02.01 (7.1/4)
AI12-0321-1/04 2020-10-20 -- Support for Arithmetic Atomic Operations and Test and Set
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-03-11
RM References: C.06.03 (0) C.06.04 (0)
AI12-0322-1/04 2019-03-11 -- Equivalence for the target name symbol
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-03-11
RM References: 4.09 (16) 5.02.01 (4/5) 5.02.01 (5/5)
AI12-0323-1/02 2019-03-11 -- Implementation Advice for the CPU aspect for protected types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-03-11
RM References: D.16 (16/5)
AI12-0324-1/03 2019-04-09 -- More changes from the RM review
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-03-19
RM References: 3.10 (9/5) 3.10.02 (19.2/5) 4.03.04 (0) 6.04.01 (6.17/5) 7.03.03 (0) 7.03.04 (0) 8.06 (17.1/4) D.04 (1/3)
AI12-0325-1/09 2019-04-09 -- Various issues with user-defined literals
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-04-01
RM References: 4.02 (6) 4.02 (10) 4.02 (11) 4.02.01 (0)
AI12-0326-1/02 2019-04-15 -- Consequence for incorrect Allows_Exit
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (10-0-0) 19-06-14
RM References: 5.05.03 (17/5) 5.05.03 (21/5)
Alternatives: AI12-0326-2
AI12-0326-2/04 2019-07-15 -- Bounded errors associated with procedural iterators
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 19-07-15
RM References: 5.05 (3/5) 5.05.03 (15/5) 5.05.03 (17/5) 5.05.03 (18/5) 5.05.03 (19/5) 5.05.03 (20/5) 5.05.03 (21/5)
Alternatives: AI12-0326-1
AI12-0327-1/03 2019-04-09 -- Clarify iterator filter wording for aggregates
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-04-09
RM References: 5.05 (6.2/6) 4.03.03 (21) 4.03.05 (0) 4.05.08 (6/4) 4.05.10 (0)
AI12-0328-1/04 2019-05-09 -- Meaning of limited type and record type in 4.5.2(28.1/4)
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-05-09
RM References: 4.05.02 (28.1/4) 4.05.02 (4.1/4) 4.05.02 (15/3)
AI12-0329-1/02 2019-04-09 -- Naming of FIFO_Streams packages
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-04-09
RM References: 13.13.01 (9/5) 13.13.01 (9.1/5)
AI12-0330-1/07 2021-03-14 -- Add items to the Glossary
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-05-09
RM References: N (0)
AI12-0331-1/02 2019-05-10 -- Order of finalization of a subpool
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-05-09
RM References: 13.11.05 (5/3) 13.11.05 (6/3) 13.11.05 (7/3) 13.11.05 (7.1/4) 13.11.05 (8/3) 13.11.05 (9/3)
AI12-0332-1/02 2019-05-09 -- Implementation Permission for Default_Initial_Condition
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-05-09
RM References: 7.03.03 (9/5)
AI12-0333-1/05 2021-06-04 -- Predicate checks on out parameters
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-07-03
RM References: 3.02.04 (31/5) 4.06 (51/4) 6.04.01 (14)
AI12-0334-1/04 2019-06-10 -- Predicates and Global/Nonblocking
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 19-10-07
RM References: 6.01.02 (1/5) 6.01.02 (12/5) 6.01.02 (17/5) 9.05 (65/5)
Alternatives: AI12-0334-2
AI12-0334-2/04 2019-10-01 -- Predicates and Global/Nonblocking
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (14-0-0) 20-04-29
RM References: 6.01.02 (1/5) 6.01.02 (12/5) 6.01.02 (17/5) 9.05 (65/5)
Alternatives: AI12-0334-1
AI12-0335-1/03 2019-07-02 -- Dynamic accessibility check needed for some requeue targets
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-07-02
RM References: 9.05.04 (7/4)
AI12-0336-1/04 2019-12-02 -- Meaning of Time_Offset
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-07-03
RM References: 9.06.01 (6/2) 9.06.01 (35/2) 9.06.01 (40/2) 9.06.01 (41/2) 9.06.01 (42/3) 9.06.01 (90/2) 9.06.01 (91/2)
AI12-0337-1/02 2019-07-03 -- Simple_Name("/") in Ada.Directories
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-07-03
RM References: A.16 (47/2) A.16 (74/2) A.16 (82/3)
AI12-0338-1/03 2019-07-02 -- type invariant checking and incomplete types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 19-07-02
RM References: 7.03.02 (20/5)
AI12-0339-1/03 2019-07-19 -- Empty function for Container aggregates
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 19-07-16
RM References: A.18.02 (8/5) A.18.02 (12.3/5) A.18.02 (78.2/5) A.18.02 (98.6/5) A.18.03 (6/5) A.18.03 (10.2/5) A.18.03 (50.2/5) A.18.05 (3/5)
A.18.05 (7.2/5) A.18.05 (37.3/5) A.18.05 (46/2) A.18.06 (4/5) A.18.06 (8.2/5) A.18.06 (51.4/5) A.18.08 (3/5) A.18.08 (8.1/5)
A.18.08 (59.2/5) A.18.08 (68/2) A.18.09 (4/5) A.18.09 (9.1/5) A.18.09 (74.2/5) A.18.10 (15.2/5) A.18.18 (8.1/5) A.18.19 (6.1/5)
A.18.20 (6/3) A.18.21 (6/3) A.18.22 (6/3) A.18.23 (6/3) A.18.24 (6/3) A.18.25 (8/3)
AI12-0340-1/02 2019-10-29 -- Put_Image should use a Text_Buffer
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2022 19-10-29
RM References: A.04.12 (0) 4.10 (3.1/5) 4.10 (3.2/5) 4.10 (6/5) 4.10 (25.2/5) 4.10 (28/5) 4.10 (31/5) 4.10 (41/5)
H.04 (23.2/5) H.04 (23.11/5)
AI12-0341-1/01 2019-09-04 -- Syntax of conditional case expressions and statements
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (9-0-1) 19-10-05
RM References: 4.05.07 (5/3) 5.04 (2/3)
AI12-0342-1/07 2021-07-14 -- Various issues with user-defined literals (part 2)
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-01-15
RM References: 4.02.01 (0) 3.09.02 (1/2) 6.03.01 (22)
AI12-0343-1/03 2020-01-15 -- Return Statement Checks
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-01-15
RM References: 6.05 (5.12/5) 6.05 (8/4) 6.05 (8.1/3) 6.05 (21/3)
AI12-0344-1/05 2020-06-19 -- Procedural iterator aspects
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-06-15
RM References: 5.05.03 (16/5) 5.05.03 (20/5) 5.05.03 (22/5) 9.10.01 (22/5) H.04 (12)
AI12-0345-1/04 2021-05-27 -- Dynamic accessibility of explicitly aliased parameters
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-01-15
RM References: 3.10.02 (5) 3.10.02 (7/4) 3.10.02 (10.5/3) 3.10.02 (13.4/4) 3.10.02 (19.2/5) 3.10.02 (21)
AI12-0346-1/02 2020-04-27 -- Ada and OpenMP
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 19-10-11
RM References: 5.05 (2/3) 5.05.02 (5/4) 5.05.02 (7/3)
AI12-0347-1/04 2020-02-19 -- Presentation issues
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 20-01-29
RM References: 9.06.01 (35.1/5) 12.06 (15) C.06 (19.1/5) E.04.02 (5)
AI12-0348-1/03 2020-01-28 -- Remove Combiners from Reduction Expressions
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2022 20-01-15
RM References: 4.05.10 (0)
AI12-0349-1/01 2020-01-08 -- Add "parallel" to aggregate iterators
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold 13-0-2 20-07-30
RM References: 4.03.03 (5.1/5) 4.03.05 (21/5)
AI12-0350-1/02 2020-03-12 -- Swap for Indefinite_Holders
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-03-11
RM References: A.18.18 (22/5) A.18.18 (67/5) A.18.18 (73/3) A.18.32 (13/5)
AI12-0351-1/02 2020-01-16 -- Matching for actuals for formal derived types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-01-15
RM References: 12.05.01 (7) 12.05.01 (8)
AI12-0352-1/02 2020-01-16 -- Early derivation and equality of untagged types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-01-15
RM References: 4.05.02 (9.8/4)
AI12-0353-1/01 2020-01-10 -- Global and Nonblocking aspects and dispatching calls
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (14-0-0) 20-04-29
RM References: 6.01.02 (14/5) 6.01.02 (15/5) 6.01.02 (42/5) 9.05 (49/5)
AI12-0354-1/02 2020-06-16 -- Semantics of Parallel_Iterators
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-06-16
RM References: 5.05.01 (21/3)
AI12-0355-1/02 2020-04-26 -- Generalized aspect specifications
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (14-0-0) 20-09-09
RM References: 13.01.01 (4/5) 13.01.01 (12/5) 13.01.01 (18.7/5) 13.01.01 (36/3)
Alternatives: AI12-0355-2
AI12-0355-2/02 2020-10-02 -- Aspect specifications for parallel constructs
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 20-09-09
RM References: 4.05.10 (3/5) 4.05.10 (21/5) 5.05 (3/5) 5.05 (9/5) 5.05.03 (27/5) 13.01.01 (37/3)
Alternatives: AI12-0355-1
AI12-0356-1/02 2020-01-16 -- Root_Storage_Pool_With_Subpools should have Preelaborable_Initialization
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-01-15
RM References: 13.11.04 (4/3) 13.11.04 (5/3)
AI12-0357-1/01 2020-01-29 -- Standard procedural iterator for parallel work-list algorithms
Priority: Very Low Difficulty: Medium
Class: Amendment Status: Hold 20-01-29
RM References: 5.05.04 (0)
AI12-0358-1/01 2020-01-29 -- Returnable attribute
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Hold 20-01-29
RM References: 6.05 (5.11/5)
AI12-0359-1/02 2020-03-12 -- Calls to subprograms declared in shared passive units
Priority: Low Difficulty: Easy
Class: Ramification Status: Revision 2022 20-03-11
RM References: E.01 (5) E.02.01 (11) E.04 (1)
AI12-0360-1/02 2020-04-26 -- Procedural iterators for generic procedures
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold 15-0-0 20-07-30
RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3)
AI12-0361-1/02 2020-03-12 -- Ada.Streams.Storage packages are still useful
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-03-11
RM References: 13.13.01 (10/5) 13.13.01 (11/5)
AI12-0362-1/01 2020-02-05 -- Floor and other rounding attributes for fixed point types
Priority: Low Difficulty: Easy
Class: Amendment Status: Hold (11-0-2) - 20-06-13
RM References: A.05.04 (4)
Alternatives: AI12-0362-2
AI12-0362-2/03 2020-06-19 -- Attributes for fixed point types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-06-15
RM References: 4.01.04 (12/1)
Alternatives: AI12-0362-1
AI12-0363-1/05 2020-06-15 -- Fixes for Atomic and Volatile
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 20-06-15
RM References: 3.10.02 (26/3) 9.10 (1/5) C.06 (6.4/3) C.06 (6.10/3) C.06 (8.1/4) C.06 (12/5) C.06 (12.1/5) C.06 (13.3/5)
C.06 (19.1/5)
AI12-0364-1/03 2020-10-20 -- Add a modular atomic arithmetic package
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-03-11
RM References: C.06.05 (0) C.06.04 (1/5) C.06.04 (2/5) C.06.04 (3/5) C.06.04 (9/5)
AI12-0365-1/01 2020-02-06 -- Easier enumeration representation value definition
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold 20-02-06
RM References: 3.05.01 (3) 13.04 (6)
AI12-0366-1/04 2020-05-05 -- Changes to Big_Integer and Big_Real
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-04-30
RM References: A.05.06 (0) A.05.07 (0)
AI12-0367-1/02 2020-03-12 -- Glitches in aspect specifications
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-03-11
RM References: 3.05.09 (8/2) 3.05.10 (2/1) 13.01 (9.1/5) 13.14 (10)
AI12-0368-1/03 2020-03-12 -- Declare expressions can be static
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-03-11
RM References: 4.09 (8) 4.09 (12.1/3) 4.09 (17) 6.01.01 (24.2/5) 6.01.01 (24.3/5) 6.01.01 (24.4/5) 6.01.01 (24.5/5) C.04 (9)
AI12-0369-1/02 2020-03-12 -- Relaxing barrier restrictions
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-03-11
RM References: D.07 (1.3/5) D.07 (10.12/5)
AI12-0370-1/01 2020-03-06 -- Pattern to use for specifying a precondition
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 20-03-11
RM References: A.18.03 (16.1/5)
AI12-0371-1/03 2021-05-24 -- Fix-ups for aspects in generic formal parts
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-03-11
RM References: 3.10.02 (8) 6.01.01 (40/5) 12.01 (9)
AI12-0372-1/04 2020-06-15 -- Static accessibility of "master of the call"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-06-15
RM References: 3.10.02 (10.5/5) 3.10.02 (19.3/4) 6.04.01 (6.4/3)
AI12-0373-1/06 2020-04-29 -- Bunch 'o fixes
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-03-22
RM References: 3.01 (1) 4.02 (4) 4.02 (8/2) 4.02.01 (3/5) 4.02.01 (4/5) 4.02.01 (5/5) 4.09 (17.3/5) 6.01.01 (41/5)
8.05.04 (4/3) 13.01.01 (4/3) 13.01.01 (11/3) 13.14 (3/5)
AI12-0374-1/05 2020-06-05 -- Fixes for Nonblocking
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (12-0-2) 20-09-09
RM References: 9.05 (24/5) 9.05 (27/5) 9.05 (34/5) 9.05 (36/5) 9.05 (47/5) 9.05 (49/5) 9.05 (65/5) 9.05 (68/5)
13.01.01 (18.1/4)
Alternatives: AI12-0374-2
AI12-0374-2/06 2021-05-28 -- Fixes for Nonblocking
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2022 20-07-25
RM References: 9.05 (17/5) 4.09.01 (2/5)
Alternatives: AI12-0374-1
AI12-0375-1/02 2020-04-29 -- Meaning of Global when there is no mode
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-04-29
RM References: 6.01.02 (0/5)
AI12-0376-1/02 2020-04-30 -- Representation changes finally allowed for untagged derived types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-04-30
RM References: 13.01 (10/4)
AI12-0377-1/04 2020-07-07 -- View conversions and out parameters of types with Default_Value revisited
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 20-06-15
RM References: 6.04.01 (5.1/4) 6.04.01 (5.2/4) 6.04.01 (5.3/4) 6.04.01 (13.1/4) 6.04.01 (13.2/4) 6.04.01 (13.3/4) 6.04.01 (13.4/4) 6.04.01 (15/3)
AI12-0378-1/06 2020-08-28 -- View conversions and out parameters of access types revisited
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 20-07-07
RM References: 6.04.01 (13/3) 6.04.01 (18/3)
AI12-0379-1/03 2020-06-15 -- More Presentation issues
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 20-05-26
RM References: 4.03.04 (26/5) 4.03.04 (30/5) 4.03.05 (66/5) 4.03.05 (67/5) 4.03.05 (68/5) 4.03.05 (69/5) 4.03.05 (70/5) 4.03.05 (71/5)
4.03.05 (72/5) 4.03.05 (73/5) 4.03.05 (74/5) 4.03.05 (84/5) 4.03.05 (90/5) 4.03.05 (91/5) 4.05.10 (41/5) 4.05.10 (43/5)
5.02.01 (6/5) 5.05.03 (31/5)
AI12-0380-1/07 2020-08-04 -- Fixups for Global annotations
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 20-07-30
RM References: 4.06 (24.21/4) 6.01.02 (0) 13.01.01 (17/5) 13.01.01 (18/4) H.04 (23.2/5) H.04 (23.3/5) H.04 (23.4/5) H.07 (0)
H.07.01 (0)
AI12-0381-1/03 2020-06-15 -- Tag of a delta aggregate
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-06-15
RM References: 4.03.04 (14/5)
AI12-0382-1/02 2020-06-15 -- Loosen type-invariant overriding requirement of AI12-0042-1
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-06-15
RM References: 7.03.02 (6.1/4)
AI12-0383-1/03 2020-07-08 -- Renaming values
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-06-16
RM References: 8.05.01 (1) 8.05.01 (4) 8.05.01 (4.1/2) 8.05.01 (6/2) 8.05.01 (8)
AI12-0384-1/02 2020-06-10 -- Fixups for Put_Image and Text_Buffers
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (14-0-0) 20-10-21
RM References: 4.10 (0)
Alternatives: AI12-0384-2
AI12-0384-2/03 2021-02-01 -- Fixups for Put_Image and Text_Buffers
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 20-10-21
RM References: 4.10 (0) A.04.12 (0)
Alternatives: AI12-0384-1
AI12-0385-1/02 2020-06-16 -- Predefined shifts and rotates should be static
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-06-16
RM References: 4.09 (20)
AI12-0386-1/02 2020-07-30 -- Still More Presentation issues
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 20-06-19
RM References: 3.05.01 (14) 4.02.01 (19/5) 5.05.02 (28/5) A.18.32 (20/3)
AI12-0387-1/01 2020-07-24 -- Private_Global aspect
Priority: Low Difficulty: Medium
Class: Amendment Status: Hold 13-0-0 20-09-09
RM References: 4.06 (24.21/4) 6.01.01 (0) 13.01.01 (17/5) 13.01.01 (18/4) H.04 (23.2/5) H.04 (23.3/5) H.04 (23.4/5) H.07 (0)
AI12-0388-1/03 2020-09-09 -- Still More Presentation issues
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 20-08-21
RM References: 4.03.05 (0) 6.01.01 (26.10/4) 6.01.01 (29/4) 7.03.04 (0) D.04 (16)
AI12-0389-1/02 2020-09-09 -- Ignoring unrecognized aspects
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-09-09
RM References: 13.01.01 (38/3) 13.12.01 (6.3/3)
AI12-0390-1/03 2020-09-09 -- Conversions of anonymous access function results
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-09-09
RM References: 3.10.02 (10.3/5) 3.10.02 (10.4/3)
AI12-0391-1/02 2020-09-10 -- List containers need Append_One
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-09-10
RM References: A.18.03 (6/5) A.18.03 (23/5) A.18.03 (50.2/5) A.18.03 (96/5)
AI12-0392-1/03 2021-05-20 -- Conditional expressions containing raise expressions
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 20-09-09
RM References: 3.03 (15) 3.03 (16) 3.03 (17) 3.03 (18) 3.03 (18.1/3) 3.03 (19/3) 3.03 (20) 3.03 (20.1/3)
3.03 (21/3) 3.03 (21.1/3) 3.03 (22) 3.10.02 (19.1/3) 4.06 (5/2)
AI12-0393-1/02 2020-09-10 -- No invalid static constants
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-09-10
RM References: 4.09 (24/5)
AI12-0394-1/03 2020-10-29 -- Named Numbers and User-Defined Numeric Literals
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-09-10
RM References: 3.03.02 (3) 4.02.01 (4/5) 4.02.01 (8/5) 4.02.01 (12/5) 4.02.01 (13/5) 4.09 (5)
AI12-0395-1/01 2020-09-03 -- Allow aspect_specifications on formal parameters
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-09-10
RM References: 6.01 (15/3)
AI12-0396-1/04 2020-11-24 -- Fixups for various aspects of aspects
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2022 20-09-10
RM References: 3.02.04 (1/3) 6.01.01 (1/5) 7.03.02 (1/4) 7.03.03 (1/5) 9.05 (53/5) 11.04.02 (9/3) 11.04.02 (10.2/3) 13.01 (8/3)
13.01 (9.1/5) 13.01 (9.3/5) 13.01 (11/3) 13.01 (13/3) 13.01 (15.1/3) 13.01 (18.1/3) 13.01 (18.2/3) 13.01.01 (18.1/4)
13.01.01 (18.3/5) 13.13.02 (37.1/5) 13.14 (7.2/3) 13.14 (15.1/3)
AI12-0397-1/03 2020-12-01 -- Default_Initial_Condition applied to derived type
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-09-10
RM References: 7.03.03 (3/5) 7.03.03 (6/5) 7.03.03 (8/5)
AI12-0398-1/03 2020-10-21 -- Most declarations should allow aspect specifications
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-10-21
RM References: 3.07 (5/2) 6.03.01 (25) 6.05 (2.1/3) 9.05.02 (8)
AI12-0399-1/04 2021-02-10 -- Aspect specification for Preelaborable_Initialization
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-10-21
RM References: 9.05 (53/5) 3.09 (6/5) 7.06 (5/2) 7.06 (7/2) 11.04.01 (2/5) 11.04.01 (3/2) 13.11 (6/2) 13.11.04 (4/5)
13.11.04 (5/5) 13.13.01 (3/2) A.04.02 (4/2) A.04.02 (20/2) A.04.05 (4/2) A.04.07 (4/2) A.04.07 (20/2) A.04.08 (4/2)
A.04.08 (20/2) A.12.01 (5/4) A.18.02 (8/5) A.18.02 (9/2) A.18.02 (79.2/5) A.18.02 (79.3/5) A.18.03 (6/5) A.18.03 (7/2)
A.18.03 (50.2/5) A.18.03 (50.3/5) A.18.05 (3/5) A.18.05 (4/2) A.18.05 (37.3/5) A.18.05 (37.4/5) A.18.06 (4/5) A.18.06 (5/2)
A.18.06 (51.4/5) A.18.06 (51.5/5) A.18.08 (3/5) A.18.08 (4/2) A.18.08 (58.2/5) A.18.08 (58.3/5) A.18.09 (4/5) A.18.09 (5/2)
A.18.09 (74.2/5) A.18.09 (74.3/5) A.18.10 (8/5) A.18.10 (9/3) A.18.10 (70.2/5) A.18.10 (70.3/5) A.18.18 (6/5) B.03.01 (5/2)
C.07.01 (2/5) G.01.01 (4/2)
AI12-0400-1/03 2020-10-21 -- Ambiguities associated with Vector Append and container aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-10-21
RM References: A.18.02 (8/5) A.18.02 (36/5) A.18.02 (37/5) A.18.02 (38/5) A.18.02 (44/5) A.18.02 (46/5) A.18.02 (47/5) A.18.02 (58/5)
A.18.02 (79.2/5) A.18.02 (150/5) A.18.02 (151/5) A.18.02 (152/5) A.18.02 (153/5) A.18.02 (154/5) A.18.02 (155/5) A.18.02 (156/5)
A.18.02 (168/5) A.18.02 (169/5) A.18.02 (172/5) A.18.02 (173/5) A.18.02 (174/5) A.18.02 (175.1/5) A.18.03 (23/5) A.18.03 (23.1/5)
A.18.03 (58.2/5) A.18.03 (96/5) A.18.03 (97.1/5)
AI12-0401-1/04 2020-12-11 -- Renaming of a qualified expression of a variable
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-10-21
RM References: 3.03 (23.2/3) 8.05.01 (4.7/5) 8.05.01 (5/3)
AI12-0402-1/04 2020-12-15 -- Master of a function call with elementary result type
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 20-12-11
RM References: 3.10.02 (10.2/3)
AI12-0403-1/03 2020-10-21 -- Presentation issues from Draft 26 review
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-10-21
RM References: 4.02.01 (15/5) 4.02.01 (17/5) 4.02.01 (18/5) 4.02.01 (19/5) 4.03.05 (93/5) H.04.01 (2/5)
AI12-0404-1/06 2020-12-09 -- Presentation issues from Draft 26 review - part 2
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-10-21
RM References: 3.03.01 (8.1/5) 3.09.01 (14) 5.06.01 (4/5) D (1) D.01 (15) D.01 (23) D.03 (13) D.03 (13.2/2)
D.03 (13.3/2) D.03 (13.4/2) D.03 (13.5/2) H.07.01 (14/5) H.07.01 (17/5) H.07.01 (18/5)
AI12-0405-1/05 2021-05-20 -- Fixups for stable properties
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 20-12-11
RM References: 6.01.02 (19/5) 7.03.04 (0)
AI12-0406-1/05 2021-05-20 -- Clarifying static accessibility
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-12-09
RM References: 3.10.02 (3/2) 3.10.02 (18) 3.10.02 (19/3) 3.10.02 (19.1/3) 7.06.01 (3/2)
AI12-0407-1/05 2021-05-22 -- Fixups from Draft 26 review - part 1
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-11-23
RM References: 3.03 (21) 12.03 (15) 13.01 (8/5) 13.01 (8.1/3) 13.01.01 (17/5) 13.14 (7.2/5) A.05.06 (3/5) A.05.06 (15/5)
A.05.07 (3/5) A.05.07 (16/5) A.18.02 (79.2/5) A.18.03 (50.2/5) A.18.05 (37.3/5) A.18.06 (51.4/5) A.18.08 (58.2/5) A.18.09 (74.2/5)
H.04.01 (1/5) H.04.01 (3/5) H.04.01 (4/5) H.04.01 (5/5)
AI12-0408-1/04 2020-12-15 -- Definition of "null procedure" and "expression function"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-12-11
RM References: 6.01 (30/3) 6.07 (3/3) 6.07 (4/2) 6.08 (3.1/5) 6.08 (7/4)
AI12-0409-1/05 2021-07-07 -- Preelaborable_Initialization aspect and bounded containers
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-12-11
RM References: 10.02.01 (4.1/2) 10.02.01 (4.2/2) 10.02.01 (11.1/2) 10.02.01 (11.2/2) 10.02.01 (11.6/2) 10.02.01 (11.7/2) 10.02.01 (11.8/2) 13.01 (11/3)
A.18.19 (5/5) A.18.20 (5/5) A.18.21 (5/5) A.18.22 (5/5) A.18.23 (5/5) A.18.24 (5/5) A.18.25 (5/5) A.18.32 (6/5)
J.15.14 (0)
AI12-0410-1/02 2021-01-21 -- Storage Pool-related side effects
Priority: Low Difficulty: Easy
Class: Amendment Status: Hold 11-1-3 21-01-20
RM References: 9.05 (55/5) 13.11 (17.1/5) H.04 (23.2/5) H.04 (23.4/5) H.07 (4/5) H.07 (7/5)
AI12-0411-1/04 2021-03-17 -- Add "bool" to Interfaces.C
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 21-01-21
RM References: B.03 (13) B.03 (43/2) B.03 (65.1/4)
AI12-0412-1/06 2021-01-20 -- Abstract Pre/Post'Class on primitive of abstract type
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 21-01-20
RM References: 6.01.01 (18.2/4)
AI12-0413-1/03 2020-12-17 -- Reemergence of "=" when defined to be abstract
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 20-12-11
RM References: 3.09.03 (7) 4.05.02 (14.1/3) 4.05.02 (24.1/3) 12.05 (8/3)
AI12-0414-1/02 2021-02-26 -- Replace categorization pragmas with aspects
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 20-12-11
RM References: 11.04.02 (12/2) 13.07 (12/2) 13.07.01 (2/2) A.01 (4) A.02 (2) A.02 (3) A.03.01 (2) A.03.01 (4/2)
A.03.01 (6/2) A.03.02 (2/2) A.03.03 (3) A.03.04 (2/2) A.03.05 (3/3) A.04.01 (3) A.04.02 (3/2) A.04.06 (3/2)
A.04.09 (2/3) A.04.09 (11.2/3) A.04.10 (2/3) A.04.10 (13/3) A.04.11 (3/3) A.04.11 (15/3) A.04.11 (22/3) A.04.11 (30/3)
A.04.11 (38/3) A.05 (3/2) A.13 (3) A.18.01 (3/2) A.19 (3/3) B.02 (3) B.03 (4) B.05 (4)
F.02 (2)
AI12-0415-1/01 2020-12-03 -- Parallel_Calls aspect for types
Priority: Low Difficulty: Easy
Class: Amendment Status: Hold 15-0-0 21-01-20
RM References: 9.10.01 (20/5) 9.10.01 (21/5) 9.10.01 (23/5)
AI12-0416-1/06 2021-01-20 -- Fixups from Draft 26 review - part 2
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 20-12-08
RM References: 5.05 (9/5) 6.01.02 (17/5) 6.04 (7) 6.04 (9) 6.04 (10.1/2) A.18 (2/5) A.18 (5/3)
AI12-0417-1/04 2021-03-08 -- Make categorization pragmas obsolescent
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 21-01-21
RM References: 2.08 (29/3) 7.02 (4) 10.01.05 (1) 10.01.05 (2) 10.01.05 (3) 10.01.05 (4) 10.01.05 (5/1) 10.01.05 (6)
10.01.05 (7/3) 10.01.05 (7.1/1) 10.01.05 (10/1) 10.02 (15/3) 10.02 (33) 10.02.01 (1) 10.02.01 (2) 10.02.01 (3)
10.02.01 (4) 10.02.01 (10.1/3) 10.02.01 (11/3) 10.02.01 (13) 10.02.01 (14) 10.02.01 (15) 10.02.01 (17/3) 10.02.01 (19)
10.02.01 (22) 10.02.01 (24) 10.02.01 (25/3) 10.02.01 (26.1/3) 13.01 (9.2/5) 13.01.01 (32/4) C.04 (1/3) E.01 (15)
E.02 (2/3) E.02 (3/3) E.02 (14) E.02.01 (2) E.02.01 (3) E.02.01 (4/3) E.02.02 (2) E.02.02 (3)
E.02.02 (4/3) E.02.03 (2) E.02.03 (3) E.02.03 (4) E.02.03 (5) E.02.03 (6) E.02.03 (7/3) E.02.03 (16/3)
E.02.03 (20/3) J.15 (1/3) J.15.14 (0) J.15.15 (0)
AI12-0418-1/06 2021-02-26 -- Presentation issues from Draft 26 review - part 3
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 20-12-14
RM References: 4.03.01 (17.3/5) 4.03.03 (10) 4.03.05 (56/5) 4.03.05 (57/5) 4.03.05 (76/5) 4.05.02 (3.1/4) 5.05.02 (10.2/5) 6.01.01 (3/3)
6.01.01 (5/3) 6.01.01 (7/5) 6.01.01 (8/3) 6.05 (5.1/5) 6.05 (8/4) 6.05.01 (1/5) 9.07.04 (14/4) 12.03 (11)
12.07 (4.5/3)
AI12-0419-1/03 2021-01-29 -- Aspect inheritance and reemergence
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2022 21-01-21
RM References: 3.02.04 (1/5) 3.02.04 (29.5/4) 3.09.02 (1/5) 4.02.01 (6/5) 4.10 (4/5) 4.10 (7/5) 4.10 (19/5) 7.03.02 (3/4)
7.03.03 (2/5) 12.05.01 (21/3) 13.01 (15.9/5) 13.01.01 (18.3/5) 13.13.02 (8.1/3) 13.13.02 (9/3) 13.13.02 (25/3) 13.13.02 (25.1/2)
13.13.02 (25.1/2) 13.13.02 (42/2)
AI12-0420-1/00 2021-01-14 -- Preelaborable_Initialization and contracts
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Hold 15-0-0 21-01-20
RM References: 10.02.01 (11.3/2)
AI12-0421-1/01 2021-01-19 -- Legality checks for class-wide Pre and Post
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Deleted 21-01-19
RM References: 6.01.01 (18/5) 6.01.01 (18.1/4) 6.01.01 (18.2/4)
AI12-0422-1/03 2021-01-21 -- When is a constant known-on-entry?
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 21-01-21
RM References: 3.03 (13/3) 6.01.01 (22.1/5) 6.01.02 (10/5)
AI12-0423-1/03 2020-01-26 -- Aspect inheritance fixups
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 21-01-21
RM References: 6.05.01 (3.3/3) 13.01 (15.7/5) 13.01 (15.8/5)
AI12-0424-1/01 2021-01-21 -- Concurrency and the standard storage pool
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 21-01-21
RM References: 13.11 (17.1/5)
AI12-0425-1/03 2021-03-17 -- Presentation issues from public review
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 21-03-02
RM References: 1.01.01 (14) 3.03.01 (33/2) 4.05.02 (37/5) 4.10 (37/5) 6.01.02 (0/5) 13.06 (2) J.15.08 (1/3) N (16)
N (22)
AI12-0426-1/06 2021-06-03 -- Presentation issues from WG 9 review
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 21-05-07
RM References: 3.05.06 (7/2) 3.05.06 (8) 3.05.10 (9) 5.06.01 (3/5) 6.05 (5.10/5) A.18.33 (24/3) P (0)
AI12-0427-1/06 2021-06-03 -- Fixups from WG 9 review
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 21-05-07
RM References: 3.05 (56.4/3) 3.06 (22.2/3) 4.01.03 (13.1/5) 4.02.01 (0/5) 4.03.05 (0/5) 4.05.10 (0/5) 4.09.01 (2/3) 4.10 (0/5)
5.06.01 (0/5) 8.05 (5) 8.06 (17.1/5) 9.10.01 (26/5) 13.01 (10/5) 13.01 (13.1/3) 13.01.01 (11/5) 13.01.01 (21/3)
13.01.01 (22/3) 13.03 (6) 13.13.02 (51/3) B.03 (65.1/5)
AI12-0428-1/03 2021-06-07 -- "Same declaration list" requirement too strong for private types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 21-06-07
RM References: 4.01.06 (2/3) 4.01.06 (3/3) 5.05.01 (8/5)
AI12-0429-1/02 2021-06-07 -- Examples should have consistent lead-ins
Priority: Medium Difficulty: Medium
Class: Presentation Status: Revision 2022 21-06-07
RM References: 3.02.04 (39/4) 4.01.05 (9/3) 4.01.06 (19/3) 4.02.01 (18/5) 4.03.04 (22/5) 4.03.04 (25/5) 4.03.04 (29/5) 4.03.05 (54/5)
4.03.05 (67/5) 4.05.07 (22/5) 4.05.07 (23/5) 4.05.08 (10/3) 4.05.08 (12/3) 4.05.09 (11/5) 4.05.10 (35/5) 4.05.10 (37/5)
4.05.10 (39/5) 4.05.10 (41/5) 4.05.10 (43/5) 4.05.10 (45/5) 4.05.10 (47/5) 4.05.10 (49/5) 5.02.01 (6/5) 5.05.02 (15/5)
5.05.02 (16/3) 5.05.03 (30/5) 5.05.03 (34/5) 5.06.01 (4/5) 5.06.01 (5/5) 6.05.01 (10/3) 6.07 (6/2) 6.08 (9/3)
7.03.02 (25/5) 8.03.01 (9/2) 8.03.01 (16/2) 10.01.02 (24/2) 10.01.02 (31/2) 10.01.03 (19) 10.01.03 (22) 12.05.05 (5/2)
12.05.05 (7/2) A.04.02 (67) A.10.08 (26/3) A.10.09 (40/1) F.03.02 (71)
AI12-0430-1/02 2021-05-28 -- Example issues from WG 9 review
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 21-05-24
RM References: 3.03.01 (31/2) 3.06.01 (13) 3.08 (27) 3.08.01 (25) 4.03.05 (62/5) 4.03.05 (92/5) 4.03.05 (93/5) 9.04 (31)
H.07.01 (0)
AI12-0431-1/03 2021-06-07 -- Confirming predicate shouldn't change semantics
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 21-06-07
RM References: H.07 (7/5)
AI12-0432-1/03 2021-06-04 -- View conversions of assignments and predicate checks
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 21-06-04
RM References: 3.02.04 (31/5) 4.06 (51.1/5)
AI12-0433-1/02 2021-06-07 -- The Simple_Name of a root directory revisited
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 21-06-07
RM References: A.16 (74/5)
AI12-0434-1/03 2021-06-07 -- Equality operators for container cursors
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 21-06-07
RM References: A.18.02 (87/2) A.18.03 (59/2) A.18.04 (18/2) A.18.07 (17/2) A.18.10 (76/3)
AI12-0435-1/03 2021-06-07 -- Fixups from WG 9 Issue #143 - Image and streams
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 21-06-07
RM References: 4.10 (6/5) 4.10 (15/5) 4.10 (26/5) 13.13.02 (38/4)
AI12-0436-1/01 2021-05-29 -- Should parallel blocks include exception handlers?
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2022 21-06-04
RM References: 5.06.01 (2/5)
AI12-0437-1/02 2022-02-04 -- Presentation issues in Ada 202x submission
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 22-01-07
RM References: 1.02 (10/2) 3.04.01 (3/2) 3.09 (21) 3.09.03 (8/3) 4.02.01 (7/5) 4.03.05 (7/5) 4.03.05 (8/5) 4.03.05 (9/5)
4.03.05 (22/5) 13.01.01 (18.8/5) A.18.02 (88.1/3) A.18.03 (60.1/3) A.18.03 (158/2) A.18.04 (19.1/3) A.18.04 (81/2) A.18.07 (18.1/3)
A.18.07 (102/2) A.18.10 (78/3) B.03 (60.8/2) G.01.01 (56) G.01.01 (57)
AI12-0438-1/02 2022-05-05 -- Rewordings to remove "must"
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: A.18.02 (237.7/5) A.18.03 (151.6/5) A.18.04 (75.7/5)
A.18.07 (98.18/5) A.18.10 (218.6/5) C.07.02 (30/2)
AI12-0439-1/03 2022-06-13 -- Rewordings to replace "might" or "could" with "can" or "may"
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: 3.03.01 (11.1/3) 3.03.01 (13/3) 3.03.01 (17) 3.03.01 (21/3) 3.05.07 (10) 3.07.01 (12) 3.10.02 (30) 4.06 (55)
4.06 (56/4) 5.02 (11) 5.02 (12) 6.01.02 (1/5) 6.01.02 (19/5) 6.04.01 (12) 6.05 (5.12/5) 7.03.01 (7)
7.06 (17.1/3) 8 (2/3) 9.05 (21/5) 9.05.01 (17) 9.07.02 (1/2) 9.07.03 (1/2) 10.02 (2) 10.02 (24)
11.04.02 (23.1/3) 13.11.01 (3/3) 13.11.01 (4/3) 13.11.01 (5/3) 13.13.02 (34/3) 13.14 (7.2/5) A (3/5) A.03.02 (32.6/5)
A.03.05 (51.2/5) A.16 (125/3) A.18 (2.1/5) A.18.02 (237.6/5) A.18.03 (151.5/5) A.18.04 (75.5/5) A.18.07 (96.17/5) A.18.10 (218.5/5)
B.04 (4) C.06 (20/5) D.02.06 (1/2) D.08 (36/3) D.10 (10.2/5) H (4) H.02 (1) H.07 (7/5)
H.07.01 (13/5)
AI12-0440-1/03 2022-06-13 -- Rewordings of notes to replace other words with "can"
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: 1.01.03 (22) 2.07 (6) 2.09 (3) 3.02.02 (13) 3.09.04 (19/2) 3.09.04 (27/2) 3.10.02 (37/2) 4.03.03 (33/5)
4.07 (5) 4.08 (14) 5.04 (14) 6.02 (15/4) 6.04 (31) 6.06 (7) 6.07 (7/2) 7.03.01 (10)
7.03.01 (19) 7.05 (21) 8.05.05 (5) 9 (11/5) 9.03 (12) 9.05.01 (19/5) 9.05.01 (20) 9.05.01 (23/5)
9.05.02 (29/2) 9.05.02 (30) 9.06 (33) 9.07.03 (4) 10.01.02 (32/5) 10.01.03 (22/5) 10.02 (31) 10.02 (32)
11.04.03 (1) 11.04.03 (11) 13.08 (9) 13.09.02 (12/4) 13.11 (35) 13.11 (38/3) 13.11.03 (9/3) 13.11.04 (34/3)
A.03.05 (63/3) A.07 (16) A.10.05 (52) A.18.02 (263/2) B.01 (42/3) B.01 (44/3) B.03.01 (58) B.03.01 (59)
B.04 (100) C.03.01 (22/3) C.06 (26/5) D.01 (29/3) D.08 (50/3) D.08 (50/3) E (7) E.02.02 (20/3)
H (6) H.01 (9) H.04 (28/2) H.06 (17/2) J.10 (8/2) J.15.01 (6/3)
AI12-0441-1/04 2022-05-12 -- Introductory wording changes
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: 1.01 (2/3) 1.01 (3/4) 1.01.03 (0) 1.01.03 (16) 1.02 (2) 1.02 (3/5) 1.02 (4/2)
1.02 (5) 1.02 (5.1/3) 1.02 (6/3) 1.02 (7/3) 1.02 (9/3) 1.02 (10/2) 1.02 (11/5) 1.02.01 (0)
AI12-0442-1/03 2022-05-25 -- Rewordings of notes
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: 3.04 (34) 3.05 (58) 3.05.05 (12) 3.05.09 (22) 3.05.09 (24) 3.06.01 (12) 3.09 (27) 3.09.03 (16)
3.09.04 (26/2) 3.09.04 (33/2) 3.10.02 (39) 4.03.05 (85/5) 4.07 (9) 4.08 (15/3) 5.01 (18/5) 5.02.01 (8/5)
5.05 (14) 6.01.01 (43/3) 6.01.02 (44/5) 7.03 (18) 7.03 (20/2) 7.03 (20.1/2) 7.05 (9/3) 7.06.01 (24)
8.01 (18) 8.05 (4) 9.01 (21/2) 9.02 (8) 9.05.03 (29) 9.06.01 (90/5) 9.07.04 (13) 9.08 (22)
9.09 (7) 9.09 (8) 10.01.01 (27) 10.01.04 (9) 10.02 (34) 11.04.02 (28/2) 11.05 (29) 12.05.01 (5.1/4)
12.05.01 (6/3) 12.05.01 (24/2) 12.05.01 (25) 12.05.01 (26) 12.05.02 (9) 12.06 (11) 12.06 (16.1/2) 13.04 (11/5)
13.09.02 (14/2) 13.11 (26) 13.11.04 (33/3) 13.11.04 (35/3) 13.13.02 (57) A.04.03 (107/3) A.05.02 (50) A.16 (127/2)
A.16 (131/2) A.16.01 (37/2) A.18.03 (164/2) B.03.01 (60) B.04 (112) C.03.01 (23/2) C.07.02 (31) C.07.02 (32)
D.02.05 (18/2) D.03 (21) D.05.01 (19) E.02.02 (18) E.04.02 (12) H.05 (7/2) M (1/3) M.01 (1/2)
M.02 (1/2) M.03 (1/2)
AI12-0443-1/03 2022-06-01 -- Convert the glossary into a separate Terms and Definitions clause
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: 1.03 (0) N (0)
AI12-0444-1/03 2022-05-05 -- Rewordings to remove "need not"
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: 1.01.05 (8) 1.01.05 (10) 2.01 (4/5) 3.05.04 (5) 3.05.04 (24) 3.05.04 (25) 3.05.04 (26) 3.05.06 (7/5)
3.05.06 (8/5) 3.05.07 (5) 3.05.07 (16) 3.06 (15) 3.09.03 (6/4) 6.01.02 (41/5) 6.03 (4) 7.04 (8/3)
7.06 (19/3) 7.06 (21/3) 9.05.03 (22) 9.05.03 (23/4) 9.05.03 (25) 9.06 (31) 9.08 (3) 9.10.01 (25/5)
10.01.03 (11) 10.02.01 (11.2/5) 11.04.02 (27/3) 11.06 (5) 12.05.01 (15) 13.01 (13/5) 13.01 (22/3) 13.01 (23/5)
13.01 (24/3) 13.01 (25/3) 13.01 (26/3) 13.01 (27/3) 13.01 (28/3) 13.02 (8/4) 13.03 (31/2) 13.03 (32/2)
13.03 (32.1/2) 13.03 (35.2/2) 13.03 (56.2/2) 13.03 (56.3/2) 13.03 (72) 13.04 (10) 13.05.01 (22) 13.11 (25.4/2)
13.12.01 (7/2) 13.13.01 (36/5) A.04.12 (1/5) A.05.01 (48) A.10 (8) A.10.08 (23) A.10.09 (36) A.10.09 (37)
A.13 (16) B.01 (41/4) B.03 (62.1/3) C.03.02 (24/5) C.07.02 (28) D.02.02 (17/2) D.02.02 (18/2) D.03 (15/2)
D.04 (15/2) D.04.01 (8/5) D.11 (10) D.14 (28/2) E.01 (13) E.02.03 (20/5) E.05 (27) G.01.01 (54)
G.01.02 (46) G.02 (3) G.03.01 (87/2) G.03.02 (156/2) G.03.02 (157/2) H.07.01 (14/5)
AI12-0445-1/05 2022-05-25 -- Rewordings of normative material
Priority: Critical Difficulty: Medium
Class: Presentation Status: Revision 2022 22-05-05
RM References: 3.02 (8) 3.04.01 (6/2) 3.10.02 (20) 5.05.03 (21/5) 5.05.03 (27/5) 5.05.03 (28/5) 5.05.03 (29/5) 6.01.02 (18/5)
7.06.01 (16/2) 9.06.01 (82/2) 9.08 (20/3) 10.01.01 (24) 10.01.04 (2) 11.01 (6) 11.04.02 (26/3) 12.05.01 (1/3)
13.01 (7/2) 13.03 (37/2) 13.03 (55) 13.03 (58.13/5) 13.06 (1/3) 13.06 (2/5) 13.11 (21.6/3) 13.11 (22)
13.11.02 (9/3) 13.11.03 (5.2/4) 13.11.04 (19/3) 13.13.02 (56/3) 13.13.02 (56.1/3) A.01 (51) A.04.02 (1) A.04.04 (1)
A.04.05 (1) A.05.02 (29/3) A.05.02 (40.1/1) A.06 (1/2) A.10.04 (1) A.10.06 (7) A.13 (1) A.18.09 (74.2/5)
A.18.09 (74.8/5) A.18.09 (74.9/5) A.18.32 (16/5) B.01 (3) B.03.02 (2) C.03 (9) D.09 (12) D.09 (13)
D.15 (1/3) G (4)
AI12-0446-1/02 2022-09-08 -- Additional Wording improvements
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 22-09-08
RM References: 1.01.02 (2) 1.01.02 (7)
1.01.02 (17) 6.05 (2.1/5) 9.01 (3/3) 12.05.01 (3/2) A.19 (9/3) A.19 (10/3) A.19 (11/3) A.19 (12/3)
AI12-0447-1/03 2023-03-01 -- More rewordings of notes
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 22-12-14
RM References: 3.09 (29) 3.09.01 (8) 3.09.01 (9) 3.09.03 (12) 3.10.01 (13) 4.01.02 (8) 4.01.04 (17/2) 4.03.01 (21)
4.03.02 (9) 9.07.01 (22) 10.02.01 (27) 10.02.01 (28) 11.04.02 (28/5) 12.01 (12) 12.05.01 (28) 13.11.04 (33/5)
A.05.02 (50/5) A.16 (131/5) C.03 (29) D.03 (20) D.05.01 (18/3) H.03.02 (9/2) H.03.02 (11)
AI12-0448-1/02 2022-12-13 -- Fixes for Terms and Definitions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 22-12-09
RM References: 10.02 (2/5) 10.02 (3) 10.02 (4) 10.02 (5) 10.02 (6/2) 10.02 (6.1/2) 10.02 (9)
AI12-0449-1/03 2022-12-28 -- Appearance of cross-references
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 22-12-20
RM References: 3.02.01 (6) 3.02.01 (9) 3.03.01 (6/3) 3.03.02 (4/3) 3.05.02 (9/3) 3.05.05 (15) 3.06.02 (17) 3.07.01 (14/3)
3.11.01 (10) 4.05.10 (21/5) 4.06 (57/4) 4.07 (4/4) 5 (2/3) 5.01 (1/5) 5.02 (14/3) 5.02.01 (5/5)
5.05 (8.1/5) 5.06.01 (5/5) 6.01 (10/3) 6.05 (22/5) 7.03 (9) 9.07.01 (20/3) 9.08 (24) 10.02 (33/5)
12.03 (28) 13.10 (4) A.03.05 (64/3) A.07 (13/2) A.07 (14/3) A.08.02 (1) A.10 (1/3) A.10 (2/3)
A.10.02 (1) A.10.06 (11) A.12.01 (28/4) A.18 (6/4) A.18 (7/4) B.01 (47) F (5/2) M.01 (2/2)
M.02 (2/2)
AI12-0450-1/01 2022-12-01 -- Update references to standards
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2022 22-12-06
RM References: 1.01.04 (14.2/5) 1.02 (4.1/3) 1.02 (8/5) 1.02.01 (5/5) 1.02.01 (6/5) 1.02.01 (8/5) 1.02.01 (9/5) 1.02.01 (10/5)
2.01 (1/5) 2.01 (3.1/5) 2.01 (4/5) 2.01 (4.1/5) 2.01 (5/5) 2.01 (15/5) 2.03 (4.1/5) 2.03 (5/5)
3.05.02 (2/5) 3.05.02 (3/5) 3.05.02 (4/5) A.01 (36.1/5) A.01 (36.2/5) A.03.02 (32.6/5) A.03.05 (33.2/5) A.03.05 (51.2/5)
A.03.05 (55/5) A.03.05 (59/5) A.03.05 (61.2/5) A.03.05 (63/5) A.04.06 (8/3) A.04.10 (3/5) A.19 (12/5) B.03 (39.1/2)
B.05 (21/5) F.03.03 (46) F.03.03 (47) F.03.03 (48) F.03.03 (49) F.03.03 (50) F.03.03 (51) F.03.03 (52)
AI12-0451-1/03 2022-12-15 -- Still more changes to wording
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 22-12-14
RM References: 3.02 (2/2) 3.10.02 (37/5) 3.10.02 (38) 4.03.01 (19/5) 7.03.01 (5.3/5) 11.04 (8) D.08 (31) F.03.02 (19)
F.03.02 (20) F.03.02 (41) F.03.02 (44) G.02.04 (11/2) G.02.04 (13) G.02.06 (6/2) G.02.06 (7/1)
AI12-0452-1/01 2022-12-02 -- Notes on examples is not a thing
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 22-12-02
RM References: 3.09.03 (16/5) 4.01.01 (10) 5.02 (28) 7.03.01 (18) 7.05 (21/5) 13.03 (85) 13.05.01 (31) A.05.02 (61)
E.04.02 (7)
AI12-0453-1/02 2022-12-15 -- Remove "i.e." and "e.g."
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2022 22-12-15
RM References: A.05.01 (35) A.05.01 (47) A.05.03 (32) A.05.03 (35) B.03.03 (17/2) C.01 (12) C.01 (13) C.01 (14)
C.01 (15) C.03 (16) C.03 (20) G.02.01 (14) G.02.03 (6) G.02.03 (20) G.02.03 (21) G.02.05 (4)
G.02.06 (2) G.02.06 (3)
|