CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2016/08/20 00:11:47	1.64
+++ ai12s/ai12-summary.txt	2016/10/06 04:09:17	1.65
@@ -6,10 +6,10 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-08
     RM References:  13.02 (6.1/2)   13.02 (7)   13.02 (8)   13.02 (9/3)   C.06 (8.1/3)   C.06 (10)   C.06 (11)   C.06 (21)   C.06 (24)  
 
-AI12-0002-1/03   2016-07-22 --  RCI units do not allow specification of user-defined stream-oriented attributes
+AI12-0002-1/04   2016-08-29 --  RCI units do not allow specification of user-defined stream-oriented attributes
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-22
-    RM References:  E.02.03 (11/1)   E.02.03 (15)   E.02.03 (17)  
+    RM References:  E.02.03 (15)  
 
 AI12-0003-1/13   2015-03-25 --  Specifying the standard storage pool
     Priority: Low                  Difficulty: Medium
@@ -293,10 +293,10 @@
     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
+AI12-0058-1/04   2016-10-04 --  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   
+    RM References:  B.05 (19)   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,10 +329,10 @@
     RM References:  9.05.01 (11)   9.05.01 (18)  
     Alternatives:   AI12-0064-2
 
-AI12-0064-2/02   2016-06-02 --  Nonblocking subprograms
+AI12-0064-2/04   2016-09-02 --  Nonblocking subprograms
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     15-12-18
-    RM References:  9.05.01 (11)   9.05.01 (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)  
     Alternatives:   AI12-0064-1
 
 AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
@@ -565,7 +565,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 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/03   2016-06-04 --  Tampering considered too expensive
+AI12-0111-1/04   2016-10-02 --  Tampering considered too expensive
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-05-15
     RM References:  A.18.02 (97.1/3)  
@@ -605,7 +605,7 @@
     Class: Amendment                   Status: Work Item     14-06-20
     RM References:  4.09 (38/2)  
 
-AI12-0119-1/01   2014-10-13 --  Parallel operations
+AI12-0119-1/02   2016-10-03 --  Parallel operations
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-06-20
     RM References:  5.05.02 (2/3)  
@@ -647,7 +647,7 @@
     RM References:  5.02.01 (0)  
     Alternatives:   AI12-0125-1  AI12-0125-3
 
-AI12-0125-3/07   2016-08-19 --  Add @ as a abbreviation for the LHS of an assignment
+AI12-0125-3/08   2016-10-02 --  Add @ as a 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)  
@@ -658,12 +658,12 @@
     Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
     RM References:  B.02 (9)  
 
-AI12-0127-1/03   2016-06-07 --  Partial aggregate notation
+AI12-0127-1/06   2016-10-06 --  Partial aggregate notation
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-08-21
-    RM References:  A.03.04   
+    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  
 
-AI12-0128-1/08   2016-08-04 --  Exact size access to parts of composite atomic objects
+AI12-0128-1/09   2016-10-02 --  Exact size access to parts of composite atomic objects
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-04
     RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
@@ -723,10 +723,10 @@
     Class: Amendment                   Status: Work Item     14-10-13
     RM References:  A (3/4)   A.18 (5)  
 
-AI12-0140-1/04   2016-08-01 --  Access to unconstrained partial view when full view is constrained
+AI12-0140-1/05   2016-10-02 --  Access to unconstrained partial view when full view is constrained
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-08-01
-    RM References:  3.04 (7/3)   7.03.01 (5/1)  
+    RM References:  3.02 (7/2)   7.03.01 (5/1)  
 
 AI12-0141-1/02   2015-01-28 --  Add Raise Expression to Introduction
     Priority: Low                  Difficulty: Easy
@@ -873,12 +873,12 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  9.05.02 (5)  
 
-AI12-0170-1/04   2016-07-21 --  Abstract subprogram calls in class-wide precondition expressions
+AI12-0170-1/05   2016-10-02 --  Abstract subprogram calls in class-wide precondition expressions
     Priority: Low                  Difficulty: Hard
     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.2/4)  
