CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2019/04/12 06:09:25	1.118
+++ ai12s/ai12-summary.txt	2019/05/08 02:02:03	1.119
@@ -570,7 +570,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-11
     RM References:  5.05.01 (8/3)   5.05.01 (9/3)   5.05.01 (10/3)   5.05.02 (12/3)   A.18 (2/2)   A.18.02 (8/3)   A.18.02 (90/2)   A.18.02 (92/2)   A.18.02 (95/2)   A.18.02 (96/2)   A.18.02 (97/2)   A.18.03 (6/3)   A.18.03 (61/2)   A.18.04 (7/2)   A.18.0
5 (3/3)   A.18.06 (4/3)   A.18.07 (7/2)   A.18.08 (3/3)   A.18.09 (4/3)   A.18.10 (8/3)   A.18.10 (80/3)  
 
-AI12-0112-1/07   2019-01-21 --  Contracts for container operations
+AI12-0112-1/08   2019-04-15 --  Contracts for container operations
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-10
     RM References:  A.18.02 (99/3)   11.04.02 (23.1/3)   11.05 (23)   11.05 (26)   A (4)   A.18 (10)  
@@ -1279,8 +1279,8 @@
     RM References:  6.01.03 (0)  
     Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-6
 
-AI12-0240-6/01   2019-04-08 --  Local access types for Abstract Data Types
-    Priority: Low                  Difficulty: Easy
+AI12-0240-6/02   2019-05-07 --  Global aspect and access types used to implement Abstract Data Types
+    Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Work Item     19-04-08
     RM References:  6.01.03 (0)  
     Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-5
@@ -1584,10 +1584,10 @@
     Class: Amendment                   Status: Hold          9-0-1  19-02-26
     RM References:  12.04 (6)   12.07 (2)  
 
-AI12-0298-1/05   2019-02-06 --  Revise the conflict check policies to ensure compatibility
+AI12-0298-1/06   2019-04-17 --  Revise the conflict check policies to ensure compatibility
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-04-09
-    RM References:  9.10 (17/5)   9.10.01 (11/5)   9.10.01 (12/5)   9.10.01 (13/5)   9.10.01 (14/5)  
+    RM References:  9.10 (10)   9.10 (17/5)   9.10.01 (3/5)   9.10.01 (5/5)   9.10.01 (8/5)   9.10.01 (10/5)   9.10.01 (11/5)   9.10.01 (12/5)   9.10.01 (13/5)   9.10.01 (14/5)  
 
 AI12-0299-1/02   2019-01-14 --  The permission of D.2.1(10.1/2) allows too much
     Priority: Low                  Difficulty: Easy
@@ -1609,10 +1609,10 @@
     Class: Amendment                   Status: Work Item     19-01-10
     RM References:  A (15)  
 
-AI12-0303-1/01   2019-01-10 --  Some constants must be covered by Global aspects
+AI12-0303-1/02   2019-04-17 --  Some constants must be covered by Global aspects; extensibility
     Priority: Medium               Difficulty: Easy
     Class: Amendment                   Status: Work Item     19-01-10
-    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
+    RM References:  6.01.02 (12/5)   6.01.02 (32/5)   6.01.02 (46/5)  
 
 AI12-0304-1/02   2019-04-09 --  Image attributes of language-defined types
     Priority: Low                  Difficulty: Easy
@@ -1659,7 +1659,7 @@
     Class: Presentation                Status: Work Item     19-02-07
     RM References:  5.05.02 (2/3)  
 
-AI12-0313-1/03   2019-04-09 --  Introduction for Ada 2020
+AI12-0313-1/04   2019-05-06 --  Introduction for Ada 2020
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Amendment 1 for Ada 2012  19-04-09
     RM References: 
@@ -1724,28 +1724,50 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-04-01
     RM References:  4.02 (6)   4.02 (10)   4.02 (11)   4.02.01 (0)  
 
-AI12-0326-1/01   2019-04-05 --  Consequence for incorrect Allows_Exit
+AI12-0326-1/02   2019-04-15 --  Consequence for incorrect Allows_Exit
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     19-04-05
     RM References:  5.05.03 (17/5)   5.05.03 (21/5)  
+    Alternatives:   AI12-0326-2
+
+AI12-0326-2/01   2019-05-06 --  Bounded errors associated with procedural iterators
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     19-04-05
+    RM References:  5.05 (3/5)   5.05.03 (15/5)   5.05.03 (17/5)   5.05.03 (18/5)   5.05.03 (19/5)   5.05.03 (20/5)   5.05.03 (21/5)  
+    Alternatives:   AI12-0326-1
 
 AI12-0327-1/03   2019-04-09 --  Clarify iterator filter wording for aggregates
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-04-09
     RM References:  5.05 (6.2/6)   4.03.03 (21)   4.03.05 (0)   4.05.08 (6/4)   4.05.10 (0)  
 
-AI12-0328-1/02   2019-04-10 --  Meaning of limited type and record type in 4.5.2(28.1/4)
+AI12-0328-1/03   2019-04-16 --  Meaning of limited type and record type in 4.5.2(28.1/4)
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     19-04-05
-    RM References:  4.05.02 (28.1/4)   4.05.02 (4.1/4)  
+    RM References:  4.05.02 (28.1/4)   4.05.02 (4.1/4)   4.05.02 (15/3)  
 
 AI12-0329-1/02   2019-04-09 --  Naming of FIFO_Streams packages
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-04-09
     RM References:  13.13.01 (9/5)   13.13.01 (9.1/5)  
 
-AI12-0330-1/00   2019-04-05 --  Add items to the Glossary
+AI12-0330-1/01   2019-05-07 --  Add items to the Glossary
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     15-06-03
+    Class: Amendment                   Status: Work Item     19-04-05
     RM References:  N (0)  
+
+AI12-0331-1/01   2019-05-07 --  Order of finalization of a subpool
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     19-05-07
+    RM References:  13.11.05 (5/3)   13.11.05 (6/3)   13.11.05 (7/3)   13.11.05 (7.1/4)   13.11.05 (8/3)   13.11.05 (9/3)  
+
+AI12-0332-1/01   2019-05-07 --  Implementation Permission for Default_Initial_Condition
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-05-07
+    RM References:  7.03.03 (9/5)  
+
+AI12-0333-1/01   2019-05-07 --  Predicate checks on out parameters
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-05-07
+    RM References:  3.02.04 (31/5)  
 

Questions? Ask the ACAA Technical Agent