CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2016/01/29 01:42:04	1.57
+++ ai12s/ai12-summary.txt	2016/02/16 03:20:41	1.58
@@ -3,7 +3,7 @@
 
 AI12-0001-1/06   2013-08-27 --  Independence and Representation clauses for atomic objects
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-08
+    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/02   2012-06-06 --  RCI units should not allow types with user-defined stream attributes
@@ -13,7 +13,7 @@
 
 AI12-0003-1/13   2015-03-25 --  Specifying the standard storage pool
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  8.02 (11)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4/3)   13.11.03 (4.1/3)   13.11.03 (5/3)   13.11.03 (6.2/3)   13.11.03 (6.3/3)  
 
 AI12-0004-1/01   2011-11-08 --  Normalization and allowed characters for identifiers
@@ -108,7 +108,7 @@
 
 AI12-0022-1/05   2013-05-08 --  Raise expressions
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 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)  
 
 AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
@@ -133,12 +133,12 @@
 
 AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 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)  
 
 AI12-0028-1/03   2013-01-02 --  Import of variadic C functions
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-01-02
     RM References:  B.03 (1/3)   B.03 (60.15/3)   B.03 (75)  
 
 AI12-0029-1/02   2012-06-28 --  Relax requirement for functions to have return statements
@@ -148,117 +148,117 @@
 
 AI12-0030-1/06   2013-07-19 --  Formal derived types and stream attribute availability
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-16
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-16
     RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
 
 AI12-0031-1/05   2014-05-08 --  All_Calls_Remote and indirect calls
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-17
     RM References:  E.02.03 (19/3)  
 
 AI12-0032-1/07   2013-07-17 --  Questions on 'Old
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-17
     RM References:  4.01.03 (9/3)   6.01.01 (22/3)   6.01.01 (26/3)   6.01.01 (35/3)  
 
 AI12-0033-1/08   2013-10-07 --  Sets of CPUs when defining dispatching domains
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
     RM References:  D.16.01 (7/3)   D.16.01 (9/3)   D.16.01 (20/3)   D.16.01 (23/3)   D.16.01 (24/3)   D.16.01 (26/3)  
 
 AI12-0034-1/05   2013-10-07 --  Remote stream attribute calls
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-17
     RM References:  E.04 (8)  
 
 AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-08
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-08
     RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)   A.18.18 (39/3)   A.18.18 (47/3)  
 
 AI12-0036-1/03   2014-05-08 --  The actual for an untagged formal derived type cannot be tagged
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
     RM References:  12.05.01 (5.1/3)  
 
 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: Corrigendum 2015  12-12-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 12-12-28
     RM References:  A.19 (4/3)  
 
 AI12-0038-1/07   2015-01-27 --  Shared_Passive package restrictions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 12-12-31
     RM References:  E.02.01 (7/1)  
 
 AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 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/03   2013-05-08 --  Resolving the selecting_expression of a case_expression
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-01-02
     RM References:  8.06 (9)  
 
 AI12-0041-1/03   2014-11-18 --  Type_Invariant'Class for interface types
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-17
     RM References:  7.03.02 (1/3)   7.03.02 (3/3)  
 
 AI12-0042-1/11   2014-09-29 --  Type invariant checking rules
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-11
     RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)   7.03.02 (20/3)  
 
 AI12-0043-1/02   2013-01-02 --  Details of the storage pool used when Storage_Size is specified
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-01-02
     RM References:  13.11 (18)  
 
 AI12-0044-1/05   2013-10-07 --  Calling visible functions from type invariant expressions
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-06-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-06-28
     RM References:  7.03.02 (19/3)  
 
 AI12-0045-1/03   2013-05-08 --  Pre- and Postconditions are allowed on generic subprograms
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 12-12-27
     RM References:  6.01.01 (1/3)  
 
 AI12-0046-1/02   2012-12-27 --  Enforcing legality for anonymous access components in record aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 12-12-27
     RM References:  4.03.01 (16/3)  
 
 AI12-0047-1/06   2013-05-08 --  Generalized iterators and discriminant-dependent components
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 12-12-31
     RM References:  5.05.02 (6/3)  
 
 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: Corrigendum 2015  13-01-03
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-01-03
     RM References:  D.16.01 (30/3)  
 
 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: Corrigendum 2015  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 12-12-27
     RM References:  7.03.02 (10/3)  
 
 AI12-0050-1/04   2013-07-17 --  Conformance of quantified expressions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-17
     RM References:  6.03.01 (20)   6.03.01 (21)  
 
 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: Corrigendum 2015  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 12-12-27
     RM References:  D.03 (10/3)  
 
 AI12-0052-1/04   2014-05-08 --  Implicit objects are considered overlapping
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-18
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-18
     RM References:  A (3/2)   A.10.03 (21)  
 
 AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
