CVS difference for ai12s/ai12-summary.txt
--- ai12s/ai12-summary.txt 2020/02/20 05:16:12 1.131
+++ ai12s/ai12-summary.txt 2020/03/10 05:16:16 1.132
@@ -417,7 +417,7 @@
RM References: 6.01.02 (0)
Alternatives: AI12-0079-1 AI12-0079-3
-AI12-0079-3/02 2020-02-13 -- Global-in and global-out annotations
+AI12-0079-3/03 2020-03-02 -- Global-in and global-out annotations
Priority: High Difficulty: Hard
Class: Amendment Status: Work Item 19-10-05
RM References: 6.01.02 (0)
@@ -1531,7 +1531,7 @@
Class: Amendment Status: Amendment 1 for Ada 2012 19-02-26
RM References: D.16 (7/3) D.16 (10/3) D.16 (11/3) D.16 (14/3) J.05.09 (4/3) J.05.09 (6/3)
-AI12-0282-1/03 2019-03-08 -- Atomic, Volatile, and Independent generic formal types
+AI12-0282-1/04 2020-03-04 -- Atomic, Volatile, and Independent generic formal types
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2012 19-03-11
RM References: C.06 (6.1/3) C.06 (6.3/3) C.06 (6.5/3) C.06 (6.8/3) C.06 (12/3) C.06 (12.1/3)
@@ -1925,7 +1925,7 @@
Class: Amendment Status: Hold 20-01-29
RM References: 5.05.04 (0)
-AI12-0358-1/01 2015-06-03 -- Returnable attribute
+AI12-0358-1/01 2020-01-29 -- Returnable attribute
Priority: Very Low Difficulty: Easy
Class: Amendment Status: Hold 20-01-29
RM References: 6.05 (5.11/5)
@@ -1935,9 +1935,9 @@
Class: Ramification Status: Work Item 20-02-04
RM References: E.01 (5) E.02.01 (11) E.04 (1)
-AI12-0360-1/01 2015-06-03 -- Procedural iterators for generic procedures
+AI12-0360-1/01 2020-02-04 -- Procedural iterators for generic procedures
Priority: Low Difficulty: Medium
- Class: Amendment Status: Hold 20-02-04
+ Class: Amendment Status: Work Item 20-02-04
RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3)
AI12-0361-1/01 2020-02-05 -- Ada.Streams.Storage packages are still useful
@@ -1969,4 +1969,34 @@
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 20-02-10
RM References: A.05.06 (0) A.05.07 (0)
+
+AI12-0367-1/01 2020-03-04 -- Glitches in aspect specifications
+ Priority: Low Difficulty: Easy
+ Class: Binding Interpretation Status: Work Item 20-03-04
+ RM References: 3.05.09 (8/2) 3.05.10 (2/1) 13.01 (9.1/5) 13.14 (10)
+
+AI12-0368-1/02 2020-03-09 -- Declare expressions can be static
+ Priority: Low Difficulty: Easy
+ Class: Amendment Status: Work Item 20-03-05
+ RM References: 4.09 (8) 4.09 (12.1/3) 4.09 (17) 6.01.01 (24.2/5) 6.01.01 (24.3/5) 6.01.01 (24.4/5) 6.01.01 (24.5/5) C.04 (9)
+
+AI12-0369-1/01 2020-03-06 -- Relaxing barrier restrictions
+ Priority: Low Difficulty: Easy
+ Class: Amendment Status: Work Item 20-03-06
+ RM References: D.07 (1.3/5) D.07 (10.12/5)
+
+AI12-0370-1/01 2020-03-06 -- Pattern to use for specifying a precondition
+ Priority: Low Difficulty: Easy
+ Class: Presentation Status: Work Item 20-03-06
+ RM References: A.18.03 (16.1/5)
+
+AI12-0371-1/01 2020-03-06 -- Fix-ups for aspects in generic formal parts
+ Priority: Low Difficulty: Easy
+ Class: Amendment Status: Work Item 20-03-06
+ RM References: 3.10.02 (8) 6.01.01 (40/5) 12.01 (9)
+
+AI12-0372-1/01 2020-03-09 -- Static accessibility of "master of the call"
+ Priority: Low Difficulty: Easy
+ Class: Binding Interpretation Status: Work Item 20-03-09
+ RM References: 3.10.02 (19.3/4) 6.04.01 (6.4/3)
Questions? Ask the ACAA Technical Agent