CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2014/07/10 01:12:18	1.29
+++ ai12s/ai12-summary.txt	2014/07/24 04:20:02	1.30
@@ -206,10 +206,10 @@
     Class: Amendment                   Status: Promising     11-0-0  13-11-16
     RM References:  7.03.02 (3/3)  
 
-AI12-0042-1/09   2014-06-23 --  Type invariant checking rules
+AI12-0042-1/10   2014-07-22 --  Type invariant checking rules
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2015  13-12-11
-    RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)  
+    RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)   7.03.02 (20/3)  
 
 AI12-0043-1/02   2013-01-02 --  Details of the storage pool used when Storage_Size is specified
     Priority: Medium               Difficulty: Medium
@@ -278,10 +278,10 @@
     RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
     Alternatives:   AI12-0054-1
 
-AI12-0055-1/04   2014-06-19 --  All properties of a usage profile are defined by pragmas
+AI12-0055-1/05   2014-07-11 --  All properties of a usage profile are defined by pragmas
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-12-08
-    RM References:  D.07 (10.8/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
+    RM References:  D.07 (10/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
 
 AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
@@ -343,9 +343,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
     RM References:  3.10.02 (7/3)  
 
-AI12-0068-1/01   2014-06-23 --  Predicates and the current instance of a subtype
+AI12-0068-1/02   2014-07-22 --  Predicates and the current instance of a subtype
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     13-05-30
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-22
     RM References:  3.10.02 (7/3)  
 
 AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
@@ -373,10 +373,10 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  13-07-05
     RM References:  D.13 (6/3)  
 
-AI12-0074-1/04   2014-05-28 --  View conversions and out parameters passed by copy
+AI12-0074-1/05   2014-07-23 --  View conversions and out parameters passed by copy
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     13-07-08
-    RM References:  4.06 (56)   6.04.01 (12)   6.04.01 (13.1/3)  
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
+    RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
 
 AI12-0075-1/01   2013-06-09 --  Static expression functions
     Priority: Medium               Difficulty: Medium
@@ -403,10 +403,10 @@
     Class: Amendment                   Status: Work Item     13-06-28
     RM References:  7.03.02 (3/3)  
 
-AI12-0080-1/06   2014-05-16 --  More presentation errors in Ada 2012
+AI12-0080-1/07   2014-07-14 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Corrigendum 2015  13-12-11
-    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)  
+    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)   N (41/2)  
 
 AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
     Priority: Low                  Difficulty: Easy