@@ -274,18 +274,18 @@
 
 AI12-0054-2/05   2013-10-07 --  Aspect Predicate_Failure
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-05
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-05
     RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
     Alternatives:   AI12-0054-1
 
 AI12-0055-1/06   2014-09-29 --  All properties of a usage profile are defined by pragmas
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
     RM References:  D.07 (10/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
 
 AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2015  13-01-14
+    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 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)   6.02 (13)   A.18.25 (10/3)   A.18.26 (9.2/3)  
 
 AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
@@ -300,7 +300,7 @@
 
 AI12-0059-1/07   2015-11-19 --  Object_Size attribute
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: ARG Approved  8-0-0  15-10-17
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/1)   13.03 (50)   13.03 (51)   13.03 (52)   13.03 (58)  
 
 AI12-0060-1/00   2013-01-31 --  Overriding indicators on protected subprogram bodies
@@ -310,12 +310,12 @@
 
 AI12-0061-1/05   2015-08-07 --  Index parameters in array aggregates
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: WG9 Approved  15-10-16
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)   3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.06 (4.1/3)  
 
 AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
     Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Corrigendum 2015  13-01-14
+    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 13-01-14
     RM References:  11.03 (4/2)  
 
 AI12-0063-1/01   2013-01-31 --  No_Return functions
@@ -337,7 +337,7 @@
 
 AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Corrigendum 2015  13-12-17
+    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 13-12-17
     RM References:  7.03.01 (5.2/3)  
 
 AI12-0066-1/01   2013-12-18 --  If it ain't broke...
@@ -347,42 +347,42 @@
 
 AI12-0067-1/02   2013-10-07 --  Accessibility level of explicitly aliased parameters of procedures and entries
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
     RM References:  3.10.02 (7/3)  
 
 AI12-0068-1/02   2014-07-22 --  Predicates and the current instance of a subtype
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-22
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-22
     RM References:  3.10.02 (7/3)  
 
 AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-11
     RM References:  A.18.10 (153/3)   A.18.10 (155/3)   A.18.10 (157/3)   A.18.10 (159/3)  
 
 AI12-0070-1/03   2013-10-07 --  9.3(2) does not work for anonymous access types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
     RM References:  3.10.02 (13.1/3)   9.03 (2)  
 
 AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-13
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-13
     RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)   3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30
/3)   4.06 (51/3)   4.09.01 (10/3)   5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
 
 AI12-0072-1/05   2013-10-07 --  Missing rules for Discard_Names aspect
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-11
     RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  
 
 AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-05
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-05
     RM References:  D.13 (6/3)  
 
 AI12-0074-1/06   2014-09-29 --  View conversions and out parameters passed by copy
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
     RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
 
 AI12-0075-1/04   2015-10-17 --  Static expression functions
@@ -392,17 +392,17 @@
 
 AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-11
     RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
 
 AI12-0077-1/02   2013-10-07 --  Has_Same_Storage on objects of size zero
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
     RM References:  13.03 (73.4/3)  
 
 AI12-0078-1/01   2013-06-14 --  Definition of node for tree container is confusing
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-06-28
+    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
@@ -412,17 +412,17 @@
 
 AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2015  13-12-11
+    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 13-12-11
     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)   N (41/2)  
 
 AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
     RM References:  D.01 (17/3)   D.16 (9/3)  
 
 AI12-0082-1/03   2014-05-08 --  Definition of "dispatching domain"
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-07
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-07
     RM References:  D.16.01 (16/3)   D.16.01 (22/3)   D.16.01 (25/3)   D.16.01 (27/3)   D.16.01 (29/3)  
 
 AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
