CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2020/03/10 05:16:16	1.132
+++ ai12s/ai12-summary.txt	2020/03/16 03:49:05	1.133
@@ -417,9 +417,9 @@
     RM References:  6.01.02 (0)  
     Alternatives:   AI12-0079-1  AI12-0079-3
 
-AI12-0079-3/03   2020-03-02 --  Global-in and global-out annotations
+AI12-0079-3/04   2020-03-12 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
-    Class: Amendment                   Status: Work Item     19-10-05
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  6.01.02 (0)  
     Alternatives:   AI12-0079-1  AI12-0079-2
 
@@ -1511,7 +1511,7 @@
 
 AI12-0279-1/06   2020-02-03 --  Nonpreemptive dispatching needs more dispatching points
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  9-0-1 18-11-10
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-11-26
     RM References:  D.02.01 (1.5/2)   D.02.01 (7/5)  
 
 AI12-0280-1/01   2018-05-14 --  Contract_Cases aspect
@@ -1885,9 +1885,9 @@
     Class: Amendment                   Status: Work Item     20-01-08
     RM References:  4.03.03 (5.1/5)   4.03.05 (21/5)  
 
-AI12-0350-1/01   2020-01-09 --  Swap for Indefinite_Holders
+AI12-0350-1/02   2020-03-12 --  Swap for Indefinite_Holders
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     20-01-09
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  A.18.18 (22/5)   A.18.18 (67/5)   A.18.18 (73/3)   A.18.32 (13/5)  
 
 AI12-0351-1/02   2020-01-16 --  Matching for actuals for formal derived types
@@ -1930,9 +1930,9 @@
     Class: Amendment                   Status: Hold          20-01-29
     RM References:  6.05 (5.11/5)  
 
-AI12-0359-1/01   2020-02-04 --  Calls to subprograms declared in shared passive units
+AI12-0359-1/02   2020-03-12 --  Calls to subprograms declared in shared passive units
     Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Work Item     20-02-04
+    Class: Ramification                Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  E.01 (5)   E.02.01 (11)   E.04 (1)  
 
 AI12-0360-1/01   2020-02-04 --  Procedural iterators for generic procedures
@@ -1940,9 +1940,9 @@
     Class: Amendment                   Status: Work Item     20-02-04
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
 
-AI12-0361-1/01   2020-02-05 --  Ada.Streams.Storage packages are still useful
+AI12-0361-1/02   2020-03-12 --  Ada.Streams.Storage packages are still useful
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     20-02-05
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  13.13.01 (10/5)   13.13.01 (11/5)  
 
 AI12-0362-1/01   2020-02-05 --  Floor and other rounding attributes for fixed point types
@@ -1950,15 +1950,15 @@
     Class: Amendment                   Status: Work Item     20-02-05
     RM References:  A.05.04 (4)  
 
-AI12-0363-1/01   2020-02-05 --  Fixes for Atomic
+AI12-0363-1/02   2020-03-11 --  Fixes for Atomic
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     20-02-05
     RM References:  C.06 (13.3/5)   C.06 (19.1/5)  
 
-AI12-0364-1/01   2020-02-06 --  Add a modular atomic arithmetic package
+AI12-0364-1/02   2020-03-12 --  Add a modular atomic arithmetic package
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     20-02-06
-    RM References:  C.06.05 (0)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
+    RM References:  C.06.05 (0)   C.06.04 (1/5)   C.06.04 (2/5)   C.06.04 (3/5)   C.06.04 (9/5)  
 
 AI12-0365-1/01   2020-02-06 --  Easier enumeration representation value definition
     Priority: Low                  Difficulty: Medium
@@ -1970,29 +1970,29 @@
     Class: Amendment                   Status: Work Item     20-02-10
     RM References:  A.05.06 (0)   A.05.07 (0)  
 
-AI12-0367-1/01   2020-03-04 --  Glitches in aspect specifications
+AI12-0367-1/02   2020-03-12 --  Glitches in aspect specifications
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     20-03-04
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  3.05.09 (8/2)   3.05.10 (2/1)   13.01 (9.1/5)   13.14 (10)  
 
-AI12-0368-1/02   2020-03-09 --  Declare expressions can be static
+AI12-0368-1/03   2020-03-12 --  Declare expressions can be static
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     20-03-05
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  4.09 (8)   4.09 (12.1/3)   4.09 (17)   6.01.01 (24.2/5)   6.01.01 (24.3/5)   6.01.01 (24.4/5)   6.01.01 (24.5/5)   C.04 (9)  
 
-AI12-0369-1/01   2020-03-06 --  Relaxing barrier restrictions
+AI12-0369-1/02   2020-03-12 --  Relaxing barrier restrictions
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     20-03-06
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  D.07 (1.3/5)   D.07 (10.12/5)  
 
 AI12-0370-1/01   2020-03-06 --  Pattern to use for specifying a precondition
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Work Item     20-03-06
+    Class: Presentation                Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  A.18.03 (16.1/5)  
 
-AI12-0371-1/01   2020-03-06 --  Fix-ups for aspects in generic formal parts
+AI12-0371-1/02   2020-03-12 --  Fix-ups for aspects in generic formal parts
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     20-03-06
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  20-03-11
     RM References:  3.10.02 (8)   6.01.01 (40/5)   12.01 (9)  
 
 AI12-0372-1/01   2020-03-09 --  Static accessibility of "master of the call"

Questions? Ask the ACAA Technical Agent