CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2011/11/09 18:10:50	1.3
+++ ai12s/ai12-summary.txt	2012/01/05 06:18:32	1.4
@@ -26,19 +26,19 @@
     Class: Confirmation                Status: Received      11-11-11
     RM References:  6.06 (6)  
 
-AI12-0006-1/01   2011-11-08 --  Accessibility of null
+AI12-0006-1/02   2011-12-14 --  Accessibility of null
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     11-11-08
+    Class: Binding Interpretation      Status: Deleted       11-11-11
     RM References:  3.10.02 (13/2)  
 
-AI12-0007-1/01   2011-11-08 --  Accessibility of access discriminants of a subtype
+AI12-0007-1/02   2011-12-30 --  Accessibility of access discriminants of a subtype
     Priority: Low                  Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     11-11-08
+    Class: Binding Interpretation      Status: Deleted       11-11-12
     RM References:  3.10.02 (12.1/2)  
 
-AI12-0008-1/01   2011-11-08 --  Bad ancestor constraints for extension aggregates
+AI12-0008-1/02   2011-12-30 --  Bad ancestor constraints for extension aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     11-11-08
+    Class: Binding Interpretation      Status: Deleted       11-11-13
     RM References:  4.03.02 (8)  
 
 AI12-0009-1/01   2011-11-08 --  Iterators for Directories and Environment_Variables
@@ -46,23 +46,38 @@
     Class: Amendment                   Status: Work Item     11-11-08
     RM References:  A.16 (112/3)   A.17 (23/3)  
 
-AI12-0010-1/01   2011-11-08 --  Stream_IO should be preelaborated
+AI12-0010-1/02   2011-12-30 --  Stream_IO should be preelaborated
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     11-11-08
+    Class: Amendment                   Status: Deleted       11-11-13
     RM References:  A.12.01 (3)  
 
-AI12-0011-1/01   2011-11-09 --  Behavior of Random.Reset with default initialized State
+AI12-0011-1/02   2011-12-30 --  Behavior of Random.Reset with default initialized State
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     11-11-09
+    Class: Binding Interpretation      Status: Deleted       11-11-12
     RM References:  A.05.02 (12)   A.05.02 (35)  
 
-AI12-0012-1/01   2011-11-09 --  Failure behavior of Directories.Create_Path
+AI12-0012-1/02   2011-11-11 --  Failure behavior of Directories.Create_Path
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     11-11-09
+    Class: Binding Interpretation      Status: Deleted       11-11-11
     RM References:  A.16 (61/2)  
 
-AI12-0013-1/01   2011-11-09 --  More issues with the definition of volatile
+AI12-0013-1/02   2011-11-11 --  More issues with the definition of volatile
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     11-11-09
+    Class: Binding Interpretation      Status: Deleted       11-11-12
     RM References:  C.06 (16/3)  
+
+AI12-0014-1/01   2011-12-21 --  Postconditions on subprogram bodies
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     11-12-21
+    RM References:  6.01.01 (0/3)  
+
+AI12-0015-1/00   2011-12-30 --  Ada unit information
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     11-12-21
+    RM References:  A.20 (0)  
+
+AI12-0016-1/00   2011-12-30 --  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)  
 

Questions? Ask the ACAA Technical Agent