|
This is an index of all Ada 2012 Issues.
Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard.
Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives
share the AI number, but have a different alternative number (following the second dash).
Each AI is followed by an index of the discussions and/or voting that occurred
at meetings or by Letter Ballots. The index includes a link directly to the discussion
in the appropriate set of minutes.
For issues that probably will not be considered by the ARG, look in the
Ada Commentaries Index.
For Ada 95 issues that have or will be considered by the ARG, look in the
Ada 95 Issues Index.
For Ada 2005 issues that have or will be considered by the ARG, look in the
Ada 2005 Issues Index.
For Ada 2022 issues that have or will be considered by the ARG, look in the
Ada 2022 Issues Index.
The Ada 2012 Issues are indexed in numeric order,
by the class of issue,
by the current status,
and by the section referenced.
Ada 2012 Issues listed in numeric orderIncluding discussion and voting informationAI12-0001-1/06 2013-08-27 -- Independence and Representation clauses for atomic objects Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-08 RM References: 13.02 (6.1/2) 13.02 (7) 13.02 (8) 13.02 (9/3) C.06 (8.1/3) C.06 (10) C.06 (11) C.06 (21) C.06 (24) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 6-0-3 Meeting 48, Dec 2012 - Intent: 9-0-1 AI12-0002-1/04 2016-08-29 -- RCI units do not allow specification of user-defined stream-oriented attributes Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 16-07-22 RM References: E.02.03 (15) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 11-0-0 Meeting 47, Jun 2012 - Discussed AI12-0003-1/13 2015-03-25 -- Specifying the standard storage pool Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 8.02 (11) 13.11.03 (1/3) 13.11.03 (3.1/3) 13.11.03 (4/3) 13.11.03 (4.1/3) 13.11.03 (5/3) 13.11.03 (6.2/3) 13.11.03 (6.3/3) Discussions and/or Voting: Ltr. Ballot, Feb 2015 - Approve AI: 11-1-2 Meeting 52, Oct 2014 - Intent: 7-0-0 Meeting 50, Nov 2013 - Intent: 6-1-0 Meeting 48, Dec 2012 - Intent: 9-1-0 Meeting 47, Jun 2012 - Intent: 7-0-0 AI12-0004-1/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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI: 5-0-4 Meeting 55, Jun 2016 - Intent: 11-0-1 AI12-0005-1/00 2011-11-11 -- Editorial comments on AARM 2012 Priority: Low Difficulty: Easy Class: Confirmation Status: Received 11-11-11 RM References: 6.06 (6) AI12-0006-1/02 2011-12-14 -- Accessibility of null Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Deleted 11-11-11 RM References: 3.10.02 (13/2) Discussions and/or Voting: Meeting 45, Nov 2011 - Approve AI w/ changes: 7-0-2 AI12-0007-1/02 2011-12-30 -- Accessibility of access discriminants of a subtype Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Deleted 11-11-12 RM References: 3.10.02 (12.1/2) Discussions and/or Voting: Meeting 45, Nov 2011 - Approve AI w/ changes: 5-0-4 AI12-0008-1/02 2011-12-30 -- Bad ancestor constraints for extension aggregates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-13 RM References: 4.03.02 (8) Discussions and/or Voting: Meeting 45, Nov 2011 - Approve AI w/ changes: 6-0-2 AI12-0009-1/06 2016-06-07 -- Iterators for Directories and Environment_Variables Priority: Low Difficulty: Medium Class: Amendment Status: 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) Discussions and/or Voting: Meeting 59, Jun 2018 - No Action: 7-0-0 Ltr. Ballot, May 2018 - Hold AI: 10-0-1 Meeting 54, Oct 2015 - Intent: 6-0-2 Meeting 53, Jun 2015 - Discussed Meeting 45, Nov 2011 - Discussed AI12-0010-1/02 2011-12-30 -- Stream_IO should be preelaborated Priority: Low Difficulty: Easy Class: Amendment Status: Deleted 11-11-13 RM References: A.12.01 (3) Discussions and/or Voting: Meeting 45, Nov 2011 - Discussed AI12-0011-1/02 2011-12-30 -- Behavior of Random.Reset with default initialized State Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-12 RM References: A.05.02 (12) A.05.02 (35) Discussions and/or Voting: Meeting 45, Nov 2011 - Approve AI w/ changes: 9-0-0 AI12-0012-1/02 2011-11-11 -- Failure behavior of Directories.Create_Path Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-11 RM References: A.16 (61/2) Discussions and/or Voting: Meeting 45, Nov 2011 - Approve AI w/ changes: 7-0-2 AI12-0013-1/02 2011-11-11 -- More issues with the definition of volatile Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-12 RM References: C.06 (16/3) Discussions and/or Voting: Meeting 45, Nov 2011 - Approve AI w/ changes: 7-0-2 AI12-0014-1/01 2011-12-21 -- Postconditions on subprogram bodies Priority: Low Difficulty: Medium Class: Amendment Status: No Action (8-0-1) 15-06-28 RM References: 6.01.01 (0/3) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 8-0-1 AI12-0015-1/02 2015-10-11 -- Ada unit information Priority: Low Difficulty: Medium Class: Amendment Status: No Action (4-1-2) 15-10-17 RM References: A.20 (0) Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 4-1-2 Meeting 53, Jun 2015 - Discussed Meeting 45, Nov 2011 - Discussed AI12-0016-1/02 2013-04-22 -- Implementation model of dynamic accessibility checking Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 11-11-13 RM References: 3.10.02 (22) Discussions and/or Voting: Meeting 49, Jun 2013 - Intent: 9-0-0 Meeting 48, Dec 2012 - Intent: 9-0-1 Meeting 47, Jun 2012 - Discussed Meeting 45, Nov 2011 - Discussed AI12-0017-1/01 2012-01-25 -- Compile-time-checked exception specifications Priority: Medium Difficulty: Hard Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 11.04.03 (0) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 Meeting 53, Jun 2015 - Discussed 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 Meeting 52, Oct 2014 - Discussed AI12-0019-1/01 2012-01-26 -- Generic formal record types Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (9-0-0) 15-06-28 RM References: 12.05.06 (0) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 9-0-0 AI12-0020-1/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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 8-0-0 Meeting 59, Jun 2018 - Intent: 7-0-0 Meeting 58A, Jan 2018 - Discussed Meeting 48, Dec 2012 - Discussed Meeting 47, Jun 2012 - Discussed 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) Discussions and/or Voting: Meeting 60A, Dec 2018 - Approve AI w/ changes: 10-0-2 Meeting 59, Jun 2018 - Intent: 11-0-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) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 9-0-1 Meeting 47, Jun 2012 - Approve AI w/ changes: 9-0-0 AI12-0023-1/02 2012-12-02 -- Make Root_Stream_Type an interface Priority: Medium Difficulty: Hard Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 6.01.01 (0/3) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 Meeting 47, Jun 2012 - Discussed AI12-0024-1/01 2012-05-02 -- Compile-time detection of range and length errors Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (7-0-1) 15-10-16 RM References: 4.06 (30) Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 7-0-1 Meeting 47, Jun 2012 - Hold AI AI12-0025-1/01 2012-05-16 -- Allow 'Unchecked_Access on subprograms Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (4-0-4) 15-10-17 RM References: 13.10 (3) Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 4-0-4 Meeting 47, Jun 2012 - Hold AI AI12-0026-1/02 2012-11-30 -- Task_Safe aspect Priority: Low Difficulty: Medium Class: Amendment Status: No Action (7-0-1) 15-06-27 RM References: C.08 (0) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 7-0-1 Meeting 47, Jun 2012 - Intent: 7-0-0 AI12-0027-1/06 2013-05-08 -- Access values should never designate unaliased components Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-31 RM References: 4.06 (24.17/3) 4.06 (24.21/2) 4.06 (58) 6.02 (10/3) 3.10.02 (10/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 8-0-2 Meeting 48, Dec 2012 - Intent: 8-0-2 Meeting 47, Jun 2012 - Discussed AI12-0028-1/03 2013-01-02 -- Import of variadic C functions Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-02 RM References: B.03 (1/3) B.03 (60.15/3) B.03 (75) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 9-0-2 Meeting 47, Jun 2012 - Intent: 9-0-0 AI12-0029-1/02 2012-06-28 -- Relax requirement for functions to have return statements Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (8-0-0) 12-06-16 RM References: 6.05 (5/3) Discussions and/or Voting: Meeting 47, Jun 2012 - No Action: 8-0-0 AI12-0030-1/06 2013-07-19 -- Formal derived types and stream attribute availability Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-16 RM References: 12.05.01 (21/3) 13.13.02 (49/2) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 8-0-0 Meeting 49, Jun 2013 - Intent: 6-0-3 Meeting 47, Jun 2012 - Intent: 7-0-2 AI12-0031-1/05 2014-05-08 -- All_Calls_Remote and indirect calls Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-17 RM References: E.02.03 (19/3) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 8-0-3 Meeting 50, Nov 2013 - Discussed Meeting 49, Jun 2013 - Intent: 5-0-2 Meeting 47, Jun 2012 - Intent: 8-0-2 AI12-0032-1/07 2013-07-17 -- Questions on 'Old Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-17 RM References: 4.01.03 (9/3) 6.01.01 (22/3) 6.01.01 (26/3) 6.01.01 (35/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 7-0-0 Meeting 48, Dec 2012 - Intent: 8-0-2 Meeting 47, Jun 2012 - Intent: 10-0-0 AI12-0033-1/08 2013-10-07 -- Sets of CPUs when defining dispatching domains Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15 RM References: D.16.01 (7/3) D.16.01 (9/3) D.16.01 (20/3) D.16.01 (23/3) D.16.01 (24/3) D.16.01 (26/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 7-0-0 Meeting 49, Jun 2013 - Intent: 7-0-2 Meeting 49, Jun 2013 - Discussed Meeting 48, Dec 2012 - Discussed Meeting 47, Jun 2012 - Discussed AI12-0034-1/05 2013-10-07 -- Remote stream attribute calls Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-17 RM References: E.04 (8) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 5-0-2 Meeting 47, Jun 2012 - Intent: 6-0-5 AI12-0035-1/05 2013-10-07 -- Accessibility checks for indefinite elements of containers Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-08 RM References: A.18 (5/3) A.18.11 (8/2) A.18.12 (7/2) A.18.13 (8/2) A.18.14 (8/2) A.18.15 (4/2) A.18.16 (4/2) A.18.17 (7/3) A.18.18 (39/3) A.18.18 (47/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 Meeting 48, Dec 2012 - Intent: 11-0-0 Meeting 47, Jun 2012 - Intent: 10-0-0 AI12-0036-1/03 2014-05-08 -- The actual for an untagged formal derived type cannot be tagged Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06 RM References: 12.05.01 (5.1/3) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 9-0-2 AI12-0037-1/03 2013-05-08 -- New types in Ada.Locales can't be converted to/from strings Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-28 RM References: A.19 (4/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 7-0-3 AI12-0038-1/07 2015-01-27 -- Shared_Passive package restrictions Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-31 RM References: E.02.01 (7/1) Discussions and/or Voting: Meeting 52B, Feb 2015 - Approve AI: 7-0-3 Meeting 52, Oct 2014 - Intent: 6-0-2 Meeting 51, Jun 2014 - Discussed Meeting 50, Nov 2013 - Discussed Meeting 48, Dec 2012 - Approve AI w/ changes: 5-0-4 AI12-0039-1/03 2013-05-08 -- Ambiguity in syntax for membership expression removed Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-17 RM References: 4.04 (3/3) 4.04 (3.2/3) 4.05.02 (3.1/3) 4.05.02 (4) 4.05.02 (4.1/3) 4.05.02 (27/3) 4.05.02 (27.1/3) 4.05.02 (28.1/3) 4.05.02 (28.2/3) 4.05.02 (29/3) 4.05.02 (30/3) 4.05.02 (30.1/3) 4.05.02 (30.2/3) 4.05.02 (30.3/3) 4.09 (11/3) 4.09 (32.6/3) 8.06 (27.1/3) 3.02.04 (17/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI: 9-0-1 AI12-0040-1/03 2013-05-08 -- Resolving the selecting_expression of a case_expression Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-02 RM References: 8.06 (9) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 9-0-1 AI12-0041-1/03 2014-11-18 -- Type_Invariant'Class for interface types Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-17 RM References: 7.03.02 (1/3) 7.03.02 (3/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 6-0-2 Meeting 50, Nov 2013 - Promising AI: 11-0-0 AI12-0042-1/11 2014-09-29 -- Type invariant checking rules Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-11 RM References: 7.03.02 (6/3) 7.03.02 (17/3) 7.03.02 (18/3) 7.03.02 (19/3) 7.03.02 (20/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 9-0-0 Meeting 50, Nov 2013 - Approve AI w/ changes: 6-0-2 Meeting 50, Nov 2013 - Discussed Meeting 50, Nov 2013 - Discussed Meeting 49, Jun 2013 - Discussed Meeting 49, Jun 2013 - Discussed Meeting 48, Dec 2012 - Discussed AI12-0043-1/02 2013-01-02 -- Details of the storage pool used when Storage_Size is specified Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-02 RM References: 13.11 (18) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 10-0-1 AI12-0044-1/05 2013-10-07 -- Calling visible functions from type invariant expressions Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-06-28 RM References: 7.03.02 (19/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 Meeting 49, Jun 2013 - Intent: 7-0-2 Meeting 48, Dec 2012 - Discussed AI12-0045-1/03 2013-05-08 -- Pre- and Postconditions are allowed on generic subprograms Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27 RM References: 6.01.01 (1/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 11-0-0 AI12-0046-1/02 2012-12-27 -- Enforcing legality for anonymous access components in record aggregates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27 RM References: 4.03.01 (16/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 8-0-2 AI12-0047-1/06 2013-05-08 -- Generalized iterators and discriminant-dependent components Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-31 RM References: 5.05.02 (6/3) Discussions and/or Voting: Ltr. Ballot, Feb 2013 - Approve AI: 12-0-2 Meeting 48, Dec 2012 - Approve AI w/ changes: 11-0-0 Meeting 48, Dec 2012 - Intent: 9-0-1 AI12-0048-1/03 2013-05-08 -- Default behavior of tasks on a multiprocessor with a specified dispatching polic Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-01-03 RM References: D.16.01 (30/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 8-0-2 AI12-0049-1/03 2013-05-08 -- Invariants need to be checked on the initialization of deferred constants Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27 RM References: 7.03.02 (10/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 9-0-1 AI12-0050-1/04 2013-07-17 -- Conformance of quantified expressions Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-17 RM References: 6.03.01 (20) 6.03.01 (21) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 7-0-0 Meeting 49, Jun 2013 - Intent: 6-0-1 Meeting 48, Dec 2012 - Intent: 11-0-0 AI12-0051-1/03 2013-05-08 -- The Priority aspect can be specified when Attach_Handler is specified Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 12-12-27 RM References: D.03 (10/3) Discussions and/or Voting: Meeting 48, Dec 2012 - Approve AI w/ changes: 10-0-0 AI12-0052-1/04 2014-05-08 -- Implicit objects are considered overlapping Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-18 RM References: A (3/2) A.10.03 (21) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 7-0-4 Meeting 48, Dec 2012 - Intent: 7-0-2 AI12-0053-1/02 2012-12-27 -- Predicate failure raises Constraint_Error Priority: High Difficulty: Medium Class: Binding Interpretation Status: No Action 10-0-1 12-12-08 RM References: 3.02.04 (31/3) 4.06 (57/3) Discussions and/or Voting: Meeting 48, Dec 2012 - No Action: 10-0-1 AI12-0054-1/04 2013-01-30 -- A raise_expression does not cause membership failure Priority: High Difficulty: Medium Class: Binding Interpretation Status: No Action 13-06-15 (8-0-0) RM References: 11.03 (4/2) 13.09.02 (2) 13.09.02 (3/3) Alternatives: AI12-0054-2 Discussions and/or Voting: Meeting 49, Jun 2013 - No Action: 8-0-0 Ltr. Ballot, Feb 2013 - Approve AI: 10-2-2 Meeting 48, Dec 2012 - Discussed Meeting 48, Dec 2012 - Intent: 8-0-3 AI12-0054-2/05 2013-10-07 -- Aspect Predicate_Failure Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-05 RM References: 3.02.04 (14/3) 3.02.04 (31/3) 3.02.04 (35/3) Alternatives: AI12-0054-1 Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 8-0-0 Meeting 49, Jun 2013 - Intent: 7-0-2 Meeting 49, Jun 2013 - Intent: 8-0-1 AI12-0055-1/06 2014-09-29 -- All properties of a usage profile are defined by pragmas Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11 RM References: D.07 (10/3) D.13 (6/3) D.13 (8/3) D.13 (10/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 9-0-0 Meeting 50, Nov 2013 - Discussed Meeting 49, Jun 2013 - Intent: 7-0-2 AI12-0056-1/05 2013-07-03 -- Presentation errors in Ada 2012 Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2012 13-01-14 RM References: 1.01 (3/3) 1.01.02 (24/3) 3.09 (12.4/3) 3.10 (22/2) 5.02 (20) 6.01 (39) 6.02 (13) A.18.25 (10/3) A.18.26 (9.2/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 AI12-0057-1/01 2013-01-22 -- Unchecked_Access for discriminant-dependent subcomponents Priority: Medium Difficulty: Easy Class: Amendment Status: No Action (5-0-4) 15-06-28 RM References: 13.10 (3) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 5-0-4 AI12-0058-1/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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 9-0-0 Meeting 49, Jun 2013 - Discussed AI12-0059-1/10 2016-04-25 -- Object_Size attribute Priority: Medium Difficulty: Medium Class: Amendment Status: 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) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 8-0-0 Meeting 54, Oct 2015 - Discussed Meeting 53, Jun 2015 - Intent: 7-0-2 Meeting 52, Oct 2014 - Discussed Meeting 50, Nov 2013 - Approve AI w/ changes: 5-0-2 AI12-0060-1/00 2013-01-31 -- Overriding indicators on protected subprogram bodies Priority: Very Low Difficulty: Medium Class: Amendment Status: No Action (5-0-2) 18-10-21 RM References: 8.03.01 (3/2) Discussions and/or Voting: Meeting 60, Oct 2018 - No Action: 5-0-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) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 10-0-0 Meeting 50, Nov 2013 - Intent: 9-0-2 Meeting 49, Jun 2013 - Intent: 9-0-0 AI12-0062-1/02 2013-07-03 -- Raise exception with failing string function Priority: Low Difficulty: Easy Class: Ramification Status: Corrigendum 1 for Ada 2012 13-01-14 RM References: 11.03 (4/2) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 AI12-0063-1/01 2013-01-31 -- No_Return functions Priority: Medium Difficulty: Easy Class: Amendment Status: No Action (7-0-1) 15-10-17 RM References: 6.05.01 Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 7-0-1 Meeting 52, Oct 2014 - Hold AI: 8-0-0 AI12-0064-1/05 2015-10-07 -- Nonblocking subprograms Priority: 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 Discussions and/or Voting: Ltr. Ballot, Jan 2018 - No Action: 12-0-0 Meeting 54, Oct 2015 - Intent: 7-0-1 Meeting 53, Jun 2015 - Intent: 10-0-0 Meeting 52, Oct 2014 - Discussed Meeting 51, Jun 2014 - Intent: 9-0-0 AI12-0064-2/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 Discussions and/or Voting: Meeting 58, Oct 2017 - Approve AI: 6-0-2 Meeting 58, Oct 2017 - Intent: 7-0-1 Meeting 58, Oct 2017 - Discussed Meeting 57, Jun 2017 - Intent: 8-1-0 Meeting 56, Oct 2016 - Intent: 9-0-0 Meeting 55, Jun 2016 - Intent: 11-0-1 AI12-0065-1/02 2013-12-17 -- Descendants of incomplete views Priority: Low Difficulty: Medium Class: Ramification Status: Corrigendum 1 for Ada 2012 13-12-17 RM References: 7.03.01 (5.2/3) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 6-0-5 Meeting 50, Nov 2013 - Discussed AI12-0066-1/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) Discussions and/or Voting: Meeting 49, Jun 2013 - Discussed AI12-0067-1/02 2013-10-07 -- Accessibility level of explicitly aliased parameters of procedures and entries Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15 RM References: 3.10.02 (7/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI: 7-0-2 AI12-0068-1/02 2014-07-22 -- Predicates and the current instance of a subtype Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-22 RM References: 8.06 (17/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 2-0-6 Meeting 49, Jun 2013 - Intent: 9-0-0 AI12-0069-1/02 2013-10-07 -- Inconsistency in Tree container definition Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-11 RM References: A.18.10 (153/3) A.18.10 (155/3) A.18.10 (157/3) A.18.10 (159/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 AI12-0070-1/03 2013-10-07 -- 9.3(2) does not work for anonymous access types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15 RM References: 3.10.02 (13.1/3) 9.03 (2) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 6-0-3 AI12-0071-1/05 2013-12-13 -- Order of evaluation when multiple predicates apply Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-13 RM References: 3.02.04 (4/3) 3.02.04 (6/3) 3.02.04 (30/3) 3.02.04 (31/3) 3.02.04 (32/3) 3.02.04 (33/3) 3.02.04 (35/3) 3.05.05 (7.1/3) 3.05.05 (7.2/3) 3.05.05 (7.3/3) 3.08.01 (10.1/3) 3.08.01 (15/3) 4.05.02 (29/3) 4.05.02 (30/3) 4.06 (51/3) 4.09.01 (10/3) 5.04 (7/3) 5.05 (9/3) 13.09.02 (3/3) 13.09.02 (12) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 11-0-0 Meeting 50, Nov 2013 - Intent: 9-0-1 Meeting 49, Jun 2013 - Intent: 7-0-0 Meeting 49, Jun 2013 - Intent: 9-0-0 AI12-0072-1/05 2013-10-07 -- Missing rules for Discard_Names aspect Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-11 RM References: C.05 (1) C.05 (5) C.05 (7/2) C.05 (8) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 7-0-0 Meeting 49, Jun 2013 - Intent: 8-0-0 Meeting 49, Jun 2013 - Intent: 6-0-3 AI12-0073-1/02 2013-07-05 -- Synchronous Barriers are not allowed with Ravenscar Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-05 RM References: D.13 (6/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 AI12-0074-1/06 2014-09-29 -- View conversions and out parameters passed by copy Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23 RM References: 4.06 (56) 6.04.01 (6.25/3) 6.04.01 (13.1/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 4-0-3 Meeting 50, Nov 2013 - Discussed Meeting 49, Jun 2013 - Intent: 6-0-2 Meeting 49, Jun 2013 - Intent: 8-0-1 AI12-0075-1/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) Discussions and/or Voting: Meeting 58C, Apr 2018 - Approve AI w/ changes: 10-0-0 Meeting 58B, Mar 2018 - Intent: 12-0-0 Meeting 57, Jun 2017 - Discussed Meeting 54, Oct 2015 - Discussed Meeting 54, Oct 2015 - Intent: 5-3-0 Meeting 53, Jun 2015 - Discussed AI12-0076-1/04 2013-10-07 -- Variable state in pure packages Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-11 RM References: 10.02.01 (17/3) E.02.02 (17/2) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 7-0-0 Meeting 49, Jun 2013 - Discussed AI12-0077-1/02 2013-10-07 -- Has_Same_Storage on objects of size zero Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-07-15 RM References: 13.03 (73.4/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 AI12-0078-1/01 2013-06-14 -- Definition of node for tree container is confusing Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-06-28 RM References: A.18.10 (2/3) A.18.10 (3/3) Discussions and/or Voting: Meeting 49, Jun 2013 - Approve AI w/ changes: 9-0-0 AI12-0079-1/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 Discussions and/or Voting: Meeting 62C, Apr 2020 - No Action: 14-0-0 Meeting 60A, Dec 2018 - Approve AI w/ changes: 11-0-1 Meeting 60, Oct 2018 - Intent: 8-0-1 Meeting 58B, Mar 2018 - Intent: 8-1-3 Meeting 58A, Jan 2018 - Discussed Meeting 58, Oct 2017 - Intent: 8-0-0 Meeting 57, Jun 2017 - Intent: 10-0-0 Meeting 55, Jun 2016 - Discussed Meeting 53, Jun 2015 - Discussed Meeting 51, Jun 2014 - Discussed 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 Discussions and/or Voting: Meeting 62C, Apr 2020 - No Action: 14-0-0 Meeting 62A, Jan 2020 - Discussed Meeting 62, Oct 2019 - Discussed 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 Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 11-0-3 AI12-0080-1/08 2014-09-29 -- More presentation errors in Ada 2012 Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2012 13-12-11 RM References: 3.09.03 (6/2) 7.03.02 (21/3) 13.11.06 (28/3) A.18.02 (168/2) A.18.26 (29/3) A.18.26 (31/3) B.01 (50) N (21.2/3) N (41/2) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0081-1/01 2013-10-21 -- Real-time aspects need to specify when they are evaluated Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06 RM References: D.01 (17/3) D.16 (9/3) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI: 9-0-1 AI12-0082-1/03 2014-05-08 -- Definition of "dispatching domain" Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-07 RM References: D.16.01 (16/3) D.16.01 (22/3) D.16.01 (25/3) D.16.01 (27/3) D.16.01 (29/3) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 8-0-2 AI12-0083-1/01 2013-10-24 -- Automatic creation of constructor functions Priority: Medium Difficulty: Hard Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 3.09.03 (6/2) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 Meeting 50, Nov 2013 - Hold AI: 8-0-0 AI12-0084-1/01 2013-10-28 -- Box expressions in array aggregates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06 RM References: 4.03.03 (23.1/2) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI: 9-0-1 AI12-0085-1/03 2014-05-08 -- Missing aspect cases for Remote_Types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-11 RM References: E.02.02 (17/2) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 10-0-0 AI12-0086-1/04 2015-07-13 -- Aggregates and variant parts Priority: Medium Difficulty: Easy Class: Amendment Status: Revision 2022 16-02-29 RM References: 4.03.01 (17/3) 4.03.01 (19/3) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 7-1-1 Meeting 52A, Jan 2015 - Promising AI: 9-0-1 Meeting 52, Oct 2014 - Intent: 7-1-0 Meeting 50, Nov 2013 - Intent: 7-1-0 AI12-0087-1/02 2015-10-08 -- Reading the default value of a subtype Priority: Low Difficulty: Easy Class: Amendment Status: No Action (7-0-1) 15-10-17 RM References: 3.05 (15) 3.05 (55.4/4) 3.06.02 (10) Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 7-0-1 Meeting 53, Jun 2015 - Discussed AI12-0088-1/03 2013-12-06 -- UTF_Encoding.Conversions and overlong characters on input Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 13-12-06 RM References: A.04.11 (54/3) A.04.11 (55/3) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 5-0-5 AI12-0089-1/03 2014-05-08 -- Accessibility rules need to take into account that a generic function is not a 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) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI w/ changes: 10-0-1 AI12-0090-1/06 2015-01-19 -- Pre- and Postconditions and requeues Priority: High Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-12 RM References: 9.05.04 (5/3) 9.05.04 (7/3) 9.05.04 (12/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-0 Meeting 51, Jun 2014 - Intent: 9-0-0 Meeting 50, Nov 2013 - Discussed Meeting 50, Nov 2013 - Intent: 9-0-1 AI12-0091-1/04 2014-02-03 -- Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions Priority: Low Difficulty: Easy Class: Amendment Status: No Action (5-0-2) 15-10-18 RM References: A.05.01 (5) Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 5-0-2 Meeting 52, Oct 2014 - Hold AI: 8-0-0 Meeting 50, Nov 2013 - Discussed AI12-0092-1/01 2014-10-13 -- Soft Legality Rules Priority: Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 1.01.05 (4) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 Meeting 50, Nov 2013 - Discussed AI12-0093-1/04 2014-05-08 -- Iterator with indefinite cursor Priority: Low Difficulty: Medium Class: Ramification Status: Corrigendum 1 for Ada 2012 13-12-11 RM References: 5.05.02 (8/3) 5.05.02 (10/3) Discussions and/or Voting: Meeting 50, Nov 2013 - Approve AI: 11-0-0 Meeting 50, Nov 2013 - Intent: 10-0-1 AI12-0094-1/03 2015-01-19 -- An access_definition should be a declarative region Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-12 RM References: 8.03 (2) 8.03 (26/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 Meeting 50, Nov 2013 - Intent: 10-0-0 AI12-0095-1/03 2014-09-29 -- Generic formal types and constrained partial views Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11 RM References: 3.10.02 (27.2/3) 4.06 (24.16/2) 6.04.01 (6.2/3) 12.05.01 (15) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 9-0-0 AI12-0096-1/02 2014-09-29 -- The exception raised when a subtype conversion fails a predicate check Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14 RM References: 4.06 (57/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI: 8-0-0 AI12-0097-1/02 2014-07-15 -- Tag of the return object of a simple return expression Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-15 RM References: 6.05 (8/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0098-1/02 2014-09-29 -- Problematic examples for ATC Priority: Low Difficulty: Medium Class: Ramification Status: Corrigendum 1 for Ada 2012 14-07-14 RM References: 9.07.04 (13) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 6-0-1 AI12-0099-1/03 2014-09-29 -- Wording problems with predicates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23 RM References: 3.02.04 (4/4) 3.02.04 (12/3) 3.02.04 (20/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0100-1/02 2014-07-14 -- A qualified expression makes a predicate check Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14 RM References: 4.07 (4) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 9-0-0 AI12-0101-1/03 2014-09-29 -- Incompatibility of hidden untagged record equality Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14 RM References: 4.05.02 (9.8/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0102-1/02 2014-10-02 -- Stream_IO.File_Type has Preelaborable_Initialization Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11 RM References: A.12.01 (5) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI: 9-0-0 AI12-0103-1/04 2015-01-19 -- Expression functions that are completions in package specifications Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13 RM References: 13.14 (3/3) 13.14 (5/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 6-0-2 Meeting 51, Jun 2014 - Intent: 6-0-1 AI12-0104-1/02 2014-10-02 -- Overriding an aspect is undefined Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2012 14-07-23 RM References: 4.01.06 (4/3) 4.01.06 (17/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI: 7-0-0 AI12-0105-1/03 2014-10-02 -- Pre and Post are not allowed on any subprogram completion Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23 RM References: 13.01.01 (18/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0106-1/05 2015-01-19 -- Write'Class aspect Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13 RM References: 13.01.01 (28/3) 13.13.02 (38/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 Meeting 51, Jun 2014 - Discussed AI12-0107-1/03 2014-10-02 -- A prefixed view of a By_Protected_Procedure interface has convention protected Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23 RM References: 6.03.01 (10.1/2) 6.03.01 (12) 6.03.01 (13) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0108-1/02 2014-10-19 -- Out-of-range static constants Priority: Low Difficulty: Medium Class: Pathology Status: No Action (8-0-0) 14-10-19 RM References: 4.09 (24) Discussions and/or Voting: Meeting 52, Oct 2014 - No Action: 8-0-0 AI12-0109-1/03 2015-01-20 -- Representation of untagged derived types Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-14 RM References: 13.01 (10/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 AI12-0110-1/02 2014-07-23 -- Tampering checks are performed first Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23 RM References: A.18.02 (97.1/3) A.18.03 (69.1/3) A.18.04 (15.1/3) A.18.07 (14.1/3) A.18.10 (90/3) A.18.18 (35/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0111-1/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) Discussions and/or Voting: Meeting 60A, Dec 2018 - Approve AI w/ changes: 11-0-1 Meeting 60, Oct 2018 - Discussed Meeting 58, Oct 2017 - Intent: 8-0-0 Meeting 57, Jun 2017 - Intent: 9-0-0 Meeting 56, Oct 2016 - Intent: 9-0-0 Meeting 55, Jun 2016 - Discussed Meeting 54, Oct 2015 - Discussed Meeting 52, Oct 2014 - Discussed Meeting 51, Jun 2014 - Discussed AI12-0112-1/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) Discussions and/or Voting: Meeting 60A, Dec 2018 - Approve AI w/ changes: 9-0-2 Meeting 58C, Apr 2018 - Intent: 8-1-1 Meeting 51, Jun 2014 - Discussed AI12-0113-1/03 2014-11-19 -- Class-wide preconditions and statically bound calls Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-19 RM References: 6.01.01 (7/3) 6.01.01 (18/3) 6.01.01 (37/3) 6.01.01 (38/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 5-0-3 Meeting 51, Jun 2014 - Discussed AI12-0114-1/03 2014-10-02 -- Overlapping objects designated by access parameters are not thread-safe Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-15 RM References: A (3/2) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0115-1/01 2014-06-19 -- Add Size_Is_Multiple_Of aspect Priority: Low Difficulty: Easy Class: Amendment Status: No Action (10-0-0) 15-06-27 RM References: 13.03 (58/3) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 10-0-0 AI12-0116-1/03 2014-10-02 -- Private types and predicates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-11 RM References: 13.01 (9/3) 13.01 (9.1/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 6-0-1 AI12-0117-1/03 2014-11-17 -- Restriction No_Tasks_Unassigned_To_CPU Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-17 RM References: D.07 (10.8/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 Meeting 51, Jun 2014 - Promising AI: 9-0-0 AI12-0118-1/00 2014-06-20 -- Extended precision in static expressions Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 4.09 (38/2) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 7-0-2 Meeting 59, Jun 2018 - Intent: 11-0-0 Meeting 58C, Apr 2018 - Intent: 9-0-1 Meeting 58B, Mar 2018 - Intent: 10-0-1 Meeting 58, Oct 2017 - Intent: 7-0-1 Meeting 58, Oct 2017 - Intent: 8-0-0 Meeting 57, Jun 2017 - Intent: 11-0-0 Meeting 56, Oct 2016 - Discussed Meeting 51, Jun 2014 - Discussed AI12-0120-1/04 2014-10-02 -- Legality and exceptions of generalized loop iteration Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-14 RM References: 5.05.02 (6.1/4) 5.05.02 (10/3) 5.05.02 (13/3) Discussions and/or Voting: Meeting 51, Jun 2014 - Approve AI w/ changes: 7-0-0 AI12-0121-1/03 2015-01-19 -- Stream-oriented aspects Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13 RM References: 13.13.02 (38/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 AI12-0122-1/01 2014-08-11 -- Add 'Base for all types Priority: Low Difficulty: Easy Class: Amendment Status: No Action (7-0-1) 15-06-27 RM References: 3.05 (15) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 7-0-1 AI12-0123-1/01 2014-08-11 -- Add 'Subtype attribute Priority: Low Difficulty: Easy Class: Amendment Status: No Action (6-0-1) 15-10-18 RM References: 3.02.02 (12) Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 6-0-1 Meeting 52, Oct 2014 - Hold AI: 8-0-0 AI12-0124-1/04 2015-01-19 -- Add Object'Image Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-14 RM References: 3.05 (55/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 8-0-0 AI12-0125-1/05 2015-10-03 -- Add Object'Inc and 'Dec Priority: Low Difficulty: Easy Class: Amendment Status: No Action (12-0-0) 16-06-13 RM References: 3.05 (31/2) Alternatives: AI12-0125-2 AI12-0125-3 Discussions and/or Voting: Meeting 55, Jun 2016 - No Action: 12-0-0 Meeting 53, Jun 2015 - Discussed Meeting 52, Oct 2014 - Discussed AI12-0125-2/02 2015-10-09 -- Add :+, :-, :*, :/, ... Priority: Low Difficulty: Medium Class: Amendment Status: No Action (10-0-2) 16-06-13 RM References: 5.02.01 (0) Alternatives: AI12-0125-1 AI12-0125-3 Discussions and/or Voting: Meeting 55, Jun 2016 - No Action: 10-0-2 AI12-0125-3/08 2016-10-02 -- Add @ as an abbreviation for the LHS of an assignment Priority: Low Difficulty: Medium Class: Amendment Status: 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 Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI: 8-0-1 Meeting 55, Jun 2016 - Approve AI w/ changes: 10-0-2 Meeting 54, Oct 2015 - Intent: 8-0-0 AI12-0126-1/02 2015-07-13 -- Add Interfaces.Shifting Priority: Low Difficulty: Easy Class: Amendment Status: No Action (5-0-3) 15-06-27 RM References: B.02 (9) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 5-0-3 AI12-0127-1/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) Discussions and/or Voting: Ltr. Ballot, Jan 2018 - Approve AI: 12-0-0 Meeting 58, Oct 2017 - Approve AI w/ changes: 8-0-0 Meeting 58, Oct 2017 - Intent: 6-0-1 Meeting 58, Oct 2017 - Discussed Meeting 56, Oct 2016 - Intent: 9-0-0 Meeting 55, Jun 2016 - Intent: 12-0-0 Meeting 53, Jun 2015 - Discussed AI12-0128-1/09 2016-10-02 -- Exact size access to parts of composite atomic objects Priority: Medium Difficulty: Hard Class: Amendment Status: 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) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI: 9-0-3 Meeting 54, Oct 2015 - Intent: 5-0-2 Meeting 54, Oct 2015 - Intent: 6-0-2 Meeting 53, Jun 2015 - Discussed AI12-0129-1/08 2015-05-05 -- Make protected objects more protecting Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26 RM References: 9.05.01 (2) 9.05.01 (4) 9.05.01 (5) 9.05.01 (7) 9.05.03 (15) 9.05.03 (23) Discussions and/or Voting: Meeting 52C, Mar 2015 - Approve AI w/ changes: 9-0-2 Meeting 52B, Feb 2015 - Intent: 7-0-3 Meeting 52A, Jan 2015 - Intent: 10-0-0 Meeting 52, Oct 2014 - Intent: 7-0-0 AI12-0130-1/03 2015-01-19 -- All I/O packages should have Flush Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-14 RM References: A.08.01 (10) A.08.02 (28/3) A.08.04 (10) A.10.03 (21) A.12.01 (28/2) A.12.01 (28.6/1) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 AI12-0131-1/02 2014-11-13 -- Inherited Pre'Class when unspecified on initial subprogram Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13 RM References: 6.01.01 (17/3) 6.01.01 (18/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 6-0-2 AI12-0132-1/02 2014-11-13 -- Freezing of renames-as-body Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13 RM References: 13.14 (5/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-0 AI12-0133-1/04 2015-01-19 -- Type invariants and default initialized objects Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-13 RM References: 7.03.02 (10.3/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 8-0-0 AI12-0134-1/03 2015-01-19 -- Error in Storage Pool example Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2012 14-11-13 RM References: 13.11.06 (11/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 AI12-0135-1/05 2015-03-03 -- Enumeration types should be eligible for convention C Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26 RM References: B.01 (14/3) B.01 (41/3) B.03 (65) Discussions and/or Voting: Meeting 52B, Feb 2015 - Approve AI w/ changes: 10-0-0 Meeting 52A, Jan 2015 - Discussed Meeting 52, Oct 2014 - Intent: 7-0-1 AI12-0136-1/03 2015-01-20 -- Language-defined packages and aspect Default_Storage_Pool Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-18 RM References: 13.11.03 (5/3) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 AI12-0137-1/03 2015-01-20 -- Incomplete views and access to class-wide types Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-11-17 RM References: 3.10.01 (2.1/2) Discussions and/or Voting: Meeting 52, Oct 2014 - Approve AI w/ changes: 7-0-1 AI12-0138-1/09 2015-05-05 -- Iterators of formal derived types Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26 RM References: 13.01.01 (18/4) 13.01.01 (34/3) 4.01.05 (6/3) 4.01.06 (5/3) 4.01.06 (6/3) 4.01.06 (7/3) 4.01.06 (8/3) 4.01.06 (9/3) 5.05.01 (11/3) Discussions and/or Voting: Meeting 52C, Mar 2015 - Approve AI w/ changes: 10-0-1 Meeting 52B, Feb 2015 - Intent: 9-0-1 Meeting 52A, Jan 2015 - Intent: 7-0-2 Meeting 52, Oct 2014 - Intent: 7-0-1 Meeting 52, Oct 2014 - Discussed AI12-0139-1/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) Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 7-1-1 Meeting 56, Oct 2016 - Discussed Meeting 55, Jun 2016 - Discussed Meeting 54, Oct 2015 - Discussed Meeting 53, Jun 2015 - Discussed AI12-0140-1/05 2016-10-02 -- Access to unconstrained partial view when full view is constrained Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 16-08-01 RM References: 3.02 (7/2) 7.03.01 (5/1) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 9-0-2 Meeting 53, Jun 2015 - Discussed Meeting 52C, Mar 2015 - Discussed Meeting 52, Oct 2014 - Discussed AI12-0141-1/02 2015-01-28 -- Add Raise Expression to Introduction Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2012 14-12-04 RM References: Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI w/ changes: 10-0-0 AI12-0142-1/03 2015-02-23 -- Bad subpool implementations Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 13.11 (21) 13.11.04 (21/3) 13.11.04 (31/3) Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI w/ changes: 8-0-1 Meeting 52A, Jan 2015 - Approve AI w/ changes: 9-0-0 AI12-0143-1/03 2015-11-19 -- Using an entry index of a family in a precondition Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 16-07-11 RM References: 6.01.01 (30/3) 9.05.04 (5/3) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 5-0-2 Meeting 52A, Jan 2015 - Promising AI: 9-0-0 AI12-0144-1/07 2016-01-28 -- Make Discrete_Random more flexible Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 16-02-29 RM References: A.05.02 (20) A.05.02 (32) A.05.02 (41) A.05.02 (42) Discussions and/or Voting: Ltr. Ballot, Feb 2016 - Approve AI: 10-0-2 Meeting 54, Oct 2015 - Approve AI w/ changes: 7-0-0 Meeting 52B, Feb 2015 - Promising AI: 10-0-0 AI12-0145-1/02 2015-01-28 -- Pool_of_Subpool returns null when called too early Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 13.11.04 (20/3) Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI w/ changes: 9-0-1 AI12-0146-1/01 2015-01-21 -- Should say stream-oriented attribute Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 7.03.02 (15/3) Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI: 10-0-0 AI12-0147-1/02 2015-01-28 -- Expression functions and null procedures can be declared in a protected_body Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 9.04 (8/1) Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI w/ changes: 10-0-0 AI12-0148-1/03 2015-01-29 -- Dangling references Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 13.11.02 (10/2) 13.11.02 (15) 13.11.05 (7/3) Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI w/ changes: 10-0-0 AI12-0149-1/01 2015-01-22 -- Type invariants are checked for functions returning access-to-type Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 7.03.02 (19.3/4) Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI: 9-0-1 AI12-0150-1/03 2015-01-28 -- Class-wide type invariants and statically bound calls Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-01-28 RM References: 7.03.02 (3/3) 7.03.02 (5/3) 7.03.02 (9/3) 7.03.02 (22/3) Discussions and/or Voting: Meeting 52A, Jan 2015 - Approve AI w/ changes: 9-0-1 AI12-0151-1/02 2015-02-26 -- Meaning of subtype_indication in array component iterators Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26 RM References: 5.05.02 (5/3) Discussions and/or Voting: Meeting 52B, Feb 2015 - Approve AI w/ changes: 10-0-0 AI12-0152-1/04 2015-03-25 -- Eliminate ambiguities in raise expression and derived type syntax Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26 RM References: 3.05.09 (5) 3.05.09 (18) 3.05.09 (19) 11.03 (2/2) 11.03 (3.1/2) 11.03 (4/3) 11.04.01 (10.1/3) J.03 (2) J.03 (3) J.03 (4) J.03 (7) J.03 (8) J.03 (9) J.03 (10) Discussions and/or Voting: Meeting 52B, Feb 2015 - Approve AI w/ changes: 8-0-2 AI12-0153-1/02 2015-02-23 -- Default value of Boolean-valued aspects Priority: Low Difficulty: Easy Class: Binding Interpretation Status: No Action (8-0-2) 15-02-26 RM References: 13.01.01 (15/3) 3.05 (56.3/3) 3.06 (22.2/3) Discussions and/or Voting: Meeting 52B, Feb 2015 - No Action: 8-0-2 AI12-0154-1/03 2015-03-03 -- Aspects of library units Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-02-26 RM References: 13.01.01 (32/3) Discussions and/or Voting: Meeting 52B, Feb 2015 - Approve AI w/ changes: 10-0-0 AI12-0155-1/08 2015-07-30 -- Freezing of an incomplete view has no effect Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 3.10.01 (10/3) 13.14 (3/4) 13.14 (15.1/3) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 6-0-3 Meeting 52C, Mar 2015 - Discussed Meeting 52B, Feb 2015 - Intent: 10-0-0 AI12-0156-1/04 2016-04-11 -- Use subtype_indication in generalized iterators Priority: Medium Difficulty: Easy Class: Amendment Status: 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) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 6-1-1 Meeting 53, Jun 2015 - Intent: 7-0-1 AI12-0157-1/03 2015-05-05 -- Missing rules for expression functions Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26 RM References: 3.10.02 (19.2/4) 3.10.02 (19.3/4) 4.03.03 (11/2) 6.08 (2/3) 6.08 (3/3) 6.08 (5/3) 6.08 (6/3) 6.08 (7/3) 7.05 (2.9/3) 13.14 (5.1/4) 13.14 (5.2/4) 13.14 (8/3) 13.14 (10.1/3) 13.14 (10.2/3) 13.14 (10.3/3) Discussions and/or Voting: Meeting 52C, Mar 2015 - Approve AI w/ changes: 9-0-2 AI12-0158-1/02 2015-03-26 -- Definition of quantified expressions Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26 RM References: 4.05.08 (1/3) 4.05.08 (6/3) 4.05.08 (8/3) 4.05.08 (9/3) Discussions and/or Voting: Meeting 52C, Mar 2015 - Approve AI w/ changes: 8-0-2 AI12-0159-1/04 2015-03-31 -- Corrections from the Corrigendum Editorial Review Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 15-03-26 RM References: 3.05.09 (6) 4.01.04 (9/4) 6.01.01 (7/4) 6.01.01 (26.2/4) 6.01.01 (37/4) 6.01.01 (38/4) 6.03.01 (12/4) 6.03.01 (13/4) 6.04.01 (5) 6.04.01 (6.26/4) 6.04.01 (6.27/4) 6.04.01 (6.28/4) 6.04.01 (6.29/4) 6.04.01 (13.1/4) 7.03.02 (5/4) 7.03.02 (21/4) 7.03.02 (22.1/4) 11.03 (3/4) 11.03 (3.2/4) 11.03 (4.1/4) A (3.1/4) A.18.10 (2/4) Discussions and/or Voting: Meeting 52C, Mar 2015 - Approve AI w/ changes: 11-0-0 AI12-0160-1/03 2016-04-11 -- Adding an indexing aspect to an indexable container type Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 4.01.06 (6/4) 4.01.06 (9/4) 3.06 (22.2/3) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI: 8-0-1 AI12-0161-1/01 2015-06-03 -- Unicode equivalents for Ada operator symbols Priority: Low Difficulty: Easy Class: Amendment Status: No Action (8-0-0) 15-06-27 RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3) Discussions and/or Voting: Meeting 53, Jun 2015 - No Action: 8-0-0 AI12-0162-1/03 2015-07-30 -- Memberships and Unchecked_Unions Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: B.03.03 (25/2) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 8-0-2 AI12-0163-1/04 2016-04-21 -- Deterministic queue servicing for FIFO_Queueing Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 16-02-29 RM References: D.04 (7/2) D.04 (12) D.04 (13) D.04 (14) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 5-0-3 Meeting 53, Jun 2015 - Discussed AI12-0164-1/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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 8-0-1 Meeting 54, Oct 2015 - Discussed Meeting 54, Oct 2015 - Intent: 5-1-2 Meeting 53, Jun 2015 - Discussed AI12-0165-1/05 2015-10-13 -- Operations of class-wide types and formal abstract subprograms Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 12.06 (8.5/2) Discussions and/or Voting: Ltr. Ballot, Oct 2015 - Approve AI: 9-0-4 Meeting 53, Jun 2015 - Approve AI w/ changes: 7-0-5 AI12-0166-1/04 2016-03-22 -- External calls to protected functions that appear to be internal calls Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 6.01.01 (34/3) 9.05 (3/3) 9.05 (7.1/3) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 8-0-1 AI12-0167-1/03 2015-08-07 -- Type_Invariants and tagged-type View Conversions Priority: Low Difficulty: Medium Class: Ramification Status: Revision 2022 16-02-29 RM References: 7.03.02 (9/4) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 11-0-1 AI12-0168-1/02 2015-07-07 -- Freezing of generic instantiations of generics with bodies Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 13.14 (3/4) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 9-0-0 AI12-0169-1/02 2015-07-08 -- Aspect specifications for entry bodies Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 9.05.02 (5) Discussions and/or Voting: Meeting 53, Jun 2015 - Approve AI w/ changes: 7-0-2 AI12-0170-1/05 2016-10-02 -- Abstract subprogram calls in class-wide precondition expressions Priority: Low Difficulty: Hard Class: Binding Interpretation Status: 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) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 9-0-2 Meeting 54, Oct 2015 - Discussed Meeting 53, Jun 2015 - Discussed AI12-0171-1/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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 8-0-1 Meeting 55, Jun 2016 - Discussed Meeting 54, Oct 2015 - Discussed AI12-0172-1/01 2015-10-06 -- Raise expressions in limited contexts Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 7.05 (2.1/3) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI: 8-0-0 AI12-0173-1/02 2015-11-17 -- Expression of an extended return statement Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: 6.05 (3/2) 6.05 (5/3) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 8-0-0 AI12-0174-1/02 2015-11-17 -- Aggregates of Unchecked_Unions using named notation Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-02-29 RM References: B.03.03 (9/3) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 8-0-0 AI12-0175-1/05 2016-03-22 -- Preelaborable packages with address clauses Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 16-02-29 RM References: 10.02.01 (7) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 8-0-0 Meeting 54, Oct 2015 - Intent: 6-0-2 AI12-0176-1/02 2016-01-28 -- 6.1.1(26.4/4) only applies to tagged types Priority: Low Difficulty: Easy Class: Confirmation Status: WG9 Approved 16-06-13 RM References: 6.01.01 (26.4/4) Discussions and/or Voting: Ltr. Ballot, Feb 2016 - Approve AI: 10-0-0 Meeting 54, Oct 2015 - Approve AI: 7-0-1 AI12-0177-1/00 2015-10-08 -- A name resolution oddity Priority: Low Difficulty: Hard Class: Binding Interpretation Status: No Action (6-0-2) 15-10-16 RM References: 13.01.01 (11/3) Discussions and/or Voting: Meeting 54, Oct 2015 - No Action: 6-0-2 AI12-0178-1/04 2016-04-25 -- Glitches in examples Priority: Low Difficulty: Easy Class: Presentation Status: 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) Discussions and/or Voting: Meeting 54, Oct 2015 - Approve AI w/ changes: 7-0-1 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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 10-0-0 Meeting 55, Jun 2016 - Intent: 9-1-1 AI12-0180-1/03 2016-10-02 -- Using protected subprograms and entries within an invariant Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-07-11 RM References: 13.01.01 (12/3) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 10-0-1 AI12-0181-1/03 2016-07-11 -- Self-referencing representation aspects Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-07-11 RM References: 13.01 (9/4) 13.01 (9.1/4) 13.14 (19) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 9-0-2 AI12-0182-1/02 2016-04-21 -- Pre'Class and protected operations Priority: Low Difficulty: Easy Class: Ramification Status: Revision 2022 16-07-21 RM References: 13.01.01 (16/3) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI: 9-0-1 AI12-0183-1/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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 11-0-1 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) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 11-0-1 AI12-0185-1/02 2016-07-21 -- Resolution of postcondition-specific attributes Priority: Low Difficulty: Easy Class: Binding Interpretation Status: 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) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 7-0-2 Meeting 56, Oct 2016 - Intent: 6-0-4 Meeting 55, Jun 2016 - Intent: 10-0-1 AI12-0187-1/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) Discussions and/or Voting: Meeting 58, Oct 2017 - Approve AI w/ changes: 5-0-3 Meeting 58, Oct 2017 - Intent: 6-0-2 Meeting 55, Jun 2016 - Intent: 9-0-2 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) Discussions and/or Voting: Meeting 59, Jun 2018 - No Action: 7-0-0 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 5-0-2 Meeting 58, Oct 2017 - Intent: 6-1-1 Meeting 57, Jun 2017 - Discussed Meeting 55, Jun 2016 - Intent: 9-1-2 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) Discussions and/or Voting: Meeting 60B, Jan 2019 - No Action: 10-0-2 Meeting 60A, Dec 2018 - Approve AI: 9-0-2 Meeting 59, Jun 2018 - Discussed Meeting 55, Jun 2016 - Discussed 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) Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 6-0-4 Meeting 60G, Jun 2019 - Approve AI w/ changes: 11-0-0 Meeting 60C, Feb 2019 - Discussed Meeting 55, Jun 2016 - Intent: 10-0-0 AI12-0192-1/03 2016-10-02 -- "requires late initialization" and protected types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-07-21 RM References: 3.03.01 (8.1/2) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 8-0-3 AI12-0193-1/04 2016-12-21 -- Postcondition failure for a task entry Priority: Low Difficulty: Medium Class: Binding Interpretation Status: 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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 9-0-1 Meeting 55, Jun 2016 - Intent: 9-0-2 AI12-0194-1/01 2016-06-06 -- Language-defined aspects and entry bodies Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-07-21 RM References: 13.01.01 (17/3) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI: 11-0-0 AI12-0195-1/03 2016-10-02 -- Inheriting body but overriding precondition or postcondition Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Revision 2022 16-07-21 RM References: 6.01.01 (38/4) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 6-0-5 AI12-0196-1/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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 9-0-0 Meeting 55, Jun 2016 - Intent: 10-0-2 AI12-0197-1/01 2016-06-07 -- Generator Functions Priority: 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 Meeting 55, Jun 2016 - Discussed 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 Meeting 55, Jun 2016 - Discussed 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 Discussions and/or Voting: Meeting 59, Jun 2018 - Hold AI: 9-0-1 Meeting 56, Oct 2016 - Discussed 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 Discussions and/or Voting: Meeting 62, Oct 2019 - Hold AI: 9-0-0 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) Discussions and/or Voting: Meeting 55, Jun 2016 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 7-0-2 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) Discussions and/or Voting: Ltr. Ballot, Dec 2016 - Approve AI: 10-1-1 Meeting 56, Oct 2016 - Approve AI w/ changes: 9-0-1 AI12-0201-1/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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 9-0-0 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) Discussions and/or Voting: Meeting 59, Jun 2018 - No Action: 8-0-3 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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 56, Oct 2016 - Approve AI w/ changes: 8-0-0 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - Approve AI w/ changes: 10-1-3 Meeting 62, Oct 2019 - Discussed Meeting 60A, Dec 2018 - Hold AI: 11-0-0 Meeting 59, Jun 2018 - Intent: 11-0-0 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 9-0-1 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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Approve AI w/ changes: 8-1-2 Meeting 60B, Jan 2019 - Discussed Meeting 60, Oct 2018 - Intent: 10-0-0 Meeting 58A, Jan 2018 - Discussed Meeting 58, Oct 2017 - Discussed 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 9-0-2 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) Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 10-0-0 Meeting 60, Oct 2018 - Discussed Meeting 57, Jun 2017 - Discussed 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) Discussions and/or Voting: Meeting 58, Oct 2017 - Approve AI: 6-0-2 Meeting 57, Jun 2017 - Intent: 9-0-0 Meeting 57, Jun 2017 - Intent: 10-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 5-0-2 Meeting 59, Jun 2018 - Intent: 11-0-0 Meeting 57, Jun 2017 - Discussed 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 Discussions and/or Voting: Meeting 62A, Jan 2020 - Discussed Meeting 60B, Jan 2019 - Approve AI w/ changes: 12-0-0 Meeting 60, Oct 2018 - Intent: 7-0-0 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 Discussions and/or Voting: Meeting 62A, Jan 2020 - No Action: 11-2-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 Discussions and/or Voting: Meeting 62, Oct 2019 - Hold AI: 8-0-1 Ltr. Ballot, May 2018 - Hold AI: 7-3-1 Meeting 58, Oct 2017 - Discussed 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-1 Meeting 61, Jul 2019 - Approve AI w/ changes: 10-0-0 Meeting 61, Jul 2019 - Intent: 10-0-0 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 Discussions and/or Voting: Meeting 62F, Sep 2020 - Hold AI: 13-0-0 Meeting 62, Oct 2019 - No Action: 8-0-1 Ltr. Ballot, May 2018 - Hold AI: 8-2-1 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 Discussions and/or Voting: Meeting 62F, Sep 2020 - Hold AI: 13-0-0 Meeting 62, Oct 2019 - Discussed 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 8-0-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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 9-1-1 Meeting 58, Oct 2017 - Discussed 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 8-0-1 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) Discussions and/or Voting: Meeting 58C, Apr 2018 - Approve AI w/ changes: 9-0-1 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) Discussions and/or Voting: Meeting 60, Oct 2018 - No Action: 7-0-0 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 9-1-1 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI: 6-0-3 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 9-0-0 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 7-1-2 Meeting 58, Oct 2017 - Discussed 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 9-0-0 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 6-0-3 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 7-0-3 Meeting 59, Jun 2018 - Intent: 10-0-2 Meeting 57, Jun 2017 - Discussed 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) Discussions and/or Voting: Meeting 57, Jun 2017 - Approve AI: 10-0-0 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) Discussions and/or Voting: Meeting 58, Oct 2017 - Approve AI w/ changes: 7-0-1 Meeting 57, Jun 2017 - Discussed 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) Discussions and/or Voting: Meeting 58, Oct 2017 - Approve AI w/ changes: 7-0-1 Meeting 57, Jun 2017 - Intent: 8-0-2 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI w/ changes: 8-0-2 Meeting 60D, Mar 2019 - Intent: 10-0-1 Meeting 58, Oct 2017 - Intent: 7-1-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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 7-0-0 Meeting 58, Oct 2017 - Intent: 6-0-2 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) Discussions and/or Voting: Meeting 60C, Feb 2019 - Approve AI: 10-1-0 Meeting 60B, Jan 2019 - Approve AI w/ changes: 8-1-3 Meeting 60, Oct 2018 - Intent: 6-0-2 Meeting 58, Oct 2017 - Intent: 7-0-0 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) Discussions and/or Voting: Ltr. Ballot, Aug 2018 - Approve AI: 9-0-4 Meeting 59, Jun 2018 - Approve AI w/ changes: 6-0-1 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) Discussions and/or Voting: Meeting 58, Oct 2017 - No Action: 8-0-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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Hold AI: 11-0-2 Meeting 62, Oct 2019 - Discussed Meeting 61, Jul 2019 - Discussed Meeting 61, Jul 2019 - Discussed 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 Meeting 58, Oct 2017 - Discussed 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 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 Discussions and/or Voting: Meeting 62, Oct 2019 - Hold AI: 9-0-0 Meeting 60E, Apr 2019 - Discussed 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 Discussions and/or Voting: Meeting 62C, Apr 2020 - No Action: 14-0-0 Meeting 61, Jul 2019 - Approve AI w/ changes: 7-0-3 Meeting 61, Jul 2019 - Intent: 9-0-1 Meeting 60G, Jun 2019 - Intent: 6-0-5 Meeting 60F, May 2019 - Discussed 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) Discussions and/or Voting: Ltr. Ballot, Jan 2018 - Approve AI: 12-0-0 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) Discussions and/or Voting: Meeting 60B, Jan 2019 - Approve AI w/ changes: 12-0-0 Meeting 59, Jun 2018 - Intent: 8-1-2 Meeting 58A, Jan 2018 - Discussed 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 Discussions and/or Voting: Meeting 62C, Apr 2020 - Hold AI: 14-0-0 Meeting 62, Oct 2019 - Discussed Ltr. Ballot, May 2018 - Hold AI: 8-3-0 Meeting 58A, Jan 2018 - Discussed 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 Discussions and/or Voting: Meeting 62C, Apr 2020 - Hold AI: 14-0-0 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) Discussions and/or Voting: Meeting 58A, Jan 2018 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 58A, Jan 2018 - No Action: 9-0-2 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 9-1-1 Meeting 58A, Jan 2018 - Discussed 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) Discussions and/or Voting: Meeting 58A, Jan 2018 - Approve AI: 11-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - No Action: 7-0-0 Meeting 58A, Jan 2018 - Discussed 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI: 9-0-1 Meeting 60D, Mar 2019 - Intent: 9-0-2 Meeting 60, Oct 2018 - Intent: 7-1-1 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 Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI: 5-0-2 Meeting 59, Jun 2018 - Intent: 10-0-1 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 Discussions and/or Voting: Meeting 60, Oct 2018 - No Action: 7-0-0 Meeting 59, Jun 2018 - Discussed 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) Discussions and/or Voting: Meeting 58A, Jan 2018 - Approve AI w/ changes: 10-0-1 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 Meeting 58A, Jan 2018 - Discussed 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) Discussions and/or Voting: Meeting 58B, Mar 2018 - Approve AI w/ changes: 7-1-4 Meeting 58A, Jan 2018 - Discussed 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) Discussions and/or Voting: Meeting 58A, Jan 2018 - No Action: 8-0-3 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 62E, Jul 2020 - Hold AI: 15-0-0 Ltr. Ballot, May 2018 - Hold AI: 8-0-3 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) Discussions and/or Voting: Meeting 58B, Mar 2018 - Approve AI w/ changes: 11-0-1 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) Discussions and/or Voting: Meeting 58B, Mar 2018 - Approve AI w/ changes: 12-0-0 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) Discussions and/or Voting: Meeting 58B, Mar 2018 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 58B, Mar 2018 - Approve AI w/ changes: 7-0-5 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) Discussions and/or Voting: Meeting 60C, Feb 2019 - Approve AI w/ changes: 10-0-1 Meeting 60B, Jan 2019 - Approve AI w/ changes: 11-0-0 Meeting 60, Oct 2018 - Intent: 5-0-3 Meeting 59, Jun 2018 - Intent: 10-0-1 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 10-0-1 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) Discussions and/or Voting: Meeting 58C, Apr 2018 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Meeting 58C, Apr 2018 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Meeting 60C, Feb 2019 - Approve AI w/ changes: 8-0-2 Meeting 60B, Jan 2019 - Intent: 7-0-4 Meeting 60, Oct 2018 - Intent: 6-0-1 Meeting 59, Jun 2018 - Intent: 11-0-0 Meeting 58C, Apr 2018 - Intent: 7-0-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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 5-0-2 Meeting 59, Jun 2018 - Intent: 7-0-1 Meeting 59, Jun 2018 - Intent: 11-0-0 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) Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 Meeting 61, Jul 2019 - Discussed 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) Discussions and/or Voting: Meeting 58C, Apr 2018 - Approve AI w/ changes: 7-0-2 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 8-0-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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 10-0-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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI: 7-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 7-0-3 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 9-0-2 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 9-0-1 Meeting 59, Jun 2018 - Intent: 11-0-1 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 Discussions and/or Voting: Meeting 61, Jul 2019 - No Action: 10-0-0 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 Discussions and/or Voting: Meeting 62, Oct 2019 - Approve AI w/ changes: 9-0-1 Meeting 61, Jul 2019 - Intent: 10-0-0 Meeting 61, Jul 2019 - Discussed 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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Approve AI w/ changes: 9-0-2 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - Approve AI w/ changes: 11-0-3 Meeting 62B, Mar 2020 - Intent: 14-0-0 Meeting 60E, Apr 2019 - Approve AI: 10-0-0 Meeting 60D, Mar 2019 - Intent: 10-0-1 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 8-0-3 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) Discussions and/or Voting: Meeting 59, Jun 2018 - Approve AI w/ changes: 9-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 7-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 5-0-1 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) Discussions and/or Voting: Ltr. Ballot, May 2018 - Hold AI: 10-0-1 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI: 5-1-1 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 7-0-0 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 8-0-0 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) Discussions and/or Voting: Meeting 60A, Dec 2018 - Approve AI w/ changes: 8-0-3 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Approve AI w/ changes: 6-0-4 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) Discussions and/or Voting: Meeting 60, Oct 2018 - Hold AI: 7-0-3 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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Hold AI: 9-0-1 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) Discussions and/or Voting: Meeting 60F, May 2019 - Approve AI: 7-0-4 Meeting 60A, Dec 2018 - Intent: 10-0-2 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) Discussions and/or Voting: Meeting 60B, Jan 2019 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 60B, Jan 2019 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 60B, Jan 2019 - Approve AI w/ changes: 11-0-0 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 10-0-3 Meeting 62, Oct 2019 - Approve AI w/ changes: 9-0-1 Meeting 61, Jul 2019 - Discussed Meeting 60G, Jun 2019 - Discussed 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - No Action: 14-0-0 Meeting 60G, Jun 2019 - Approve AI w/ changes: 9-0-2 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) Discussions and/or Voting: Meeting 60G, Jun 2019 - Approve AI w/ changes: 11-0-0 Meeting 60F, May 2019 - Approve AI w/ changes: 10-0-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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Hold AI: 9-0-1 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) Discussions and/or Voting: Meeting 60C, Feb 2019 - Approve AI w/ changes: 9-1-0 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) Discussions and/or Voting: Meeting 60C, Feb 2019 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Meeting 60C, Feb 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60C, Feb 2019 - Approve AI w/ changes: 7-1-2 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - No Action: 14-0-0 Meeting 60C, Feb 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Approve AI w/ changes: 9-0-1 Meeting 60C, Feb 2019 - Intent: 9-0-1 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) Discussions and/or Voting: Meeting 62, Oct 2019 - Approve AI w/ changes: 10-0-0 Meeting 62, Oct 2019 - Intent: 10-0-0 Meeting 61, Jul 2019 - Intent: 9-0-1 Meeting 60C, Feb 2019 - Discussed 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: Discussions and/or Voting: Meeting 60F, May 2019 - Approve AI w/ changes: 11-0-0 Meeting 60C, Feb 2019 - Discussed 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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Approve AI w/ changes: 10-0-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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Approve AI w/ changes: 10-0-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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Hold AI: 11-0-0 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI w/ changes: 10-0-0 Meeting 60D, Mar 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60D, Mar 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI: 6-0-4 Meeting 60D, Mar 2019 - Discussed 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI w/ changes: 9-0-1 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60E, Apr 2019 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Meeting 60F, May 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 60F, May 2019 - Approve AI w/ changes: 10-0-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 Discussions and/or Voting: Meeting 61, Jul 2019 - No Action: 10-0-0 Meeting 60F, May 2019 - Intent: 7-0-4 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 Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 9-0-1 Meeting 61, Jul 2019 - Intent: 10-0-0 Meeting 60G, Jun 2019 - Intent: 10-0-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) Discussions and/or Voting: Meeting 60F, May 2019 - Approve AI w/ changes: 11-0-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) Discussions and/or Voting: Meeting 60G, Jun 2019 - Approve AI: 9-0-0 Meeting 60F, May 2019 - Intent: 7-0-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) Discussions and/or Voting: Meeting 60F, May 2019 - Approve AI w/ changes: 9-0-2 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 14-0-1 Meeting 60G, Jun 2019 - Approve AI w/ changes: 11-0-0 Meeting 60F, May 2019 - Discussed 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) Discussions and/or Voting: Meeting 60G, Jun 2019 - Approve AI w/ changes: 9-0-0 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) Discussions and/or Voting: Meeting 60G, Jun 2019 - Approve AI w/ changes: 9-0-0 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI w/ changes: 14-0-0 Meeting 61, Jul 2019 - Approve AI w/ changes: 9-0-1 Meeting 60G, Jun 2019 - Intent: 11-0-0 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 Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-0 Meeting 61, Jul 2019 - Discussed 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 Discussions and/or Voting: Meeting 62C, Apr 2020 - No Action: 14-0-0 Meeting 62, Oct 2019 - Intent: 8-0-1 Meeting 61, Jul 2019 - Intent: 10-0-0 Meeting 61, Jul 2019 - Discussed 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) Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 8-0-2 Meeting 61, Jul 2019 - Discussed 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) Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 9-0-1 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) Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 8-0-2 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) Discussions and/or Voting: Meeting 61, Jul 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 62, Oct 2019 - Approve AI w/ changes: 10-0-0 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) Discussions and/or Voting: Meeting 62, Oct 2019 - No Action: 9-0-1 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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Approve AI w/ changes: 9-0-4 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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Approve AI w/ changes: 13-0-1 Meeting 62, Oct 2019 - Intent: 9-0-0 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 10-0-2 Meeting 62, Oct 2019 - Intent: 6-0-4 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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Approve AI w/ changes: 10-0-4 Meeting 62, Oct 2019 - Intent: 9-0-0 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - Discussed Meeting 62, Oct 2019 - Discussed 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI: 13-0-1 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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Approve AI w/ changes: 11-0-2 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) Discussions and/or Voting: Meeting 62E, Jul 2020 - Hold AI: 13-0-2 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Approve AI w/ changes: 12-0-1 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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Approve AI w/ changes: 11-0-2 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - No Action: 14-0-0 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 11-0-2 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 Discussions and/or Voting: Meeting 62F, Sep 2020 - No Action: 14-0-0 Meeting 62E, Jul 2020 - Intent: 11-0-4 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 Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI: 9-0-5 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) Discussions and/or Voting: Meeting 62A, Jan 2020 - Approve AI w/ changes: 12-0-1 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62E, Jul 2020 - Hold AI: 15-0-0 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 14-0-0 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 Discussions and/or Voting: Meeting 62D, Jun 2020 - Hold AI: 11-0-2 Meeting 62C, Apr 2020 - Intent: 13-0-1 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 Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 12-0-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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 10-0-2 Meeting 62C, Apr 2020 - Intent: 12-0-2 Meeting 62B, Mar 2020 - Discussed 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - Approve AI w/ changes: 13-1-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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI: 12-0-2 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) Discussions and/or Voting: Meeting 62B, Mar 2020 - Approve AI w/ changes: 13-0-1 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 12-0-1 Meeting 62B, Mar 2020 - Intent: 12-0-2 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - Approve AI w/ changes: 14-0-0 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 Discussions and/or Voting: Meeting 62F, Sep 2020 - No Action: 12-0-2 Meeting 62C, Apr 2020 - Intent: 14-0-0 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 Discussions and/or Voting: Meeting 62E, Jul 2020 - Approve AI w/ changes: 9-0-6 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - Approve AI w/ changes: 13-0-1 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) Discussions and/or Voting: Meeting 62C, Apr 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 12-0-1 Meeting 62C, Apr 2020 - Discussed 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 14-0-0 Meeting 62E, Jul 2020 - Intent: 14-0-1 Meeting 62D, Jun 2020 - Discussed 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 13-0-0 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) Discussions and/or Voting: Meeting 62E, Jul 2020 - Approve AI w/ changes: 8-0-7 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 13-0-0 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 13-0-0 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 12-0-1 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 Discussions and/or Voting: Meeting 62G, Oct 2020 - No Action: 14-0-0 Meeting 62F, Sep 2020 - Discussed Meeting 62E, Jul 2020 - Discussed 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 Discussions and/or Voting: Meeting 62G, Oct 2020 - Approve AI w/ changes: 9-0-5 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) Discussions and/or Voting: Meeting 62D, Jun 2020 - Approve AI w/ changes: 13-0-0 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) Discussions and/or Voting: Meeting 62E, Jul 2020 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Hold AI: 14-0-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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 12-1-1 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 8-0-6 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI: 14-0-0 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 13-0-1 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI: 12-0-2 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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 11-0-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) Discussions and/or Voting: Meeting 62F, Sep 2020 - Approve AI w/ changes: 13-0-1 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) Discussions and/or Voting: Meeting 62G, Oct 2020 - Approve AI w/ changes: 13-0-1 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) Discussions and/or Voting: Meeting 62G, Oct 2020 - Approve AI w/ changes: 13-1-0 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) Discussions and/or Voting: Meeting 62G, Oct 2020 - Approve AI w/ changes: 13-0-0 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 15-0-0 Meeting 62G, Oct 2020 - Approve AI w/ changes: 13-0-1 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 12-0-2 Meeting 62G, Oct 2020 - Intent: 7-1-6 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) Discussions and/or Voting: Meeting 62G, Oct 2020 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 8-0-6 Meeting 62G, Oct 2020 - Discussed 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 11-0-3 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Hold AI: 11-1-3 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 15-0-1 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 14-0-1 Meeting 62H, Dec 2020 - Intent: 13-0-2 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62H, Dec 2020 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Hold AI: 15-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 16-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 16-0-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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 16-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Hold AI: 15-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 16-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 15-0-0 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) Discussions and/or Voting: Meeting 62J, Jan 2021 - Approve AI w/ changes: 10-0-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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI: 15-0-0 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI w/ changes: 15-0-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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI w/ changes: 14-0-1 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI w/ changes: 13-0-2 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI: 13-0-2 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI: 15-0-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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI: 12-0-2 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI: 14-0-0 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI w/ changes: 12-0-2 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) Discussions and/or Voting: Meeting 62K, Jun 2021 - Approve AI: 8-1-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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62P, May 2022 - Approve AI w/ changes: 14-0-0 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) Discussions and/or Voting: Meeting 62R, Sep 2022 - Approve AI w/ changes: 9-0-0 AI12-0447-1/03 2023-03-01 -- More rewordings of notes Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-12-14 RM References: 3.09 (29) 3.09.01 (8) 3.09.01 (9) 3.09.03 (12) 3.10.01 (13) 4.01.02 (8) 4.01.04 (17/2) 4.03.01 (21) 4.03.02 (9) 9.07.01 (22) 10.02.01 (27) 10.02.01 (28) 11.04.02 (28/5) 12.01 (12) 12.05.01 (28) 13.11.04 (33/5) A.05.02 (50/5) A.16 (131/5) C.03 (29) D.03 (20) D.05.01 (18/3) H.03.02 (9/2) H.03.02 (11) Discussions and/or Voting: Meeting 62T, Jan 2023 - Approve AI: 13-0-0 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) Discussions and/or Voting: Meeting 62T, Jan 2023 - Approve AI: 13-0-0 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) Discussions and/or Voting: Meeting 62T, Jan 2023 - Approve AI: 13-0-0 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) Discussions and/or Voting: Meeting 62T, Jan 2023 - Approve AI: 13-0-0 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) Discussions and/or Voting: Meeting 62T, Jan 2023 - Approve AI: 13-0-0 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) Discussions and/or Voting: Meeting 62T, Jan 2023 - Approve AI: 13-0-0 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) Discussions and/or Voting: Meeting 62T, Jan 2023 - Approve AI: 13-0-0 AI12-0454-1/01 2023-03-07 -- Last second editorial fixes for Ada 2022 Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 23-03-30 RM References: 1.02 (4.1/5) 1.02.01 (6/5) 1.02.01 (9/5) 2.01 (1/5) C.07.01 (9) D.02 (1/3) D.02.01 (2/2) Discussions and/or Voting: Meeting 62U, Mar 2023 - Approve AI: 12-0-0 |