CVS difference for ai12s/ai12-summary.txt

Differences between 1.155 and version 1.156
Log of other versions for file ai12s/ai12-summary.txt

--- ai12s/ai12-summary.txt	2020/12/12 06:56:10	1.155
+++ ai12s/ai12-summary.txt	2021/01/15 07:40:06	1.156
@@ -96,7 +96,7 @@
     Class: Amendment                   Status: No Action     (9-0-0) 15-06-28
     RM References:  12.05.06 (0)  
 
-AI12-0020-1/10   2019-03-08 --  'Image for all types
+AI12-0020-1/11   2020-01-06 --  'Image for all types
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  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)  
@@ -417,7 +417,7 @@
     RM References:  6.01.02 (0)  
     Alternatives:   AI12-0079-1  AI12-0079-3
 
-AI12-0079-3/06   2020-03-24 --  Global-in and global-out annotations
+AI12-0079-3/07   2021-01-14 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  6.01.02 (0)  
@@ -1115,7 +1115,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-17
     RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  
 
-AI12-0212-1/13   2019-04-02 --  Container aggregates; generalized array aggregates
+AI12-0212-1/14   2021-01-12 --  Container aggregates; generalized array aggregates
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  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)  
@@ -1146,7 +1146,7 @@
 
 AI12-0215-1/01   2017-01-09 --  Implicit instantiations
     Priority: Low                  Difficulty: Hard
-    Class: Amendment                   Status: Work Item     18-05-07
+    Class: Amendment                   Status: Hold          13-0-0  20-09-09
     RM References:  12.03.01 (0)  
     Alternatives:   AI12-0215-2
 
@@ -1431,7 +1431,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  10.01.02 (12/3)   10.01.02 (13/2)   10.01.02 (14/2)   10.01.02 (15/2)   10.01.02 (16/2)  
 
-AI12-0262-1/11   2019-03-19 --  Map-Reduce attribute
+AI12-0262-1/12   2020-01-06 --  Map-Reduce attribute
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-01-15
     RM References:  4.01.04 (1)   4.01.04 (6)   4.01.04 (11)   4.05.10 (0)  
@@ -1527,7 +1527,7 @@
     RM References:  6.01.02 (0)  
     Alternatives:   AI12-0280-2
 
-AI12-0280-2/07   2019-11-08 --  Making 'Old more flexible
+AI12-0280-2/08   2021-01-14 --  Making 'Old more flexible
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  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)  
@@ -1618,7 +1618,7 @@
     Class: Amendment                   Status: Hold          9-0-1  19-02-26
     RM References:  12.04 (6)   12.07 (2)  
 
-AI12-0298-1/06   2019-04-17 --  Revise the conflict check policies to ensure compatibility
+AI12-0298-1/07   2020-12-14 --  Revise the conflict check policies to ensure compatibility
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  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)  
@@ -1785,7 +1785,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-04-09
     RM References:  13.13.01 (9/5)   13.13.01 (9.1/5)  
 
-AI12-0330-1/05   2020-12-09 --  Add items to the Glossary
+AI12-0330-1/06   2020-12-15 --  Add items to the Glossary
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-05-09
     RM References:  N (0)  
@@ -2165,10 +2165,10 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  20-10-21
     RM References:  3.07 (5/2)   6.03.01 (25)   6.05 (2.1/3)   9.05.02 (8)  
 
-AI12-0399-1/02   2020-10-21 --  Aspect specification for Preelaborable_Initialization
+AI12-0399-1/03   2020-12-14 --  Aspect specification for Preelaborable_Initialization
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  20-10-21
-    RM References:  9.05 (53/5)   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)   J.15.14 (0)  
+    RM References:  9.05 (53/5)  
 
 AI12-0400-1/03   2020-10-21 --  Ambiguities associated with Vector Append and container aggregates
     Priority: Low                  Difficulty: Easy
@@ -2180,7 +2180,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  20-10-21
     RM References:  3.03 (23.2/3)   8.05.01 (4.7/5)   8.05.01 (5/3)  
 
-AI12-0402-1/03   2020-12-11 --  Master of a function call with elementary result type
+AI12-0402-1/04   2020-12-15 --  Master of a function call with elementary result type
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  20-12-11
     RM References:  3.10.02 (10.2/3)  
@@ -2195,12 +2195,12 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  20-10-21
     RM References:  3.03.01 (8.1/5)   3.09.01 (14)   5.06.01 (4/5)   D (1)   D.01 (15)   D.01 (23)   D.03 (13)   D.03 (13.2/2)   D.03 (13.3/2)   D.03 (13.4/2)   D.03 (13.5/2)   H.07.01 (14/5)   H.07.01 (17/5)   H.07.01 (18/5)  
 
-AI12-0405-1/02   2020-12-11 --  Fixups for stable properties
+AI12-0405-1/04   2020-12-18 --  Fixups for stable properties
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  20-12-11
-    RM References:  7.03.04 (10/5)   7.03.04 (15/5)  
+    RM References:  6.01.02 (19/5)   7.03.04 (0)  
 
