|
SPARK and Indefinite_Holders
|
|
6
|
80
|
February 25, 2025
|
|
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
|
|
1
|
86
|
February 13, 2025
|
|
SPARK compiler (etc) for MacOS on Apple Silicon? I don't see gnatprove etc
|
|
2
|
60
|
February 9, 2025
|
|
[GSoC 2025] Ada's participation?
|
|
20
|
630
|
February 9, 2025
|
|
SPARK and Width/Image attributes
|
|
1
|
66
|
January 25, 2025
|
|
[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025
|
|
23
|
396
|
January 16, 2025
|
|
Advent of Code 2024
|
|
166
|
1472
|
January 15, 2025
|
|
Gnatprove: ignore dependencies
|
|
9
|
129
|
January 7, 2025
|
|
Where is Sparklib?
|
|
14
|
693
|
December 31, 2024
|
|
After cormick's book on spark
|
|
1
|
83
|
December 14, 2024
|
|
Learning about SPARK dependency contracts
|
|
15
|
216
|
December 12, 2024
|
|
SPARK: Question about upper bound of count variable in loop
|
|
9
|
390
|
December 6, 2024
|
|
Gnatprove question about overflow check (lower bound might fail)
|
|
2
|
51
|
December 4, 2024
|
|
Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
|
|
1
|
244
|
October 5, 2024
|
|
Comparing the development costs and other benefits of Ada or SPARK vs other languages
|
|
6
|
857
|
September 10, 2024
|
|
How does `gnatprove --flow-debug` use graphviz?
|
|
3
|
61
|
August 11, 2024
|
|
"Search for Ada/SPARK on the Web" revived
|
|
5
|
131
|
July 26, 2024
|
|
Muen version 1.1
|
|
1
|
272
|
April 12, 2024
|
|
Podcast suggestions
|
|
2
|
193
|
April 7, 2024
|
|
Ada/SPARK Industrial Automation?
|
|
11
|
475
|
January 22, 2024
|
|
[Charity] Advent of Ada/SPARK 2023 Submissions
|
|
128
|
2096
|
January 4, 2024
|
|
Exceptional_Cases aspect
|
|
1
|
222
|
December 19, 2023
|
|
Volatile records containing an array
|
|
1
|
229
|
December 5, 2023
|
|
Advent of Code 2023
|
|
4
|
561
|
November 27, 2023
|
|
Gnatprove detailed counterexample trace outside GNAT Studio?
|
|
1
|
285
|
November 20, 2023
|
|
Spark with a private global log store
|
|
2
|
232
|
November 8, 2023
|
|
SPARK Proof [title padded to meet minimum length requirement]
|
|
2
|
718
|
October 17, 2023
|
|
Two SPARK questions
|
|
9
|
575
|
August 25, 2023
|
|
Announcing Ada binding to the wolfSSL library
|
|
0
|
343
|
August 3, 2023
|
|
SparkRC (Reusable Components)
|
|
0
|
323
|
August 1, 2023
|