+    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/00   2015-10-05 --  Ambiguity in Synchronous_Task_Control semantics
+AI12-0171-1/01   2016-10-02 --  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)  
@@ -918,12 +918,12 @@
     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/01   2016-01-04 --  Failure of postconditions of language-defined units
+AI12-0179-1/02   2016-08-29 --  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)  
 
-AI12-0180-1/02   2016-07-11 --  Using protected subprograms and entries within an invariant
+AI12-0180-1/03   2016-10-02 --  Using protected subprograms and entries within an invariant
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-11
     RM References:  13.01.01 (12/3)  
@@ -943,7 +943,7 @@
     Class: Presentation                Status: Amendment 1 for Ada 2012 12 16-03-23
     RM References:  D.04 (4)   D.04 (7/5)  
 
-AI12-0184-1/02   2016-08-01 --  Long Long C Data Types
+AI12-0184-1/03   2016-10-02 --  Long Long C Data Types
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-01
     RM References:  B.03 (71.3/3)  
@@ -953,12 +953,12 @@
     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/01   2016-04-21 --  Profile freezing for the Access attribute
+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
     RM References:  13.14 (15)  
 
-AI12-0187-1/01   2016-06-02 --  Stable properties of abstract data types
+AI12-0187-1/02   2016-08-31 --  Stable properties of abstract data types
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     16-06-02
     RM References:  7.03.03 (0)  
@@ -968,12 +968,12 @@
     Class: Amendment                   Status: Work Item     16-06-02
     RM References:  5.05.02 (2/3)  
 
-AI12-0189-1/02   2016-06-06 --  loop-body as anonymous procedure
+AI12-0189-1/03   2016-10-04 --  loop-body as anonymous procedure
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     16-06-02
     RM References:  5.05.02 (2/3)  
 
-AI12-0190-1/01   2016-06-02 --  Lambda functions
+AI12-0190-1/02   2016-10-04 --  Anonymous functions
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     16-06-02
     RM References:  5.05.02 (2/3)  
@@ -983,7 +983,7 @@
     Class: Binding Interpretation      Status: Work Item     16-06-06
     RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
 
-AI12-0192-1/02   2016-07-21 --  "requires late initialization" and protected types
+AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  3.03.01 (8.1/2)  
@@ -998,12 +998,12 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  13.01.01 (17/3)  
 
-AI12-0195-1/02   2016-07-21 --  Inheriting body but overriding precondition or postcondition
+AI12-0195-1/03   2016-10-02 --  Inheriting body but overriding precondition or postcondition
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  6.01.01 (38/4)  
 
-AI12-0196-1/01   2016-06-07 --  Concurrent access to Ada container libraries
+AI12-0196-1/05   2016-10-05 --  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)  
@@ -1012,20 +1012,26 @@
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     16-06-07
     RM References:  6.09 (0)  
-    Alternatives:   AI12-0197-2
+    Alternatives:   AI12-0197-2  AI12-0197-3
 
 AI12-0197-2/02   2016-06-13 --  Passive tasks
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     16-06-12
     RM References:  9.01 (21)  
-    Alternatives:   AI12-0197-1
+    Alternatives:   AI12-0197-1  AI12-0197-3
+
+AI12-0197-3/01   2016-10-05 --  generator functions
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Work Item     16-10-05
+    RM References:  6.09 (0)  
+    Alternatives:   AI12-0197-1  AI12-0197-2
 
-AI12-0198-1/02   2016-07-21 --  Potentially unevaluated components of array aggregates
+AI12-0198-1/03   2016-10-02 --  Potentially unevaluated components of array aggregates
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  6.01.01 (22.1/4)  
 
-AI12-0199-1/01   2016-07-21 --  Abstract subprogram calls in class-wide invariant expressions
+AI12-0199-1/02   2016-10-05 --  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)  
@@ -1039,4 +1045,9 @@
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     15-06-03
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
+
+AI12-0202-1/01   2016-10-03 --  Tampering_Check
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     16-10-03
+    RM References:  11.05 (20)  
 

Questions? Ask the ACAA Technical Agent