-AI12-0406-1/03   2020-12-09 --  Clarifying static accessibility
+AI12-0406-1/04   2020-12-15 --  Clarifying static accessibility
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  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)  
@@ -2210,15 +2210,15 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  20-11-23
     RM References:  3.03 (21)   12.03 (15)   13.01 (8/5)   13.01 (8.1/3)   13.01.01 (17/5)   13.14 (7.2/5)   A.05.06 (3/5)   A.05.06 (15/5)   A.05.07 (3/5)   A.05.07 (16/5)   A.18.02 (79.2/5)   A.18.03 (50.2/5)   A.18.05 (37.3/5)   A.18.06 (51.4/5)   A.18
.08 (58.2/5)   A.18.09 (74.2/5)   H.04.01 (1/5)   H.04.01 (3/5)   H.04.01 (4/5)   H.04.01 (5/5)  
 
-AI12-0408-1/03   2020-12-11 --  Definition of "null procedure" and "expression function"
+AI12-0408-1/04   2020-12-15 --  Definition of "null procedure" and "expression function"
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  20-12-11
-    RM References:  6.01 (30/3)   6.07 (3/3)   6.07 (4/3)   6.08 (3.1/5)   6.08 (7/4)  
+    RM References:  6.01 (30/3)   6.07 (3/3)   6.07 (4/2)   6.08 (3.1/5)   6.08 (7/4)  
 
-AI12-0409-1/02   2020-12-11 --  Preelaborable_Initialization and bounded containers
-    Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-12-11
-    RM References:  10.02.01 (11.6/2)   10.02.01 (11.7/3)   10.02.01 (11.8/2)   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)  
+AI12-0409-1/04   2020-12-18 --  Preelaborable_Initialization aspect and bounded containers
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  20-12-11
+    RM References:  10.02.01 (4.1/2)   10.02.01 (4.2/2)   10.02.01 (11.1/2)   10.02.01 (11.2/2)   10.02.01 (11.6/2)   10.02.01 (11.7/2)   10.02.01 (11.8/2)   13.01 (11/3)   A.18.19 (5/5)   A.18.20 (5/5)   A.18.21 (5/5)   A.18.22 (5/5)   A.18.23 (5/5)   A.
18.24 (5/5)   A.18.25 (5/5)   A.18.32 (6/5)   J.15.14 (0)  
 
 AI12-0410-1/01   2020-12-03 --  Storage Pool-related side effects
     Priority: Low                  Difficulty: Easy
@@ -2230,12 +2230,12 @@
     Class: Amendment                   Status: Work Item     20-12-03
     RM References:  B.03 (13)   B.03 (65.1/4)  
 
-AI12-0412-1/01   2020-12-03 --  Pre'Class using an abstract function applied to a concrete operation of abstrac
+AI12-0412-1/03   2021-01-06 --  Abstract Pre/Post'Class on primitive of abstract type
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     20-12-03
     RM References:  6.01.01 (18.2/4)  
 
-AI12-0413-1/02   2020-12-11 --  Reemergence of "=" when defined to be abstract
+AI12-0413-1/03   2020-12-17 --  Reemergence of "=" when defined to be abstract
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  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)  
@@ -2250,13 +2250,38 @@
     Class: Amendment                   Status: Work Item     20-12-03
     RM References:  9.10.01 (20/5)   9.10.01 (21/5)   9.10.01 (23/5)  
 
-AI12-0416-1/01   2020-12-08 --  Fixups from Draft 26 review - part 2
+AI12-0416-1/05   2021-01-14 --  Fixups from Draft 26 review - part 2
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  20-12-08
-    RM References:  A.18 (2/5)  
+    RM References:  5.05 (9/5)   6.01.02 (17/5)   6.04 (7)   6.04 (9)   6.04 (10.1/2)   A.18 (2/5)   A.18 (5/3)  
 
 AI12-0417-1/01   2020-12-08 --  Make categorization pragmas obsolescent
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     20-12-08
     RM References:  10.02.01 (2)   10.02.01 (3)   10.02.01 (4)  
+
+AI12-0418-1/04   2021-01-14 --  Presentation issues from Draft 26 review - part 3
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  20-12-14
+    RM References:  4.03.01 (17.2/5)   4.03.03 (10)   4.03.05 (76/5)   4.05.02 (3.1/4)   5.05.02 (10.2/5)   6.01.01 (3/3)   6.01.01 (5/3)   6.01.01 (7/5)   6.01.01 (8/3)   6.05 (5.1/5)   6.05 (8/4)   6.05.01 (1/5)   9.07.04 (14/4)   12.03 (11)   12.07 (4.
5/3)  
+
+AI12-0419-1/01   2021-01-14 --  Aspect inheritance and reemergence
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     21-01-14
+    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 (25/3)   13.1
3.02 (25.1/2)   13.13.02 (25.1/2)   13.13.02 (42/2)  
+
+AI12-0420-1/00   2021-01-14 --  Preelaborable_Initialization and contracts
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     21-01-14
+    RM References:  10.02.01 (11.3/2)  
+
+AI12-0421-1/00   2021-01-14 --  Legality checks for class-wide Pre and Post
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     21-01-14
+    RM References:  6.01.01 (18/5)   6.01.01 (18.1/4)   6.01.01 (18.2/4)  
+
+AI12-0422-1/01   2021-01-14 --  When is a constant known-on-entry?
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     21-01-14
+    RM References:  3.03 (13/3)   6.01.01 (22.1/5)   6.01.02 (10/5)  
 

Questions? Ask the ACAA Technical Agent