@@ -480,42 +480,42 @@
 
 AI12-0095-1/01   2014-02-12 --  Generic bodies assume-the-worst whether formal type have constrained partial vi
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-02-12
-    RM References:  3.10.02 .(27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
+    RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
 
 AI12-0096-1/01   2014-02-12 --  The exception raised by a subtype conversion with a failed predicate check
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-02-12
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  4.06 (57/3)  
 
-AI12-0097-1/01   2014-02-12 --  Tag of the return object of a simple return expression
+AI12-0097-1/02   2014-07-15 --  Tag of the return object of a simple return expression
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-02-12
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-15
     RM References:  6.05 (8/3)  
 
-AI12-0098-1/00   2014-05-09 --  Problematic examples for ATC
+AI12-0098-1/01   2014-07-14 --  Problematic examples for ATC
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Work Item     14-05-09
-    RM References:  9.07.04 (10-13)  
+    Class: Ramification                Status: Corrigendum 2015  14-07-14
+    RM References:  9.07.04 (13)  
 
-AI12-0099-1/01   2014-05-12 --  Wording problems with predicates
+AI12-0099-1/02   2014-07-23 --  Wording problems with predicates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-05-12
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  3.02.04 (4/4)   3.02.04 (12/3)   3.02.04 (20/3)  
 
-AI12-0100-1/01   2014-05-12 --  A qualified expression makes a predicate check
+AI12-0100-1/02   2014-07-14 --  A qualified expression makes a predicate check
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-05-12
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  4.07 (4)  
 
-AI12-0101-1/01   2014-05-12 --  Incompatibility of hidden untagged record equality
+AI12-0101-1/02   2014-07-14 --  Incompatibility of hidden untagged record equality
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     14-05-12
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  4.05.02 (9.8/3)  
 
 AI12-0102-1/01   2014-05-12 --  Stream_IO.File_Type has Preelaborable_Initialization
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-05-12
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
     RM References:  A.12.01 (5)  
 
 AI12-0103-1/01   2014-05-12 --  Expression functions that are completions in package specifications
@@ -525,12 +525,12 @@
 
 AI12-0104-1/01   2014-05-13 --  Overriding an aspect
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Work Item     14-05-13
+    Class: Presentation                Status: Corrigendum 2015  14-07-23
     RM References:  4.01.06 (4/3)   4.01.06 (17/3)  
 
-AI12-0105-1/01   2014-05-13 --  Pre is not allowed on any subprogram completion
+AI12-0105-1/02   2014-07-23 --  Pre is not allowed on any subprogram completion
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-05-13
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  13.01.01 (18/3)  
 
 AI12-0106-1/01   2014-05-14 --  Write'Class aspect
@@ -538,10 +538,10 @@
     Class: Binding Interpretation      Status: Work Item     14-05-14
     RM References:  13.13.02 (38/3)  
 
-AI12-0107-1/01   2014-05-14 --  Is an access to a By_Protected_Procedure interface procedure a protected access
+AI12-0107-1/02   2014-07-23 --  Is an access to a By_Protected_Procedure interface procedure a protected access
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-05-14
-    RM References:  6.03.01 (10.1/2)  
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
+    RM References:  6.03.01 (10.1/2)   6.03.01 (12)   6.03.01 (13)  
 
 AI12-0108-1/01   2014-05-14 --  Out-of-range static constants
     Priority: Low                  Difficulty: Medium
@@ -553,9 +553,9 @@
     Class: Binding Interpretation      Status: Work Item     14-05-15
     RM References:  13.01 (10/3)  
 
-AI12-0110-1/01   2014-05-15 --  Tampering checks are performed first
+AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-05-15
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
 
 AI12-0111-1/01   2014-05-15 --  Tampering considered too expensive
@@ -573,9 +573,9 @@
     Class: Binding Interpretation      Status: Work Item     14-05-15
     RM References:  6.01.01 (39/3)   7.03.02 (23/3)  
 
-AI12-0114-1/01   2014-06-08 --  Overlapping objects designated by access parameters are not thread-safe
+AI12-0114-1/02   2014-07-15 --  Overlapping objects designated by access parameters are not thread-safe
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-06-08
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-15
     RM References:  A (3/2)  
 
 AI12-0115-1/01   2014-06-19 --  Add Size_Is_Multiple_Of aspect
@@ -583,14 +583,14 @@
     Class: Amendment                   Status: Work Item     14-06-19
     RM References:  13.03 (58/3)  
 
-AI12-0116-1/01   2014-06-19 --  Private types and predicates
+AI12-0116-1/02   2014-07-11 --  Private types and predicates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-06-19
-    RM References:  3.02.04 (15/3)   13.01 (9/3)   13.01 (9.1/3)  
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
+    RM References:  13.01 (9/3)   13.01 (9.1/3)  
 
-AI12-0117-1/01   2014-06-19 --  Restriction No_Tasks_Unassigned_To_CPU
+AI12-0117-1/02   2014-07-14 --  Restriction No_Tasks_Unassigned_To_CPU
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     14-06-19
+    Class: Amendment                   Status: Promising     9-0-0  14-06-28
     RM References:  D.07 (10.8/3)  
 
 AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
@@ -603,8 +603,8 @@
     Class: Amendment                   Status: Work Item     14-06-20
     RM References:  5.05.02 (2/3)  
 
-AI12-0120-1/02   2014-06-23 --  "in out" parameters on a default iterator function
+AI12-0120-1/03   2014-07-14 --  Legality and exceptions of generalized loop iteration
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     14-06-20
+    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  5.05.02 (6.1/4)   5.05.02 (10/3)   5.05.02 (13/3)  
 

Questions? Ask the ACAA Technical Agent