@@ -432,17 +432,17 @@
 
 AI12-0084-1/01   2013-10-28 --  Box expressions in array aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
     RM References:  4.03.03 (23.1/2)  
 
 AI12-0085-1/03   2014-05-08 --  Missing aspect cases for Remote_Types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-11
     RM References:  E.02.02 (17/2)  
 
 AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: WG9 Approved  15-10-16
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
 
 AI12-0087-1/02   2015-10-08 --  Reading the default value of a subtype
@@ -452,17 +452,17 @@
 
 AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
     RM References:  A.04.11 (54/3)   A.04.11 (55/3)  
 
 AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-18
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-18
     RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
 
 AI12-0090-1/06   2015-01-19 --  Pre- and Postconditions and requeues
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-12
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-12
     RM References:  9.05.04 (5/3)   9.05.04 (7/3)   9.05.04 (12/3)  
 
 AI12-0091-1/04   2014-02-03 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
@@ -477,77 +477,77 @@
 
 AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Corrigendum 2015  13-12-11
+    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 13-12-11
     RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
 
 AI12-0094-1/03   2015-01-19 --  An access_definition should be a declarative region
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-12
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-12
     RM References:  8.03 (2)   8.03 (26/3)  
 
 AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
     RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
 
 AI12-0096-1/02   2014-09-29 --  The exception raised when a subtype conversion fails a predicate check
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
     RM References:  4.06 (57/3)  
 
 AI12-0097-1/02   2014-07-15 --  Tag of the return object of a simple return expression
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-15
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-15
     RM References:  6.05 (8/3)  
 
 AI12-0098-1/02   2014-09-29 --  Problematic examples for ATC
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Corrigendum 2015  14-07-14
+    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 14-07-14
     RM References:  9.07.04 (13)  
 
 AI12-0099-1/03   2014-09-29 --  Wording problems with predicates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
     RM References:  3.02.04 (4/4)   3.02.04 (12/3)   3.02.04 (20/3)  
 
 AI12-0100-1/02   2014-07-14 --  A qualified expression makes a predicate check
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
     RM References:  4.07 (4)  
 
 AI12-0101-1/03   2014-09-29 --  Incompatibility of hidden untagged record equality
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
     RM References:  4.05.02 (9.8/3)  
 
 AI12-0102-1/02   2014-10-02 --  Stream_IO.File_Type has Preelaborable_Initialization
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
     RM References:  A.12.01 (5)  
 
 AI12-0103-1/04   2015-01-19 --  Expression functions that are completions in package specifications
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-13
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
     RM References:  13.14 (3/3)   13.14 (5/3)  
 
 AI12-0104-1/02   2014-10-02 --  Overriding an aspect is undefined
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2015  14-07-23
+    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 14-07-23
     RM References:  4.01.06 (4/3)   4.01.06 (17/3)  
 
 AI12-0105-1/03   2014-10-02 --  Pre and Post are not allowed on any subprogram completion
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
     RM References:  13.01.01 (18/3)  
 
 AI12-0106-1/05   2015-01-19 --  Write'Class aspect
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-13
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
     RM References:  13.01.01 (28/3)   13.13.02 (38/3)  
 
 AI12-0107-1/03   2014-10-02 --  A prefixed view of a By_Protected_Procedure interface has convention protected
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
     RM References:  6.03.01 (10.1/2)   6.03.01 (12)   6.03.01 (13)  
 
 AI12-0108-1/02   2014-10-19 --  Out-of-range static constants
@@ -557,12 +557,12 @@
 
 AI12-0109-1/03   2015-01-20 --  Representation of untagged derived types
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-14
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-14
     RM References:  13.01 (10/3)  
 
 AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
+    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
@@ -577,12 +577,12 @@
 
 AI12-0113-1/03   2014-11-19 --  Class-wide preconditions and statically bound calls
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-19
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-19
     RM References:  6.01.01 (7/3)   6.01.01 (18/3)   6.01.01 (37/3)   6.01.01 (38/3)  
 
 AI12-0114-1/03   2014-10-02 --  Overlapping objects designated by access parameters are not thread-safe
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-15
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-15
     RM References:  A (3/2)  
 
 AI12-0115-1/01   2014-06-19 --  Add Size_Is_Multiple_Of aspect
