CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2018/03/30 07:55:09	1.86
+++ ai12s/ai12-summary.txt	2018/04/14 05:01:06	1.87
@@ -385,10 +385,10 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
     RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
 
-AI12-0075-1/08   2018-03-05 --  Static expression functions
+AI12-0075-1/09   2018-04-06 --  Static expression functions
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     13-06-09
-    RM References:  4.09 (21)   6.08 (3/4)   6.08 (5/4)   6.08 (6/4)   7.03.02 (8.2/5)   7.03.02 (15/4)   7.03.02 (16/4)   7.03.02 (17/4)   7.03.02 (18/4)   7.03.02 (19/4)   7.03.02 (20/5)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-06
+    RM References:  4.09 (21)   6.08 (3/4)   6.08 (5/4)   6.08 (6/4)   7.03.02 (8.2/5)   7.03.02 (15/4)   7.03.02 (16/4)   7.03.02 (17/4)   7.03.02 (19/4)   7.03.02 (20/5)  
 
 AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
     Priority: Medium               Difficulty: Hard
@@ -658,7 +658,7 @@
     Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
     RM References:  B.02 (9)  
 
-AI12-0127-1/13   2018-01-18 --  Partial aggregate notation
+AI12-0127-1/14   2018-04-13 --  Partial aggregate notation
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
     RM References:  4.03 (2)   4.03 (3/2)   4.03 (4)   4.03.01 (9)   4.03.01 (15/3)   4.03.01 (16/4)   4.03.01 (17/5)   4.03.01 (17.1/2)   4.03.03 (4)   4.03.03 (14)   4.03.03 (17)   4.03.04 (0)   7.05 (2.6/2)  
@@ -961,7 +961,7 @@
 AI12-0187-1/07   2017-12-07 --  Stable properties of abstract data types
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
-    RM References:  7.03.03 (0)   13.01.01 (4/3)  
+    RM References:  7.03.04 (0)   13.01.01 (4/3)  
 
 AI12-0188-1/01   2016-06-02 --  Add container iterator form supporting iteration over keys
     Priority: Low                  Difficulty: Medium
@@ -1142,10 +1142,10 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
     RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  
 
-AI12-0220-1/03   2017-06-12 --  Pre/Post for access-to-subprogram types
+AI12-0220-1/04   2018-04-05 --  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)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-05
+    RM References:  6.01.01 (1/4)   6.01.01 (2/3)   6.01.01 (4/3)   6.01.01 (19/3)   6.01.01 (28/3)   6.01.01 (29/3)   6.01.01 (39/3)   13.01.01 (12/5)  
 
 AI12-0221-1/01   2017-04-10 --  Defaults for in out parameters
     Priority: Very Low             Difficulty: Easy
@@ -1172,10 +1172,10 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
     RM References:  3.05 (55.1/4)  
 
-AI12-0226-1/01   2017-04-18 --  Generalize expressions that are objects
+AI12-0226-1/02   2018-04-09 --  Make objects more consistent
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     17-04-18
-    RM References:  3.03 (11.1/3)   3.03 (12)   3.03 (21/3)   3.03 (22)   3.03 (23.7/3)   3.10 (9/3)   4.06 (58.1/4)   4.06 (58.4/4)  
+    RM References:  3.03 (11.1/3)   3.03 (21.1/3)   3.03 (23.7/3)   4.06 (58.1/4)   4.06 (58.3/4)  
 
 AI12-0227-1/02   2017-07-21 --  Evaluation of nonstatic universal expressions when no operators are involved
     Priority: Low                  Difficulty: Easy
@@ -1202,12 +1202,12 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
     RM References:  C.07.01 (15)  
 
-AI12-0232-1/03   2017-11-20 --  Rules for pure generic bodies
+AI12-0232-1/04   2018-04-13 --  Rules for pure generic bodies
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-20
     RM References:  10.02.01 (9/3)   10.02.01 (15.1/3)   10.02.01 (15.5/3)  
 
-AI12-0233-1/04   2017-11-17 --  Pre'Class for hidden operations of private types
+AI12-0233-1/05   2018-04-13 --  Pre'Class for hidden operations of private types
     Priority: Low                  Difficulty: Medium
     Class: Ramification                Status: ARG Approved  6-0-2  17-10-13
     RM References:  6.01.01 (38/4)  
