CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2018/09/05 22:44:15	1.97
+++ ai12s/ai12-summary.txt	2018/10/19 05:59:56	1.98
@@ -96,7 +96,7 @@
     Class: Amendment                   Status: No Action     (9-0-0) 15-06-28
     RM References:  12.05.06 (0)  
 
-AI12-0020-1/04   2018-06-14 --  'Image for all types
+AI12-0020-1/06   2018-10-16 --  'Image for all types
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     12-02-14
     RM References:  4.10 (0)   3.05 (27.1/2)   3.05 (55.1/5)   3.05 (55.2/5)   3.05 (55.3/5)   3.05 (55.4/5)   13.13.01 (9)   13.13.01 (11)  
@@ -405,7 +405,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-06-28
     RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
 
-AI12-0079-1/06   2018-03-01 --  Global-in and global-out annotations
+AI12-0079-1/08   2018-10-19 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Work Item     13-06-28
     RM References:  6.01.02 (0)  
@@ -565,7 +565,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  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/06   2017-10-11 --  Stable Containers to reduce tampering checks
+AI12-0111-1/07   2018-10-18 --  Stable Containers to reduce tampering checks
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-05-15
     RM References:  A.18.02 (97.1/3)  
@@ -1092,17 +1092,17 @@
     Class: Amendment                   Status: Hold          by Letter Ballot (9-0-2) - 18-05-07
     RM References:  C.06 (8/3)  
 
-AI12-0210-1/00   2016-12-19 --  Type Invariants and Generics
+AI12-0210-1/01   2018-10-16 --  Type Invariants and Generics
     Priority: Very Low             Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     16-12-19
-    RM References:  7.03.02 (17/4)   7.03.02 (20.1/4)  
+    RM References:  7.03.02 (8.3/5)   7.03.02 (8.4/5)   7.03.02 (12/3)   7.03.02 (20.1/4)  
 
 AI12-0211-1/04   2017-11-17 --  Interface types and inherited nonoverridable aspects
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-17
     RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  
 
-AI12-0212-1/06   2018-03-13 --  Container aggregates; generalized array aggregates
+AI12-0212-1/07   2018-10-17 --  Container aggregates; generalized array aggregates
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     17-06-10
     RM References:  4.03.05 (0)  
@@ -1199,10 +1199,10 @@
     Class: Amendment                   Status: Work Item     17-04-19
     RM References:  8.05.06 (0)  
 
-AI12-0230-1/02   2018-05-01 --  Deadline Floor Protocol
+AI12-0230-1/03   2018-10-17 --  Deadline Floor Protocol
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     17-06-05
-    RM References:  D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (29/2)   D.03 (4)   D.03 (7)  
+    RM References:  D.02.06 (9/2)   D.02.06 (9.1/3)   D.02.06 (29/2)   D.03 (13)   D.05.02 (2/2)   D.05.02 (3/2)   D.05.02 (4/2)  
 
 AI12-0231-1/01   2017-06-05 --  Null_Task_Id and Activation_Is_Complete
     Priority: Low                  Difficulty: Easy
@@ -1224,15 +1224,15 @@
     Class: Amendment                   Status: Work Item     17-06-09
     RM References:  A.19 (0)  
 
-AI12-0235-1/01   2017-06-09 --  Root_Storage_Pool should be pure
+AI12-0235-1/03   2018-10-18 --  System.Storage_Pools should be pure
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     17-06-09
-    RM References:  13.11 (5)   13.11.04 (3/3)  
+    RM References:  13.11 (5)  
 
-AI12-0236-1/02   2018-01-26 --  declare expressions
+AI12-0236-1/03   2018-10-12 --  declare expressions
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     17-09-06
-    RM References:  13.11 (5)   13.11.04 (3/3)  
+    RM References:  3.09.02 (3)   3.10.02 (9.1/3)   3.10.02 (32.2/3)   6.09 (0)   7.06.01 (3/2)   8.01 (3)  
 
 AI12-0237-1/04   2018-09-05 --  Getting the representation of an enumeration value
     Priority: Very Low             Difficulty: Easy
