CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2015/05/06 04:11:32	1.45
+++ ai12s/ai12-summary.txt	2015/06/18 05:56:10	1.46
@@ -323,7 +323,7 @@
     Class: Amendment                   Status: Hold          (8-0-0) 14-10-19
     RM References:  6.05.01   
 
-AI12-0064-1/03   2014-10-14 --  Nonblocking subprograms
+AI12-0064-1/04   2015-06-17 --  Nonblocking subprograms
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     13-04-22
     RM References:  9.05.01 (18)  
@@ -398,10 +398,10 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  13-06-28
     RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
 
-AI12-0079-1/01   2013-10-13 --  Global-in and global-out annotations
+AI12-0079-1/02   2015-06-17 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Work Item     13-06-28
-    RM References:  7.03.02 (3/3)  
+    RM References:  6.01.02 (0)  
 
 AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
@@ -643,7 +643,7 @@
     Class: Amendment                   Status: Work Item     14-08-21
     RM References:  A.03.04   
 
-AI12-0128-1/02   2014-10-06 --  Exact size access to parts of composite atomic objects
+AI12-0128-1/03   2015-06-03 --  Exact size access to parts of composite atomic objects
     Priority: Medium               Difficulty: Easy
     Class: Amendment                   Status: Work Item     14-10-03
     RM References:  C.06 (15)   C.06 (20)   C.06 (22/2)  
@@ -778,10 +778,10 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  15-02-26
     RM References:  13.01.01 (32/3)  
 
-AI12-0155-1/04   2015-04-02 --  Freezing of operations of incomplete types with completions deferred to a body
+AI12-0155-1/06   2015-06-17 --  Freezing of operations of incomplete types with completions deferred to a body
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     15-02-20
-    RM References:  13.14 (3/4)  
+    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
     Priority: Medium               Difficulty: Easy
@@ -807,4 +807,54 @@
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     15-04-01
     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
+    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
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     15-06-04
+    RM References:  B.03.03 (25/2)  
+
+AI12-0163-1/01   2015-06-04 --  Deterministic queue servicing for FIFO_Queueing
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     15-06-04
+    RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
+
+AI12-0164-1/00   2015-06-04 --  Max Queue Length aspect for protected entries
+    Priority: Low                  Difficulty: Easy
+    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
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     15-06-16
+    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
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     15-06-17
+    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
+    Priority: Low                  Difficulty: Medium
+    Class: Ramification                Status: Work Item     15-06-17
+    RM References:  7.03.02 (9/4)  
+
+AI12-0168-1/01   2015-06-17 --  Freezing of generic instantiations of generics with bodies
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     15-06-17
+    RM References:  13.14 (3/4)  
+
+AI12-0169-1/01   2015-06-17 --  Aspect specifications for entry bodies
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     15-06-17
+    RM References:  9.05.02 (5)  
+
+AI12-0170-1/01   2015-06-17 --  Abstract subprogram calls in class-wide precondition expressions
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     15-06-17
+    RM References:  6.01.01 (7/4)   6.01.01 (18.2/4)   7.03.02 (5/4)  
 

Questions? Ask the ACAA Technical Agent