CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2013/02/01 06:25:44	1.14
+++ ai12s/ai12-summary.txt	2013/05/09 03:59:53	1.15
@@ -11,7 +11,7 @@
     Class: Binding Interpretation      Status: Work Item     11-06-16
     RM References:  E.02.03 (11/1)   E.02.03 (17)  
 
-AI12-0003-1/02   2012-12-01 --  Default storage pool for storage pools
+AI12-0003-1/03   2013-05-08 --  Default storage pool for storage pools
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     11-06-19
     RM References:  3.10.02 (13.2/3)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4.1/3)   13.11.03 (4.2/3)   13.11.03 (5/3)   13.11.03 (6/3)  
@@ -76,7 +76,7 @@
     Class: Amendment                   Status: Work Item     11-12-21
     RM References:  A.20 (0)  
 
-AI12-0016-1/01   2012-11-30 --  Implementation model of dynamic accessibility checking
+AI12-0016-1/02   2013-04-22 --  Implementation model of dynamic accessibility checking
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     11-11-13
     RM References:  3.10.02 (22)  
@@ -106,7 +106,7 @@
     Class: Amendment                   Status: Work Item     12-02-25
     RM References:  A.16 (0/3)  
 
-AI12-0022-1/04   2012-12-17 --  Raise expressions for specifying the exception raised for an assertion
+AI12-0022-1/05   2013-05-08 --  Raise expressions
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 202x  12-12-17
     RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
@@ -131,7 +131,7 @@
     Class: Amendment                   Status: Work Item     12-06-04
     RM References:  C.08 (0)  
 
-AI12-0027-1/05   2012-12-31 --  Access values should never designate unaliased components
+AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 202x  12-12-31
     RM References:  4.06 (24.17/3)   4.06 (24.21/2)   4.06 (58)   6.02 (10/3)   3.10.02 (10/3)  
@@ -156,7 +156,7 @@
     Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  E.02.03 (19/3)  
 
-AI12-0032-1/03   2012-11-30 --  Questions on 'Old
+AI12-0032-1/04   2013-04-22 --  Questions on 'Old
     Priority: Low                  Difficulty: Medium
     Class: Ramification                Status: Work Item     12-06-06
     RM References:  6.01.01 (26/3)   6.01.01 (27/3)  
@@ -181,7 +181,7 @@
     Class: Binding Interpretation      Status: Work Item     12-11-29
     RM References:  12.05.01 (5.1/3)  
 
-AI12-0037-1/02   2012-12-28 --  New types in Ada.Locales can't be converted to/from strings
+AI12-0037-1/03   2013-05-08 --  New types in Ada.Locales can't be converted to/from strings
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 202x  12-12-28
     RM References:  A.19 (4/3)  
@@ -191,12 +191,12 @@
     Class: Binding Interpretation      Status: Amendment 202x  12-12-31
     RM References:  E.02.01 (7/1)  
 
-AI12-0039-1/02   2012-12-27 --  Syntax for membership expressions is ambiguous
+AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
     Priority: High                 Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 202x  12-12-17
     RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)   4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30
.3/3)   4.09 (11/3)   4.09 (32.6/3)   8.06 (27.1/3)   3.02.04 (17/3)  
 
-AI12-0040-1/02   2013-01-02 --  Resolving the selecting_expression of a case_expression
+AI12-0040-1/03   2013-05-08 --  Resolving the selecting_expression of a case_expression
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 202x  13-01-02
     RM References:  8.06 (9)  
@@ -221,7 +221,7 @@
     Class: Binding Interpretation      Status: Work Item     12-12-01
     RM References:  7.03.02 (19/3)  
 
-AI12-0045-1/02   2012-12-27 --  Pre- and Postconditions are allowed on generic subprograms
+AI12-0045-1/03   2013-05-08 --  Pre- and Postconditions are allowed on generic subprograms
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  6.01.01 (1/3)  
@@ -231,27 +231,27 @@
     Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  4.03.01 (16/3)  
 
-AI12-0047-1/05   2013-01-31 --  Generalized iterators and discriminant dependent components
+AI12-0047-1/06   2013-05-08 --  Generalized iterators and discriminant-dependent components
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 202x  12-12-31
     RM References:  5.05.02 (6/3)  
 
-AI12-0048-1/02   2013-01-03 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
+AI12-0048-1/03   2013-05-08 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 202x  13-01-03
     RM References:  D.16.01 (30/3)  
 
-AI12-0049-1/02   2012-12-27 --  Invariants need to be checked on the initialization of deferred constants
+AI12-0049-1/03   2013-05-08 --  Invariants need to be checked on the initialization of deferred constants
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  7.03.02 (10/3)  
 
-AI12-0050-1/01   2012-12-04 --  Conformance of quantified expressions
+AI12-0050-1/02   2013-05-08 --  Conformance of quantified expressions
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-12-04
     RM References:  6.03.01 (21)  
 
-AI12-0051-1/02   2012-12-27 --  The Priority aspect can be specified with Attach_Handler
+AI12-0051-1/03   2013-05-08 --  The Priority aspect can be specified when Attach_Handler is specified
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  D.03 (10/3)  
@@ -276,10 +276,10 @@
     Class: Binding Interpretation      Status: Work Item     12-12-08
     RM References:  D.13 (8/3)   D.13 (9/3)  
 
-AI12-0056-1/01   2013-01-14 --  Presentation errors in Ada 2012
+AI12-0056-1/03   2013-05-01 --  Presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Amendment 202x  13-01-14
-    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)  
+    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   A.18.25 (10/3)   A.18.26 (9.2/3)  
 
 AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
     Priority: Medium               Difficulty: Easy
@@ -315,4 +315,14 @@
     Priority: Medium               Difficulty: Easy
     Class: Amendment                   Status: Work Item     13-01-31
     RM References:  6.05.01   
+
+AI12-0064-1/01   2013-04-22 --  Nonblocking subprograms
+    Priority: Medium               Difficulty: Medium
+    Class: Amendment                   Status: Work Item     13-04-22
+    RM References:  9.05.01 (18)  
+
+AI12-0065-1/00   2013-05-08 --  All properties of a profile are defined by pragmas
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     13-05-08
+    RM References:  7.03.01 (5.2/3)  
 

Questions? Ask the ACAA Technical Agent