CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2016/10/07 02:21:12	1.67
+++ ai12s/ai12-summary.txt	2016/11/24 02:41:08	1.68
@@ -16,9 +16,9 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  8.02 (11)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4/3)   13.11.03 (4.1/3)   13.11.03 (5/3)   13.11.03 (6.2/3)   13.11.03 (6.3/3)  
 
-AI12-0004-1/03   2016-08-18 --  Normalization and allowed characters for identifiers
+AI12-0004-1/04   2016-11-11 --  Normalization and allowed characters for identifiers
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     11-11-08
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-11
     RM References:  2.01 (4.1/2)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  
 
 AI12-0005-1/00   2011-11-11 --  Editorial comments on AARM 2012
@@ -293,10 +293,10 @@
     Class: Amendment                   Status: No Action     (5-0-4) 15-06-28
     RM References:  13.10 (3)  
 
-AI12-0058-1/04   2016-10-04 --  The Fortran Annex needs updating to support Fortran 2008
+AI12-0058-1/05   2016-10-08 --  The Fortran Annex needs updating to support Fortran 2008
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     13-01-22
-    RM References:  B.05 (19)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-10-27
+    RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
 
 AI12-0059-1/10   2016-04-25 --  Object_Size attribute
     Priority: Medium               Difficulty: Medium
@@ -329,7 +329,7 @@
     RM References:  9.05.01 (11)   9.05.01 (18)  
     Alternatives:   AI12-0064-2
 
-AI12-0064-2/04   2016-09-02 --  Nonblocking subprograms
+AI12-0064-2/05   2016-11-14 --  Nonblocking subprograms
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     15-12-18
     RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)   9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   3.10.02 (33/3)   4.05 (9)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)  
 13.13.02 (37/1)  
@@ -647,7 +647,7 @@
     RM References:  5.02.01 (0)  
     Alternatives:   AI12-0125-1  AI12-0125-3
 
-AI12-0125-3/08   2016-10-02 --  Add @ as a abbreviation for the LHS of an assignment
+AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-04
     RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
@@ -843,9 +843,9 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
 
-AI12-0164-1/03   2015-10-17 --  Max_Entry_Queue_Length aspect for entries
+AI12-0164-1/04   2015-11-14 --  Max_Entry_Queue_Length aspect for entries
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     15-06-04
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-11-14
     RM References:  D.04 (16)  
 
 AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
@@ -878,10 +878,10 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18/4)   6.01.01 (18.2/4)  
 
-AI12-0171-1/01   2016-10-02 --  Ambiguity in Synchronous_Task_Control semantics
+AI12-0171-1/02   2016-11-10 --  Ambiguity in Synchronous_Task_Control semantics
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     15-10-05
-    RM References:  D.10 (7/2)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-10
+    RM References:  D.10 (11)  
 
 AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
     Priority: Low                  Difficulty: Easy
@@ -918,10 +918,10 @@
     Class: Presentation                Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)   11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.
07 (19/2)   12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
 
-AI12-0179-1/02   2016-08-29 --  Failure of postconditions of language-defined units
+AI12-0179-1/04   2016-11-11 --  Failure of postconditions of language-defined units
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-01-04
-    RM References:  1.01.03 (17/3)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-10
+    RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  
 
 AI12-0180-1/03   2016-10-02 --  Using protected subprograms and entries within an invariant
     Priority: Low                  Difficulty: Easy
@@ -953,9 +953,9 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  6.01.01 (7/4)   6.01.01 (8/3)   6.01.01 (26.10/4)   6.01.01 (29/3)  
 
-AI12-0186-1/02   2016-10-04 --  Profile freezing for the Access attribute
-    Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Work Item     16-04-21
+AI12-0186-1/04   2016-11-10 --  Profile freezing for the Access attribute
+    Priority: Low                  Difficulty: Hard
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-10
     RM References:  13.14 (15)  
 
 AI12-0187-1/02   2016-08-31 --  Stable properties of abstract data types
@@ -988,9 +988,9 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  3.03.01 (8.1/2)  
 
-AI12-0193-1/01   2016-06-06 --  Postcondition failure for a task entry
-    Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-06-06
+AI12-0193-1/03   2016-11-09 --  Postcondition failure for a task entry
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-09
     RM References:  6.01.01 (35.1/4)   9.05.02 (24)  
 
 AI12-0194-1/01   2016-06-06 --  Language-defined aspects and entry bodies
@@ -1003,10 +1003,10 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  6.01.01 (38/4)  
 
-AI12-0196-1/05   2016-10-05 --  Concurrent access to Ada container libraries
+AI12-0196-1/06   2016-11-11 --  Concurrent access to Ada container libraries
     Priority: Low                  Difficulty: Hard
-    Class: Amendment                   Status: Work Item     16-06-07
-    RM References:  A (3/4)   A.18 (5)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-11
+    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  
 
 AI12-0197-1/01   2016-06-07 --  Generator Functions
     Priority: Low                  Difficulty: Hard
@@ -1031,15 +1031,15 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  6.01.01 (22.1/4)  
 
-AI12-0199-1/02   2016-10-05 --  Abstract subprogram calls in class-wide invariant expressions
+AI12-0199-1/03   2016-11-14 --  Abstract subprogram calls in class-wide invariant expressions
     Priority: Low                  Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     16-07-21
-    RM References:  7.03.02 (5/4)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-14
+    RM References:  7.03.02 (5/4)   7.03.02 (8/3)  
 
-AI12-0200-1/01   2016-08-11 --  Improve reentrancy requirements for language-defined subprograms
+AI12-0200-1/03   2016-11-23 --  Improve reentrancy requirements for language-defined subprograms
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-08-11
-    RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-09
+    RM References:  A (3/4)   13.11.04 (21/3)   13.11.04 (31/3)  
 
 AI12-0201-1/01   2016-08-18 --  Missing operations of static string types
     Priority: Low                  Difficulty: Easy
@@ -1051,18 +1051,23 @@
     Class: Amendment                   Status: Work Item     16-10-03
     RM References:  11.05 (20)  
 
-AI12-0203-1/01   2016-10-06 --  Overriding a nonoverriddable aspect
+AI12-0203-1/02   2016-11-10 --  Overriding a nonoverridable aspect
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Work Item     16-10-06
+    Class: Presentation                Status: Amendment 1 for Ada 2012 12 16-11-10
     RM References:  4.01.05 (5.1/4)   4.01.05 (7/3)  
 
-AI12-0204-1/01   2016-10-06 --  Renaming of a prefixed view
+AI12-0204-1/02   2016-11-09 --  Renaming of a prefixed view
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     16-10-06
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-09
     RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  
 
 AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     16-10-06
     RM References:  12.04 (6)   12.05 (2)   12.07 (2)  
+
+AI12-0206-1/01   2016-11-14 --  Nonoverridable should allow arbitrary kinds of aspects
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-14
+    RM References:  13.01.01 (18.2/4)   13.01.01 (18.3/4)   13.01.01 (18.6/4)  
 

Questions? Ask the ACAA Technical Agent