CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2014/05/09 21:54:42	1.25
+++ ai12s/ai12-summary.txt	2014/05/17 01:32:18	1.26
@@ -403,10 +403,10 @@
     Class: Amendment                   Status: Work Item     13-06-28
     RM References:  7.03.02 (3/3)  
 
-AI12-0080-1/04   2014-03-31 --  More presentation errors in Ada 2012
+AI12-0080-1/06   2014-05-16 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Corrigendum 2014  13-12-11
-    RM References:  3.09.03 (6/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)  
+    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)  
 
 AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
     Priority: Low                  Difficulty: Easy
@@ -492,4 +492,84 @@
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     14-02-12
     RM References:  6.05 (8/3)  
+
+AI12-0098-1/00   2014-05-09 --  Problematic examples for ATC
+    Priority: Low                  Difficulty: Medium
+    Class: Ramification                Status: Work Item     14-05-09
+    RM References:  9.07.04 (10-13)  
+
+AI12-0099-1/01   2014-05-12 --  Wording problems with predicates
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-05-12
+    RM References:  3.02.04 (4/4)   3.02.04 (12/3)   3.02.04 (20/3)  
+
+AI12-0100-1/01   2014-05-12 --  A qualified expression makes a predicate check
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-05-12
+    RM References:  4.07 (4)  
+
+AI12-0101-1/01   2014-05-12 --  Incompatibility of hidden untagged record equality
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-05-12
+    RM References:  4.05.02 (9.8/3)  
+
+AI12-0102-1/01   2014-05-12 --  Stream_IO.File_Type has Preelaborable_Initialization
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-05-12
+    RM References:  A.12.01 (5)  
+
+AI12-0103-1/01   2014-05-12 --  Expression functions that are completions in package specifications
+    Priority: Low                  Difficulty: Medium
+    Class: Ramification                Status: Work Item     14-05-12
+    RM References:  13.14 (3/3)  
+
+AI12-0104-1/01   2014-05-13 --  Overriding an aspect
+    Priority: Low                  Difficulty: Easy
+    Class: Presentation                Status: Work Item     14-05-13
+    RM References:  4.01.06 (4/3)   4.01.06 (17/3)  
+
+AI12-0105-1/01   2014-05-13 --  Pre is not allowed on any subprogram completion
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-05-13
+    RM References:  13.01.01 (18/3)  
+
+AI12-0106-1/01   2014-05-14 --  Write'Class aspect
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-05-14
+    RM References:  13.13.02 (38/3)  
+
+AI12-0107-1/01   2014-05-14 --  Is an access to a By_Protected_Procedure interface procedure a protected access
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-05-14
+    RM References:  6.03.01 (10.1/2)  
+
+AI12-0108-1/01   2014-05-14 --  Out-of-range static constants
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-05-14
+    RM References:  4.09 (24)  
+
+AI12-0109-1/01   2014-05-15 --  Representation of untagged derived types
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-05-15
+    RM References:  13.01 (10/3)  
+
+AI12-0110-1/01   2014-05-15 --  Tampering checks are performed first
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-05-15
+    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/01   2014-05-15 --  Tampering considered too expensive
+    Priority: Medium               Difficulty: Hard
+    Class: Binding Interpretation      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
+    Priority: Medium               Difficulty: Hard
+    Class: Amendment                   Status: Work Item     14-05-15
+    RM References:  A.18.02 (99/3)  
+
+AI12-0113-1/01   2014-05-15 --  Class-wide preconditions and statically bound calls
+    Priority: Medium               Difficulty: Hard
+    Class: Binding Interpretation      Status: Work Item     14-05-15
+    RM References:  6.01.01 (39/3)   7.03.02 (23/3)  
 

Questions? Ask the ACAA Technical Agent