CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2016/04/26 05:00:36	1.60
+++ ai12s/ai12-summary.txt	2016/06/08 02:16:07	1.61
@@ -41,7 +41,7 @@
     Class: Binding Interpretation      Status: Deleted       11-11-13
     RM References:  4.03.02 (8)  
 
-AI12-0009-1/03   2015-10-11 --  Iterators for Directories and Environment_Variables
+AI12-0009-1/06   2016-06-07 --  Iterators for Directories and Environment_Variables
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     11-11-08
     RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)   A.17 (25/2)   A.17 (28/2)  
@@ -329,7 +329,7 @@
     RM References:  9.05.01 (11)   9.05.01 (18)  
     Alternatives:   AI12-0064-2
 
-AI12-0064-2/01   2015-12-18 --  Nonblocking subprograms
+AI12-0064-2/02   2016-06-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)  
@@ -405,7 +405,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-06-28
     RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
 
-AI12-0079-1/02   2015-06-17 --  Global-in and global-out annotations
+AI12-0079-1/03   2016-06-05 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Work Item     13-06-28
     RM References:  6.01.02 (0)  
@@ -565,9 +565,9 @@
     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/02   2015-10-13 --  Tampering considered too expensive
+AI12-0111-1/03   2016-06-04 --  Tampering considered too expensive
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     14-05-15
+    Class: Amendment                   Status: Work Item     14-05-15
     RM References:  A.18.02 (97.1/3)  
 
 AI12-0112-1/01   2014-05-15 --  Preconditions for container operations
@@ -658,8 +658,8 @@
     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
-    Priority: Medium               Difficulty: Easy
+AI12-0127-1/03   2016-06-07 --  Partial aggregate notation
+    Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-08-21
     RM References:  A.03.04   
 
@@ -723,10 +723,10 @@
     Class: Amendment                   Status: Work Item     14-10-13
     RM References:  A (3/4)   A.18 (5)  
 
-AI12-0140-1/02   2015-01-22 --  Access to unconstrained partial view when full view is constrained
+AI12-0140-1/03   2016-06-04 --  Access to unconstrained partial view when full view is constrained
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     14-10-13
-    RM References:  3.04 (7/3)   3.04 (8/2)  
+    RM References:  3.04 (7/3)   7.03.01 (5/1)  
 
 AI12-0141-1/02   2015-01-28 --  Add Raise Expression to Introduction
     Priority: Low                  Difficulty: Easy
@@ -873,7 +873,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  9.05.02 (5)  
 
-AI12-0170-1/02   2015-10-13 --  Abstract subprogram calls in class-wide precondition expressions
+AI12-0170-1/03   2016-06-04 --  Abstract subprogram calls in class-wide precondition expressions
     Priority: Low                  Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     15-06-17
     RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18.2/4)   7.03.02 (5/4)  
@@ -957,4 +957,64 @@
     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
+    Priority: Medium               Difficulty: Hard
+    Class: Amendment                   Status: Work Item     16-06-02
+    RM References:  7.03.03 (0)  
+
+AI12-0188-1/01   2016-06-02 --  Add container iterator form supporting iteration over keys
+    Priority: Low                  Difficulty: Medium
+    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
+    Priority: Medium               Difficulty: Medium
+    Class: Amendment                   Status: Work Item     16-06-02
+    RM References:  5.05.02 (2/3)  
+
+AI12-0190-1/01   2015-06-02 --  Lambda functions
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     16-06-02
+    RM References:  5.05.02 (2/3)  
+
+AI12-0191-1/01   2016-06-06 --  Clarify "part" for type invariants
+    Priority: Low                  Difficulty: Medium
+    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/01   2016-06-06 --  "requires late initialization" and protected types
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     16-06-06
+    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
+    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
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     16-06-06
+    RM References:  13.01.01 (17/3)  
+
+AI12-0195-1/01   2016-06-07 --  Inheriting body but overriding precondition or postcondition
+    Priority: Medium               Difficulty: Hard
+    Class: Binding Interpretation      Status: Work Item     16-06-07
+    RM References:  6.01.01 (38/4)  
+
+AI12-0196-1/01   2016-06-07 --  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)  
+
+AI12-0197-1/01   2015-06-03 --  Generator Functions
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Work Item     16-06-07
+    RM References:  6.09 (0)  
+
+AI12-0198-1/01   2016-06-07 --  Potentially unevaluated components of array aggregates
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     16-06-07
+    RM References:  6.01.01 (22.1/4)  
 

Questions? Ask the ACAA Technical Agent