CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2019/03/01 06:38:10	1.111
+++ ai12s/ai12-summary.txt	2019/03/08 06:57:49	1.112
@@ -1102,7 +1102,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/11   2019-02-13 --  Container aggregates; generalized array aggregates
+AI12-0212-1/12   2019-03-05 --  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)  
@@ -1219,7 +1219,7 @@
     Class: Ramification                Status: WG9 Approved  16-06-22
     RM References:  6.01.01 (38/4)  
 
-AI12-0234-1/03   2018-06-06 --  Compare-and-swap for atomic objects
+AI12-0234-1/04   2019-03-07 --  Compare-and-swap for atomic objects
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     17-06-09
     RM References:  A.19 (0)  
@@ -1273,10 +1273,10 @@
     RM References:  3.10.03 (0)  
     Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-5
 
-AI12-0240-5/01   2019-01-10 --  Heap object ownership for Abstract Data Types
+AI12-0240-5/02   2019-03-07 --  Heap object ownership for Abstract Data Types
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     19-01-10
-    RM References:  3.10.03 (0)  
+    RM References:  6.01.03 (0)  
     Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4
 
 AI12-0241-1/02   2018-01-18 --  Specifying Nonblocking for Language-Defined Units
@@ -1324,7 +1324,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-29
     RM References:  4.02 (9)   4.02.01 (0)   4.09 (3)  
 
-AI12-0250-1/02   2018-12-06 --  Iterator Filters
+AI12-0250-1/03   2019-03-01 --  Iterator Filters
     Priority: Very Low             Difficulty: Easy
     Class: Amendment                   Status: Work Item     18-01-25
     RM References:  5.05 (4)  
@@ -1493,15 +1493,15 @@
     RM References:  6.01.01 (24/3)   6.01.01 (26.4/4)   6.01.01 (39/5)  
     Alternatives:   AI12-0280-1
 
-AI12-0281-1/02   2019-02-26 --  CPU Affinity for Protected Objects
+AI12-0281-1/03   2019-03-05 --  CPU Affinity for Protected Objects
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-26
     RM References:  D.16 (7/3)   D.16 (10/3)   D.16 (11/3)   D.16 (14/3)   J.05.09 (4/3)   J.05.09 (6/3)  
 
-AI12-0282-1/01   2018-06-05 --  Atomic and Volatile generic formal types
+AI12-0282-1/02   2019-03-07 --  Atomic, Volatile, and Independent generic formal types
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     18-06-05
-    RM References:  C.06 (6.1/3)   C.06 (6.3/3)   C.06 (6.5/3)   C.06 (12/3)  
+    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)  
 
 AI12-0283-1/03   2018-08-31 --  Nonblocking and remote calls
     Priority: Low                  Difficulty: Easy
@@ -1593,7 +1593,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-01-15
     RM References:  G.02.03 (23)  
 
-AI12-0301-1/02   2019-01-15 --  Predicates should work like constraints for types with Default_Value
+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: Amendment 1 for Ada 2012  19-01-15
     RM References:  3.02.04 (31/4)  
@@ -1618,37 +1618,37 @@
     Class: Amendment                   Status: Work Item     19-02-01
     RM References:  A.05.08 (0)  
 
-AI12-0306-1/02   2019-02-12 --  Split null array aggregates from positional array aggregates
+AI12-0306-1/03   2019-03-04 --  Split null array aggregates from positional array aggregates
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-12
-    RM References:  4.03.03 (2)   4.03.03 (3/5)   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)  
+    RM References:  4.03.03 (2)   4.03.03 (3/2)   4.03.03 (9/5)   4.03.03 (26/5)   4.03.03 (26.1/5)   4.03.03 (33/3)   4.03.03 (38)   4.03.03 (39)   4.03.03 (42)  
 
-AI12-0307-1/02   2019-02-11 --  Resolution of aggregates
+AI12-0307-1/03   2019-03-04 --  Resolution of aggregates
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-11
     RM References:  4.03 (3/5)  
 
