CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2019/02/21 05:29:35	1.108
+++ ai12s/ai12-summary.txt	2019/02/23 03:41:02	1.109
@@ -978,7 +978,7 @@
     Class: Amendment                   Status: No Action     (10-0-2) 19-01-14
     RM References:  4.04 (7/3)   4.05.09 (0)  
 
-AI12-0191-1/02   2019-02-06 --  Clarify "part" for type invariants
+AI12-0191-1/07   2019-02-23 --  Clarify "part" for type invariants
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     16-06-06
     RM References:  3.09.01 (4.1/2)   7.03.02 (10.1/4)   7.03.02 (15/5)  
@@ -1082,7 +1082,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
     RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  
 
-AI12-0208-1/08   2019-02-01 --  Predefined Big numbers support
+AI12-0208-1/09   2019-02-22 --  Predefined Big numbers support
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     16-12-19
     RM References:  A.05.05 (0)   A.05.06 (0)   A.05.07 (0)   A.05.08 (0)  
@@ -1267,7 +1267,7 @@
     RM References:  H.07 (0)   H.08 (0)  
     Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-4  AI12-0240-5
 
-AI12-0240-4/01   2019-01-10 --  Pointer ownership for Abstract Data Types !summary
+AI12-0240-4/01   2019-01-10 --  Pointer ownership for Abstract Data Types
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     18-06-14
     RM References:  3.10.03 (0)  
@@ -1319,7 +1319,7 @@
     Class: Amendment                   Status: No Action     (7-0-0) 18-10-21
     RM References:  4.03.03 (2)   4.03.05 (0)  
 
-AI12-0249-1/05   2019-01-25 --  User-defined numeric literals
+AI12-0249-1/06   2019-02-22 --  User-defined numeric literals
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-29
     RM References:  4.02 (9)   4.02.01 (0)   4.09 (3)  
@@ -1563,15 +1563,15 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-15
     RM References:  3.03 (23/3)   5.05 (8)   5.05 (9/5)   5.05 (9.1/5)   5.05.03 (20/5)   9.10.01 (8/5)   D.02.01 (1.5/2)  
 
-AI12-0295-1/01   2018-11-29 --  User-defined string literals
+AI12-0295-1/02   2019-02-22 --  User-defined string literals
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-29
-    RM References:  4.02 (6)   4.02 (10)   4.02 (11)   3.06.03 (1)   4.02.01 (6/5)   4.02.01 (7/5)   4.02.01 (9/5)   4.09 (26)  
+    RM References:  4.02 (6)   4.02 (10)   4.02 (11)   3.06.03 (1)   4.02.01 (0)   4.09 (26/3)  
 
-AI12-0296-1/01   2018-11-29 --  User-defined character and null literals
+AI12-0296-1/02   2019-02-22 --  User-defined character and null literals
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Hold          7-0-0  18-10-23
-    RM References:  4.02 (3)   4.02 (5)   4.02 (9/5)   3.05.02 (1)   4.02.01 (6/5)   4.02.01 (7/5)   4.02.01 (9/5)  
+    RM References:  4.02 (3)   4.02 (5)   4.02 (9/5)   3.05.02 (1)   4.02.01 (0)  
 
 AI12-0297-1/01   2018-12-06 --  Defaults for generic formal packages and formal "in out" objects
     Priority: Medium               Difficulty: Medium
@@ -1643,17 +1643,17 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-11
     RM References:  6.01.02 (10/5)  
 
-AI12-0311-1/01   2019-02-06 --  Suppressing client-side assertions for language-defined units
+AI12-0311-1/02   2019-02-21 --  Suppressing client-side assertions for language-defined units
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     19-02-06
     RM References:  11.04.02 (23.5/5)   11.05 (23)   11.05 (26)  
 
-AI12-0312-1/00   2019-02-07 --  Examples for Ada 2020
+AI12-0312-1/01   2019-02-22 --  Examples for Ada 2020
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Work Item     19-02-07
     RM References:  5.05.02 (2/3)  
 
-AI12-0313-1/00   2019-02-07 --  Introduction for Ada 2020
+AI12-0313-1/01   2019-02-22 --  Introduction for Ada 2020
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Work Item     19-02-07
     RM References: 
@@ -1667,4 +1667,24 @@
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-14
     RM References:  4.10 (0)  
+
+AI12-0316-1/01   2019-02-22 --  Preconditions for checking Task_Ids
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-02-22
+    RM References:  C.07.01 (4/3)   D.02.06 (9/5)   D.02.06 (29/2)   D.05.01 (4)   D.05.01 (5)   D.05.01 (9)   D.11 (3/5)   D.11 (9)   D.14 (5/2)   D.14 (17/2)  
+
+AI12-0317-1/04   2019-02-24 --  Simplifying the rules for newly constructed objects
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-02-22
+    RM References:  3.10.02 (16.1/5)   4.03.02 (5.1/5)   4.03.02 (5.2/5)   4.03.02 (5.3/5)   4.03.02 (5.4/5)   4.03.02 (5.5/5)   4.04 (9)   4.05.09 (6/5)   6.02 (10/5)   7.05 (2.1/5)  
+
+AI12-0318-1/01   2019-02-22 --  No_IO should exclude Ada.Directories
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     19-02-22
+    RM References:  H.04 (20/2)   13.11.04 (21/3)   13.11.04 (31/3)  
+
+AI12-0319-1/01   2019-02-22 --  Nonblocking for Unchecked_Deallocation is wrong
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-02-22
+    RM References:  13.11.02 (3/5)  
 

Questions? Ask the ACAA Technical Agent