@@ -592,12 +592,12 @@
 
 AI12-0116-1/03   2014-10-02 --  Private types and predicates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
     RM References:  13.01 (9/3)   13.01 (9.1/3)  
 
 AI12-0117-1/03   2014-11-17 --  Restriction No_Tasks_Unassigned_To_CPU
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-17
     RM References:  D.07 (10.8/3)  
 
 AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
@@ -612,12 +612,12 @@
 
 AI12-0120-1/04   2014-10-02 --  Legality and exceptions of generalized loop iteration
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
     RM References:  5.05.02 (6.1/4)   5.05.02 (10/3)   5.05.02 (13/3)  
 
 AI12-0121-1/03   2015-01-19 --  Stream-oriented aspects
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-13
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
     RM References:  13.13.02 (38/3)  
 
 AI12-0122-1/01   2014-08-11 --  Add 'Base for all types
@@ -632,7 +632,7 @@
 
 AI12-0124-1/04   2015-01-19 --  Add Object'Image
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-14
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-14
     RM References:  3.05 (55/3)  
 
 AI12-0125-1/05   2015-10-03 --  Add Object'Inc and 'Dec
@@ -670,52 +670,52 @@
 
 AI12-0129-1/08   2015-05-05 --  Make protected objects more protecting
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-03-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
     RM References:  9.05.01 (2)   9.05.01 (4)   9.05.01 (5)   9.05.01 (7)   9.05.03 (15)   9.05.03 (23)  
 
 AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-14
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-14
     RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  
 
 AI12-0131-1/02   2014-11-13 --  Inherited Pre'Class when unspecified on initial subprogram
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-13
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
     RM References:  6.01.01 (17/3)   6.01.01 (18/3)  
 
 AI12-0132-1/02   2014-11-13 --  Freezing of renames-as-body
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-13
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
     RM References:  13.14 (5/3)  
 
 AI12-0133-1/04   2015-01-19 --  Type invariants and default initialized objects
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-13
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
     RM References:  7.03.02 (10.3/3)  
 
 AI12-0134-1/03   2015-01-19 --  Error in Storage Pool example
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2015  14-11-13
+    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 14-11-13
     RM References:  13.11.06 (11/3)  
 
 AI12-0135-1/05   2015-03-03 --  Enumeration types should be eligible for convention C
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-02-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
     RM References:  B.01 (14/3)   B.01 (41/3)   B.03 (65)  
 
 AI12-0136-1/03   2015-01-20 --  Language-defined packages and aspect Default_Storage_Pool
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-18
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-18
     RM References:  13.11.03 (5/3)  
 
 AI12-0137-1/03   2015-01-20 --  Incomplete views and access to class-wide types
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  14-11-17
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-17
     RM References:  3.10.01 (2.1/2)  
 
 AI12-0138-1/09   2015-05-05 --  Iterators of formal derived types
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-03-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
     RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)   5.05.01 (11/3)  
 
 AI12-0139-1/02   2015-10-14 --  Thread-safe Ada libraries
@@ -730,17 +730,17 @@
 
 AI12-0141-1/02   2015-01-28 --  Add Raise Expression to Introduction
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2015  14-12-04
+    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 14-12-04
     RM References: 
 
 AI12-0142-1/03   2015-02-23 --  Bad subpool implementations
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
 
 AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: ARG Approved  5-0-2  15-10-18
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
 
 AI12-0144-1/07   2016-01-28 --  Make Discrete_Random more flexible