-AI12-0308-1/02   2019-02-11 --  Declared entities need to be declarations
+AI12-0308-1/03   2019-03-04 --  Declared entities need to be declarations
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-05
-    RM References:  3.01 (6/3)   3.03 (6)   3.03 (18.1/3)   5.05.03 (0)   8.01 (2.1/4)   8.01 (4.1/4)  
+    RM References:  3.01 (6/3)   3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05.03 (0)   8.01 (2.1/4)   8.01 (4.1/4)  
 
-AI12-0309-1/02   2019-02-12 --  Missing checks for pragma Suppress
+AI12-0309-1/03   2019-03-04 --  Missing checks for pragma Suppress
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-02-12
     RM References:  11.05 (10)   11.05 (19)   11.05 (20)   11.05 (22)   11.05 (24)  
 
-AI12-0310-1/02   2019-02-11 --  Specifying private parts of packages in aspect Global
+AI12-0310-1/03   2019-03-04 --  Specifying private parts of packages in aspect Global
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-11
-    RM References:  6.01.02 (10/5)  
+    RM References:  6.01.02 (10/5)   6.01.02 (33/5)  
 
 AI12-0311-1/03   2019-02-26 --  Suppressing client-side assertions for language-defined units
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     19-02-06
     RM References:  11.04.02 (23.5/5)   11.05 (23)   11.05 (26)  
 
-AI12-0312-1/01   2019-02-22 --  Examples for Ada 2020
+AI12-0312-1/02   2019-03-07 --  Examples for Ada 2020
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Work Item     19-02-07
     RM References:  5.05.02 (2/3)  
@@ -1663,7 +1663,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-15
     RM References:  13.13.01 (0)  
 
-AI12-0315-1/02   2019-02-26 --  Image Attributes subclause improvements
+AI12-0315-1/03   2019-03-05 --  Image Attributes subclause improvements
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-14
     RM References:  4.10 (0)  
@@ -1673,7 +1673,7 @@
     Class: Amendment                   Status: Hold          11-0-0  19-02-26
     RM References:  C.07.01 (4/3)   D.02.06 (9/5)   D.02.06 (29/2)   D.05.01 (4)   D.05.01 (5)   D.05.01 (9)   D.11 (3/5)   D.11 (9)   D.14 (5/2)   D.14 (17/2)  
 
-AI12-0317-1/06   2019-02-26 --  Simplifying the rules for newly constructed objects
+AI12-0317-1/07   2019-03-07 --  Simplifying the rules for newly constructed objects
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  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)  
@@ -1683,8 +1683,28 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-02-26
     RM References:  H.04 (20/2)   H.04 (24/3)  
 
-AI12-0319-1/01   2019-02-22 --  Nonblocking for Unchecked_Deallocation is wrong
-    Priority: Low                  Difficulty: Easy
+AI12-0319-1/02   2019-03-06 --  Nonblocking for Unchecked_Deallocation is wrong
+    Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     19-02-22
     RM References:  13.11.02 (3/5)  
+
+AI12-0320-1/01   2019-03-06 --  Changes from the RM review
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-03-06
+    RM References:  E.02.01 (7/4)   E.02.01 (7.1/4)  
+
+AI12-0321-1/03   2018-06-06 --  Support for Arithmetic Atomic Operations, Test and Set, and Atomic Exchange
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     17-06-09
+    RM References:  A.19 (0)  
+
+AI12-0322-1/02   2019-03-08 --  Equivalence for the target name symbol
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-03-07
+    RM References:  4.09 (15)   5.02.01 (5/5)  
+
+AI12-0323-1/01   2019-03-07 --  Implementation Advice for the CPU aspect for protected types
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-03-07
+    RM References:  D.16 (16/5)  
 

Questions? Ask the ACAA Technical Agent