|
New `finally` keyword in GCC 15.1
|
|
2
|
89
|
July 30, 2025
|
|
Ada version of curl?
|
|
6
|
176
|
July 18, 2025
|
|
[AdaCore Webinar] Introduction to Formal Verification with SPARK
|
|
0
|
69
|
July 14, 2025
|
|
Fully specifying packages
|
|
5
|
217
|
June 22, 2025
|
|
Why is Always_Terminates not transitive for access to subprograms?
|
|
3
|
132
|
June 16, 2025
|
|
SPARK Verified Postfix Expression Calculator
|
|
7
|
237
|
June 15, 2025
|
|
Article: NVIDIA drives Ada and SPARK into driverless cars
|
|
0
|
301
|
June 6, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
1
|
146
|
June 4, 2025
|
|
Assigning to Array Index Doesn't Guarantee Equality Check in Spark
|
|
5
|
131
|
June 3, 2025
|
|
New 0.7.0 Release of Ironclad kernel
|
|
0
|
103
|
May 31, 2025
|
|
A New SPARK Webinar In June from AdaCore
|
|
0
|
69
|
May 31, 2025
|
|
Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
12
|
241
|
May 30, 2025
|
|
CoAP-SPARK 0.9.0 released
|
|
2
|
88
|
May 21, 2025
|
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
92
|
777
|
May 8, 2025
|
|
Importing C with Spark
|
|
3
|
108
|
April 24, 2025
|
|
Put_Image aspect and Spark
|
|
0
|
57
|
April 17, 2025
|
|
Ada Mars Rover demo
|
|
0
|
109
|
March 22, 2025
|
|
SPARK and Indefinite_Holders
|
|
6
|
145
|
February 25, 2025
|
|
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
|
|
1
|
128
|
February 13, 2025
|
|
SPARK compiler (etc) for MacOS on Apple Silicon? I don't see gnatprove etc
|
|
2
|
77
|
February 9, 2025
|
|
[GSoC 2025] Ada's participation?
|
|
20
|
731
|
February 9, 2025
|
|
SPARK and Width/Image attributes
|
|
1
|
78
|
January 25, 2025
|
|
[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025
|
|
23
|
410
|
January 16, 2025
|
|
Advent of Code 2024
|
|
166
|
1554
|
January 15, 2025
|
|
Gnatprove: ignore dependencies
|
|
9
|
149
|
January 7, 2025
|
|
Where is Sparklib?
|
|
14
|
714
|
December 31, 2024
|
|
After cormick's book on spark
|
|
1
|
90
|
December 14, 2024
|
|
Learning about SPARK dependency contracts
|
|
15
|
248
|
December 12, 2024
|
|
SPARK: Question about upper bound of count variable in loop
|
|
9
|
431
|
December 6, 2024
|
|
Gnatprove question about overflow check (lower bound might fail)
|
|
2
|
68
|
December 4, 2024
|