This is a summary of all Ada 2012 Issues. Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard. 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/02 2022-12-16 -- 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)