@@ -1253,28 +1253,34 @@
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     17-10-09
     RM References:  H.07 (0)   H.08 (0)  
-    Alternatives:   AI12-0240-2
+    Alternatives:   AI12-0240-2  AI12-0240-3
 
 AI12-0240-2/01   2018-06-14 --  Access ownership for Abstract Data Types
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     18-06-14
     RM References:  3.10.03 (0)  
-    Alternatives:   AI12-0240-1
+    Alternatives:   AI12-0240-1  AI12-0240-3
 
+AI12-0240-3/01   2018-10-18 --  Access value ownership and parameter aliasing
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Work Item     18-10-18
+    RM References:  H.07 (0)   H.08 (0)  
+    Alternatives:   AI12-0240-1  AI12-0240-2
+
 AI12-0241-1/02   2018-01-18 --  Specifying Nonblocking for Language-Defined Units
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-12-18
     RM References:  3.09 (6/2)   3.09 (18.2/3)   5.05.01 (2/3)   7.06 (4/3)   9.06 (10)   9.06.01 (2/2)   9.06.01 (8/2)   9.06.01 (15/2)   11.04.01 (2/2)   13.07.02 (2)   13.09 (3/3)   13.11.02 (3/3)   13.13.01 (2)   A.04.03 (5)   A.04.04 (3)   A.04.05 (3
)   A.04.07 (3)   A.04.09 (7/3)   A.04.09 (10/3)   A.04.09 (11.7/3)   A.04.09 (11.10/3)   A.04.10 (7/3)   A.04.10 (10/3)   A.04.10 (18/3)   A.04.10 (21/3)   A.05.01 (3)   A.10.01 (55)   A.10.01 (60)   A.10.01 (67)   A.10.01 (72)   A.10.01 (77)   A.10.01 (8
3)   A.15 (3)   A.16 (15/2)   A.16 (16/2)   A.16 (17/2)   A.16 (18/2)   A.16 (19/2)   A.16 (20/2)   A.16.01 (3/3)   A.17 (3/2)   B.03.01 (3)   B.03.02 (4)   B.04 (7)   C.03.02 (2/3)   C.07.01 (2/2)   C.07.01 (3/3)   C.07.01 (16)   C.07.02 (2)   C.07.03 (2/
2)   D.02.01 (1.2/3)   D.02.01 (1.3/3)   D.02.01 (7/3)   D.02.04 (2.2/3)   D.02.05 (4/2)   D.02.06 (9/2)   D.05.01 (3/2)   D.08 (3)   D.10 (3/2)   D.10 (4)   D.10 (5.2/3)   D.10 (10)   D.10 (10.1/3)   D.10.01 (3/3)   D.10.01 (6/3)   D.10.01 (14/3)   D.11 (
3/2)   D.14 (3/2)   D.14.01 (3/2)   D.14.01 (5/2)   D.14.02 (3/2)   D.14.02 (5/2)   D.14.03 (3/3)   D.15 (3/2)   D.15 (4/2)   D.16 (3/3)   D.16.01 (3/3)   E.05 (3)   E.05 (23)   F.03.03 (3)   F.03.03 (14)   F.03.03 (15)   G.01.01 (2/1)   G.01.02 (2/2)   G.
01.03 (8)   G.03.01 (2/2)   G.03.02 (2/2)  
 
-AI12-0242-1/03   2018-03-01 --  Reduction Expressions
+AI12-0242-1/06   2018-10-16 --  Reduction Expressions
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-06-20
     RM References:  4.05.09 (0)  
 
-AI12-0243-1/01   2018-01-11 --  Subtypes as primitive arguments
+AI12-0243-1/02   2018-10-14 --  Subtypes as primitive arguments
     Priority: Very Low             Difficulty: Medium
     Class: Amendment                   Status: Work Item     18-05-07
-    RM References:  3.09.02 (10/2)  
+    RM References:  3.09.02 (10/2)   3.04 (17/2)   3.04 (20)   4.01.04 (3/2)   4.09.01 (2/5)  
 
 AI12-0244-1/02   2018-01-29 --  Check name for Value attributes
     Priority: Low                  Difficulty: Easy