@@ -1339,7 +1339,7 @@
     Class: Amendment                   Status: Work Item     18-02-22
     RM References:  4.01.03 (9.1/2)   4.01.03 (9.2/2)  
 
-AI12-0258-1/02   2018-03-05 --  Containers and controlled element types
+AI12-0258-1/03   2018-04-13 --  Containers and controlled element types
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  A.18 (10/4)  
@@ -1354,7 +1354,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  1.02 (8/3)   A.03.05 (8/3)   A.03.05 (20/3)   A.03.05 (21/3)   A.03.05 (33/3)   A.03.05 (61/3)  
 
-AI12-0261-1/02   2018-03-06 --  Conflict in "private with" rules
+AI12-0261-1/03   2018-04-13 --  Conflict in "private with" rules
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  10.01.02 (12/3)   10.01.02 (13/2)   10.01.02 (14/2)   10.01.02 (15/2)   10.01.02 (16/2)  
@@ -1369,15 +1369,15 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-03-08
     RM References:  1.01.04 (14.2/3)   2.01 (1/3)   2.01 (3.1/3)   2.01 (4/3)   2.01 (4.1/5)   2.01 (5/3)   2.01 (15/3)   2.01 (4.1/5)   2.01 (5/3)   2.03 (4.1/5)   2.03 (5/3)   3.05.02 (2/3)   3.05.02 (3/3)   3.05.02 (4/3)   A.01 (36.1/3)   A.01 (36.2/3)
   A.03.02 (32.6/5)   A.03.05 (51.2/5)   A.03.05 (55/3)   A.03.05 (59/3)   A.04.10 (3/3)   B.05 (21/5)  
 
-AI12-0264-1/01   2018-03-28 --  Overshifting and overrotating
+AI12-0264-1/02   2018-04-05 --  Overshifting and overrotating
     Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Work Item     18-03-28
+    Class: Ramification                Status: Amendment 1 for Ada 2012  18-04-05
     RM References:  B.02 (9)  
 
-AI12-0265-1/01   2018-03-28 --  Default_Initial_Condition for types
+AI12-0265-1/02   2018-04-04 --  Default_Initial_Condition for types
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     18-03-28
-    RM References:  7.06.02 (0)   1.01.03 (17.1/5)   11.04.02 (23.2/5)   11.04.02 (23.3/5)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-04
+    RM References:  7.03.03 (0)   1.01.03 (17.1/5)   11.04.02 (23.2/5)   11.04.02 (23.3/5)  
 
 AI12-0266-1/01   2018-03-28 --  Parallel Container Iterators
     Priority: Medium               Difficulty: Medium
@@ -1394,8 +1394,28 @@
     Class: Amendment                   Status: Work Item     18-03-29
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
 
-AI12-0269-1/02   2018-03-28 --  Aspect No_Return for functions reprise
+AI12-0269-1/03   2018-04-04 --  Aspect No_Return for functions reprise
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-03-29
-    RM References:  6.05.01 (0)   6.05.01 (5/2)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-04
+    RM References:  6.05.01 (0)   6.05.01 (1/3)   6.05.01 (3.1/3)   6.05.01 (3.4/3)   6.05.01 (5/2)   6.05.01 (6/2)   6.05.01 (7/2)   J.15.02 (2/3)   J.15.02 (3/3)   J.15.02 (4/3)  
+
+AI12-0270-1/00   2018-04-09 --  Eliminate differences between use of values and objects
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     18-04-09
+    RM References:  3.03 (11.1/3)   3.03 (12)  
+
+AI12-0271-1/00   2018-04-09 --  Specifying aspects of (anonymous) formal parameters
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     18-04-09
+    RM References:  13.01.01 (3/3)  
+
+AI12-0272-1/01   2018-04-09 --  Contracts for generic formal parameters
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     18-04-09
+    RM References:  6.01.01 (1/5)   6.01.01 (40/5)   7.03.03 (1/5)   7.03.03 (2/5)   7.03.03 (8/5)   7.03.04 (5/5)   F.01 (1)  
+
+AI12-0273-1/00   2018-04-09 --  Contract matching for formal subprograms
+    Priority: Very Low             Difficulty: Medium
+    Class: Amendment                   Status: Work Item     18-04-09
+    RM References:  12.06 (8.9/5)  
 

Questions? Ask the ACAA Technical Agent