|
Using SPARK (gnatprove) with preconditions
|
|
1
|
94
|
November 17, 2025
|
|
Warning: pragma Overflow_Mode in code is ignored
|
|
2
|
130
|
November 16, 2025
|
|
[ANN] aarch64_bare_metal_ada: A library crate for developing bare-metal embedded software in Ada for 64-bit ARM Platforms
|
|
2
|
137
|
October 30, 2025
|
|
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff?
|
|
27
|
497
|
October 26, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
3
|
452
|
October 22, 2025
|
|
SPARK - disabling check after proofs are OK
|
|
4
|
163
|
September 27, 2025
|
|
Why I plan to use SPARK everywhere
|
|
23
|
353
|
September 6, 2025
|
|
Put_Image aspect and Spark
|
|
11
|
219
|
August 19, 2025
|
|
SPARK initialization by flow call graph
|
|
1
|
98
|
August 12, 2025
|
|
New `finally` keyword in GCC 15.1
|
|
5
|
295
|
August 3, 2025
|
|
Ada version of curl?
|
|
6
|
238
|
July 18, 2025
|
|
[AdaCore Webinar] Introduction to Formal Verification with SPARK
|
|
0
|
101
|
July 14, 2025
|
|
Fully specifying packages
|
|
5
|
249
|
June 22, 2025
|
|
Why is Always_Terminates not transitive for access to subprograms?
|
|
3
|
170
|
June 16, 2025
|
|
Article: NVIDIA drives Ada and SPARK into driverless cars
|
|
0
|
378
|
June 6, 2025
|
|
Assigning to Array Index Doesn't Guarantee Equality Check in Spark
|
|
5
|
165
|
June 3, 2025
|
|
New 0.7.0 Release of Ironclad kernel
|
|
0
|
116
|
May 31, 2025
|
|
A New SPARK Webinar In June from AdaCore
|
|
0
|
93
|
May 31, 2025
|
|
Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
12
|
321
|
May 30, 2025
|
|
CoAP-SPARK 0.9.0 released
|
|
2
|
118
|
May 21, 2025
|
|
Importing C with Spark
|
|
3
|
139
|
April 24, 2025
|
|
Ada Mars Rover demo
|
|
0
|
142
|
March 22, 2025
|
|
SPARK and Indefinite_Holders
|
|
6
|
182
|
February 25, 2025
|
|
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
|
|
1
|
194
|
February 13, 2025
|
|
SPARK compiler (etc) for MacOS on Apple Silicon? I don't see gnatprove etc
|
|
2
|
135
|
February 9, 2025
|
|
[GSoC 2025] Ada's participation?
|
|
20
|
799
|
February 9, 2025
|
|
SPARK and Width/Image attributes
|
|
1
|
106
|
January 25, 2025
|
|
[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025
|
|
23
|
481
|
January 16, 2025
|
|
Advent of Code 2024
|
|
166
|
2021
|
January 15, 2025
|
|
Gnatprove: ignore dependencies
|
|
9
|
201
|
January 7, 2025
|