@@ -1311,10 +1317,10 @@
     Class: Amendment                   Status: Work Item     18-01-25
     RM References:  5.05 (4)  
 
-AI12-0251-1/01   2018-01-25 --  Explicit chunk definition for parallel loops
+AI12-0251-1/02   2018-10-16 --  Explicit chunk definition for parallel loops
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     18-01-25
-    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
+    RM References:  5.05 (3/3)   5.05 (6/4)   5.05 (9/4)  
     Alternatives:   AI12-0251-2
 
 AI12-0251-2/01   2018-03-28 --  Parallel loop chunking libraries
@@ -1373,7 +1379,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  10.01.02 (12/3)   10.01.02 (13/2)   10.01.02 (14/2)   10.01.02 (15/2)   10.01.02 (16/2)  
 
-AI12-0262-1/01   2018-03-01 --  Map/Reduce attribute
+AI12-0262-1/03   2018-10-18 --  Map/Reduce attribute
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     18-03-01
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
@@ -1393,7 +1399,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-04
     RM References:  7.03.03 (0)   1.01.03 (17.1/5)   11.04.02 (23.2/5)   11.04.02 (23.3/5)  
 
-AI12-0266-1/04   2018-06-16 --  Parallel Container Iterators
+AI12-0266-1/06   2018-10-16 --  Parallel Container Iterators
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     18-03-28
     RM References:  5.05.01 (4/3)   5.05.01 (6/4)   5.05.01 (11/3)   5.05.02 (4/3)  
@@ -1458,10 +1464,10 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-07-05
     RM References:  3.10.02 (10.3/3)  
 
-AI12-0279-1/01   2018-05-14 --  Nonpreemptive Dispatching Needs More Dispatching Points
+AI12-0279-1/03   2018-10-18 --  Nonpreemptive Dispatching Needs More Dispatching Points
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     18-05-14
-    RM References:  D.02.04 (10/3)  
+    RM References:  D.02.01 (1.5/2)   D.02.01 (8/2)  
 
 AI12-0280-1/01   2018-05-14 --  Contract_Cases aspect
     Priority: Low                  Difficulty: Easy
@@ -1503,9 +1509,9 @@
 AI12-0286-1/01   2018-07-27 --  Allows_Exit aspect should be used on language-defined subprograms
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     18-07-27
-    RM References:  A.16 (36/2)   A.16 (111/2)   A.17 (8/3)  
+    RM References:  A.16 (36/2)   A.16 (111/2)   A.17 (8/3)   A.17 (22/3)  
 
-AI12-0287-1/01   2018-07-27 --  Legality Rules for null exclusions in renaming is too fierce
+AI12-0287-1/02   2018-09-06 --  Legality Rules for null exclusions in renaming is too fierce
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     18-07-27
     RM References:  8.05.01 (4.5/2)   12.04 (8.3/2)   12.04 (8.4/2)  
@@ -1519,4 +1525,24 @@
     Priority: Low                  Difficulty: Easy
     Class: Ramification                Status: Amendment 1 for Ada 2012  16-02-29
     RM References:  3.10 (26)  
+
+AI12-0290-1/02   2018-10-11 --  Restriction Pure_Barriers
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     18-10-11
+    RM References:  D.07 (2)   D.07 (10.10/4)  
+
+AI12-0291-1/01   2018-10-11 --  Jorvik Profile
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     18-10-11
+    RM References:  D.13 (0)   D.13 (1/3)   D.13 (4/3)   D.13 (6/4)   D.13 (9/3)   D.13 (10/3)   D.13 (11/4)   D.13 (12/4)  
+
+AI12-0292-1/01   2018-10-11 --  Various cleanups for Ada 2020
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     18-10-11
+    RM References:  3.10.02 (9.1/3)   5.05.03 (9/5)   5.05.03 (13/5)   8.05.04 (11)   9.10 (14)  
+
+AI12-0293-1/01   2018-10-14 --  Add predefined FIFO_Streams packages
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     18-10-14
+    RM References:  13.13.01 (9)   13.13.01 (9.1/1)  
 

Questions? Ask the ACAA Technical Agent