|
CoAP-SPARK version 0.10.0 has been published
|
|
0
|
83
|
December 2, 2025
|
|
Is SPARK in ADA a theorem prover?
|
|
12
|
356
|
December 2, 2025
|
|
SPARK: Validate Float Type Implementation
|
|
9
|
204
|
December 1, 2025
|
|
SPARK formal containers -- cannot prove X < Y
|
|
1
|
135
|
November 24, 2025
|
|
Using SPARK (gnatprove) with preconditions
|
|
1
|
96
|
November 17, 2025
|
|
Warning: pragma Overflow_Mode in code is ignored
|
|
2
|
132
|
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
|
139
|
October 30, 2025
|
|
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff?
|
|
27
|
505
|
October 26, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
3
|
473
|
October 22, 2025
|
|
SPARK - disabling check after proofs are OK
|
|
4
|
170
|
September 27, 2025
|
|
Why I plan to use SPARK everywhere
|
|
23
|
373
|
September 6, 2025
|
|
Put_Image aspect and Spark
|
|
11
|
230
|
August 19, 2025
|
|
SPARK initialization by flow call graph
|
|
1
|
102
|
August 12, 2025
|
|
New `finally` keyword in GCC 15.1
|
|
5
|
311
|
August 3, 2025
|
|
Ada version of curl?
|
|
6
|
253
|
July 18, 2025
|
|
[AdaCore Webinar] Introduction to Formal Verification with SPARK
|
|
0
|
108
|
July 14, 2025
|
|
Fully specifying packages
|
|
5
|
258
|
June 22, 2025
|
|
Why is Always_Terminates not transitive for access to subprograms?
|
|
3
|
177
|
June 16, 2025
|
|
Article: NVIDIA drives Ada and SPARK into driverless cars
|
|
0
|
385
|
June 6, 2025
|
|
Assigning to Array Index Doesn't Guarantee Equality Check in Spark
|
|
5
|
172
|
June 3, 2025
|
|
New 0.7.0 Release of Ironclad kernel
|
|
0
|
119
|
May 31, 2025
|
|
A New SPARK Webinar In June from AdaCore
|
|
0
|
96
|
May 31, 2025
|
|
Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
12
|
333
|
May 30, 2025
|
|
CoAP-SPARK 0.9.0 released
|
|
2
|
122
|
May 21, 2025
|
|
Importing C with Spark
|
|
3
|
147
|
April 24, 2025
|
|
Ada Mars Rover demo
|
|
0
|
144
|
March 22, 2025
|
|
SPARK and Indefinite_Holders
|
|
6
|
187
|
February 25, 2025
|
|
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
|
|
1
|
207
|
February 13, 2025
|
|
SPARK compiler (etc) for MacOS on Apple Silicon? I don't see gnatprove etc
|
|
2
|
139
|
February 9, 2025
|
|
[GSoC 2025] Ada's participation?
|
|
20
|
804
|
February 9, 2025
|