CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2015/07/07 23:36:44	1.47
+++ ai12s/ai12-summary.txt	2015/07/14 02:29:41	1.48
@@ -68,7 +68,7 @@
 
 AI12-0014-1/01   2011-12-21 --  Postconditions on subprogram bodies
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     11-12-21
+    Class: Amendment                   Status: No Action     (8-0-1) 15-06-28
     RM References:  6.01.01 (0/3)  
 
 AI12-0015-1/00   2011-12-30 --  Ada unit information
@@ -93,7 +93,7 @@
 
 AI12-0019-1/01   2012-01-26 --  Generic formal record types
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     12-01-26
+    Class: Amendment                   Status: No Action     (9-0-0) 15-06-28
     RM References:  12.05.06 (0)  
 
 AI12-0020-1/01   2012-02-14 --  'Image for all types
@@ -128,7 +128,7 @@
 
 AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     12-06-04
+    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
     RM References:  C.08 (0)  
 
 AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
@@ -290,7 +290,7 @@
 
 AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: Work Item     13-01-22
+    Class: Amendment                   Status: No Action     (5-0-4) 15-06-28
     RM References:  13.10 (3)  
 
 AI12-0058-1/02   2013-05-20 --  The Fortran Annex needs updating to support Fortran 2008
@@ -308,10 +308,10 @@
     Class: Amendment                   Status: Received      12-07-01
     RM References:  8.03.01 (3/2)  
 
-AI12-0061-1/03   2014-05-19 --  Index parameters in array aggregates
+AI12-0061-1/04   2015-07-13 --  Index parameters in array aggregates
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: Work Item     13-01-31
-    RM References:  4.03.03 (5/2)   4.03.03 (23)   3.01 (6/3)   3.03.01 (23/3)   8.06 (4.1/3)  
+    Class: Amendment                   Status: ARG Approved  10-0-0  15-06-27
+    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)   3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.06 (4.1/3)  
 
 AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
     Priority: Low                  Difficulty: Easy
@@ -433,9 +433,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  13-12-11
     RM References:  E.02.02 (17/2)  
 
-AI12-0086-1/03   2015-01-28 --  Aggregates and variant parts
+AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: Promising     (9-0-1) 15-01-28
+    Class: Amendment                   Status: ARG Approved  7-1-1  15-06-28
     RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
 
 AI12-0087-1/01   2013-10-31 --  Reading the default value of a subtype
@@ -580,7 +580,7 @@
 
 AI12-0115-1/01   2014-06-19 --  Add Size_Is_Multiple_Of aspect
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     14-06-19
+    Class: Amendment                   Status: No Action     (10-0-0) 15-06-27
     RM References:  13.03 (58/3)  
 
 AI12-0116-1/03   2014-10-02 --  Private types and predicates
@@ -615,7 +615,7 @@
 
 AI12-0122-1/01   2014-08-11 --  Add 'Base for all types
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     14-08-11
+    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
     RM References:  3.05 (15)  
 
 AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
@@ -633,9 +633,9 @@
     Class: Amendment                   Status: Work Item     14-08-11
     RM References:  3.05 (31/2)  
 
-AI12-0126-1/01   2014-08-21 --  Add Interfaces.Shifting
+AI12-0126-1/02   2015-07-13 --  Add Interfaces.Shifting
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     14-08-21
+    Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
     RM References:  B.02 (9)  
 
 AI12-0127-1/01   2014-08-21 --  Partial aggregate notation
@@ -644,7 +644,7 @@
     RM References:  A.03.04   
 
 AI12-0128-1/03   2015-06-03 --  Exact size access to parts of composite atomic objects
-    Priority: Medium               Difficulty: Easy
+    Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-10-03
     RM References:  C.06 (15)   C.06 (20)   C.06 (22/2)  
 
@@ -778,9 +778,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  15-02-26
     RM References:  13.01.01 (32/3)  
 
-AI12-0155-1/06   2015-06-17 --  Freezing of operations of incomplete types with completions deferred to a body
+AI12-0155-1/07   2015-07-08 --  Freezing of an incomplete view has no effect
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-02-20
+    Class: Binding Interpretation      Status: ARG Approved  6-0-3  15-06-26
     RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
 
 AI12-0156-1/01   2015-02-26 --  Use subtype_indication in generalized iterators
@@ -805,17 +805,17 @@
 
 AI12-0160-1/01   2015-04-01 --  Adding an indexing aspect to an indexable container type
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-04-01
+    Class: Binding Interpretation      Status: ARG Approved  8-0-1  15-06-26
     RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  
 
 AI12-0161-1/01   2015-06-03 --  Unicode equivalents for Ada operator symbols
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     15-06-03
+    Class: Amendment                   Status: No Action     (8-0-0) 15-06-27
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
 
-AI12-0162-1/01   2015-06-04 --  Memberships and Unchecked_Unions
+AI12-0162-1/02   2015-07-08 --  Memberships and Unchecked_Unions
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-06-04
+    Class: Binding Interpretation      Status: ARG Approved  8-0-2  15-06-26
     RM References:  B.03.03 (25/2)  
 
 AI12-0163-1/01   2015-06-04 --  Deterministic queue servicing for FIFO_Queueing
@@ -828,19 +828,19 @@
     Class: Amendment                   Status: Work Item     15-06-04
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
 
-AI12-0165-1/01   2015-06-16 --  Operations of class-wide types and formal abstract subprograms
+AI12-0165-1/02   2015-07-08 --  Operations of class-wide types and formal abstract subprograms
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     15-06-16
+    Class: Binding Interpretation      Status: ARG Approved  7-0-5  15-06-27
     RM References:  12.06 (8.5/2)  
 
-AI12-0166-1/01   2015-06-17 --  External calls to protected functions that appear to be internal calls
+AI12-0166-1/02   2015-07-08 --  External calls to protected functions that appear to be internal calls
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-06-17
+    Class: Binding Interpretation      Status: ARG Approved  8-0-1  15-06-26
     RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
 
-AI12-0167-1/01   2015-06-17 --  Type_Invariants and tagged-type View Conversions
+AI12-0167-1/02   2015-07-10 --  Type_Invariants and tagged-type View Conversions
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Work Item     15-06-17
+    Class: Ramification                Status: ARG Approved  11-0-1  15-06-27
     RM References:  7.03.02 (9/4)  
 
 AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
@@ -848,9 +848,9 @@
     Class: Binding Interpretation      Status: ARG Approved  9-0-0  15-06-26
     RM References:  13.14 (3/4)  
 
-AI12-0169-1/01   2015-06-17 --  Aspect specifications for entry bodies
+AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-06-17
+    Class: Binding Interpretation      Status: ARG Approved  7-0-2  15-06-26
     RM References:  9.05.02 (5)  
 
 AI12-0170-1/01   2015-06-17 --  Abstract subprogram calls in class-wide precondition expressions

Questions? Ask the ACAA Technical Agent