CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2017/04/27 00:55:24	1.72
+++ ai12s/ai12-summary.txt	2017/06/10 04:24:23	1.73
@@ -718,7 +718,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-03-26
     RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)   5.05.01 (11/3)  
 
-AI12-0139-1/03   2016-06-09 --  Thread-safe Ada libraries
+AI12-0139-1/04   2017-06-08 --  Thread-safe Ada libraries
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-10-13
     RM References:  A (3/4)   A.18 (5)  
@@ -1142,7 +1142,7 @@
     Class: Binding Interpretation      Status: Work Item     17-04-07
     RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  
 
-AI12-0220-1/01   2017-04-07 --  Pre/Post for access-to-subprogram types
+AI12-0220-1/02   2017-06-09 --  Pre/Post for access-to-subprogram types
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     17-04-07
     RM References:  6.01.01 (1/4)   6.01.01 (39/3)  
@@ -1191,4 +1191,34 @@
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     17-04-19
     RM References:  8.05.06 (0)  
+
+AI12-0230-1/01   2017-06-05 --  Deadline Floor Protocol
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     17-06-05
+    RM References:  D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (29/2)   D.03 (4)   D.03 (7)  
+
+AI12-0231-1/01   2017-06-05 --  Null_Task_Id and Activation_Is_Complete
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-06-04
+    RM References:  C.07.01 (15)  
+
+AI12-0232-1/01   2017-06-08 --  Rules for pure generic bodies
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     17-06-08
+    RM References:  10.02.01 (9/3)   10.02.01 (15.6/3)  
+
+AI12-0233-1/01   2017-06-09 --  Pre'Class for hidden operations of private types
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     17-06-09
+    RM References:  6.01.01 (38/4)  
+
+AI12-0234-1/01   2017-06-09 --  Compare-and-swap for atomic objects
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     17-06-09
+    RM References:  C.06 (14/3)  
+
+AI12-0235-1/01   2017-06-09 --  Root_Storage_Pool should be pure
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     17-06-09
+    RM References:  13.11 (5)   13.11.04 (3/3)  
 

Questions? Ask the ACAA Technical Agent