@@ -750,42 +750,42 @@
 
 AI12-0145-1/02   2015-01-28 --  Pool_of_Subpool returns null when called too early
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  13.11.04 (20/3)  
 
 AI12-0146-1/01   2015-01-21 --  Should say stream-oriented attribute
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2015  15-01-28
+    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  7.03.02 (15/3)  
 
 AI12-0147-1/02   2015-01-28 --  Expression functions and null procedures can be declared in a protected_body
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  9.04 (8/1)  
 
 AI12-0148-1/03   2015-01-29 --  Dangling references
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  13.11.02 (10/2)   13.11.02 (15)   13.11.05 (7/3)  
 
 AI12-0149-1/01   2015-01-22 --  Type invariants are checked for functions returning access-to-type
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  7.03.02 (19.3/4)  
 
 AI12-0150-1/03   2015-01-28 --  Class-wide type invariants and statically bound calls
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
     RM References:  7.03.02 (3/3)   7.03.02 (5/3)   7.03.02 (9/3)   7.03.02 (22/3)  
 
 AI12-0151-1/02   2015-02-26 --  Meaning of subtype_indication in array component iterators
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-02-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
     RM References:  5.05.02 (5/3)  
 
 AI12-0152-1/04   2015-03-25 --  Eliminate ambiguities in raise expression and derived type syntax
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-02-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
     RM References:  3.05.09 (5)   3.05.09 (18)   3.05.09 (19)   11.03 (2/2)   11.03 (3.1/2)   11.03 (4/3)   11.04.01 (10.1/3)   J.03 (2)   J.03 (3)   J.03 (4)   J.03 (7)   J.03 (8)   J.03 (9)   J.03 (10)  
 
 AI12-0153-1/02   2015-02-23 --  Default value of Boolean-valued aspects
@@ -795,37 +795,37 @@
 
 AI12-0154-1/03   2015-03-03 --  Aspects of library units
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-02-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
     RM References:  13.01.01 (32/3)  
 
 AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
 
 AI12-0156-1/03   2015-11-18 --  Use subtype_indication in generalized iterators
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: ARG Approved  6-1-1  15-10-17
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
 
 AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-03-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
     RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)   7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  
 
 AI12-0158-1/02   2015-03-26 --  Definition of quantified expressions
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-03-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
     RM References:  4.05.08 (1/3)   4.05.08 (6/3)   4.05.08 (8/3)   4.05.08 (9/3)  
 
 AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2015  15-03-26
+    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
     RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)   6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.
1/4)   7.03.02 (5/4)   7.03.02 (21/4)   7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
 
 AI12-0160-1/02   2015-08-07 --  Adding an indexing aspect to an indexable container type
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     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
@@ -835,12 +835,12 @@
 
 AI12-0162-1/03   2015-07-30 --  Memberships and Unchecked_Unions
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  B.03.03 (25/2)  
 
 AI12-0163-1/03   2015-11-20 --  Deterministic queue servicing for FIFO_Queueing
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: ARG Approved  5-0-3  15-10-17
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
 
 AI12-0164-1/03   2015-10-17 --  Max_Entry_Queue_Length aspect for entries
@@ -850,27 +850,27 @@
 
 AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  12.06 (8.5/2)  
 
 AI12-0166-1/03   2015-08-07 --  External calls to protected functions that appear to be internal calls
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
 
 AI12-0167-1/03   2015-08-07 --  Type_Invariants and tagged-type View Conversions
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: WG9 Approved  15-10-16
+    Class: Ramification                Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  7.03.02 (9/4)  
 
 AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  13.14 (3/4)  
 
 AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
+    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
@@ -885,22 +885,22 @@
 
 AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  8-0-0  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  7.05 (2.1/3)  
 
 AI12-0173-1/02   2015-11-17 --  Expression of an extended return statement
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  8-0-0  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  6.05 (3/2)   6.05 (5/3)  
 
 AI12-0174-1/02   2015-11-17 --  Aggregates of Unchecked_Unions using named notation
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  8-0-0  15-10-16
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  B.03.03 (9/3)  
 
 AI12-0175-1/03   2015-11-18 --  Preelaborable packages with address clauses
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: ARG Approved  8-0-0  15-10-17
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  10.02.01 (7)  
 
 AI12-0176-1/02   2016-01-28 --  6.1.1(26.4/4) only applies to tagged types
@@ -915,7 +915,7 @@
 
 AI12-0178-1/02   2015-11-18 --  Glitches in examples
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: ARG Approved  7-0-1  15-10-16
+    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)   9.11 (8/2)   10.01.02 (29/2)   11.02 (12)   11.04.03 (5/2)   11.04.03 (6/2)   12.01 (22)   12.03 (24)   12.07 (19/2)   12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.3
2 (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

Questions? Ask the ACAA Technical Agent