|
Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
|
|
0
|
81
|
October 3, 2024
|
|
Comparing the development costs and other benefits of Ada or SPARK vs other languages
|
|
6
|
758
|
September 10, 2024
|
|
Learning about SPARK dependency contracts
|
|
5
|
112
|
August 11, 2024
|
|
How does `gnatprove --flow-debug` use graphviz?
|
|
3
|
48
|
August 11, 2024
|
|
"Search for Ada/SPARK on the Web" revived
|
|
5
|
122
|
July 26, 2024
|
|
SPARK: Question about upper bound of count variable in loop
|
|
6
|
285
|
June 17, 2024
|
|
Muen version 1.1
|
|
1
|
250
|
April 12, 2024
|
|
Podcast suggestions
|
|
2
|
187
|
April 7, 2024
|
|
Ada/SPARK Industrial Automation?
|
|
11
|
457
|
January 22, 2024
|
|
[Charity] Advent of Ada/SPARK 2023 Submissions
|
|
128
|
2061
|
January 4, 2024
|
|
Exceptional_Cases aspect
|
|
1
|
216
|
December 19, 2023
|
|
Volatile records containing an array
|
|
1
|
221
|
December 5, 2023
|
|
Advent of Code 2023
|
|
4
|
538
|
November 27, 2023
|
|
Gnatprove detailed counterexample trace outside GNAT Studio?
|
|
1
|
276
|
November 20, 2023
|
|
Spark with a private global log store
|
|
2
|
231
|
November 8, 2023
|
|
SPARK Proof [title padded to meet minimum length requirement]
|
|
2
|
715
|
October 17, 2023
|
|
Two SPARK questions
|
|
9
|
563
|
August 25, 2023
|
|
Announcing Ada binding to the wolfSSL library
|
|
0
|
340
|
August 3, 2023
|
|
SparkRC (Reusable Components)
|
|
0
|
321
|
August 1, 2023
|
|
[SOLVED] How do i add constraints/contracts to a generic parameter?
|
|
5
|
1030
|
July 22, 2023
|
|
Questions about concurrency with Ghost data in SPARK
|
|
3
|
445
|
July 14, 2023
|
|
"Unmatched actual" in instantiation of a generic package
|
|
1
|
460
|
July 12, 2023
|
|
Ada/SPARK support for Emacs org-babel
|
|
0
|
607
|
November 16, 2022
|
|
Who exstinguished Alire's SPARK? ;-)
|
|
4
|
744
|
March 2, 2023
|
|
SPARK vs codepeer with regard to volatility
|
|
4
|
589
|
February 19, 2023
|
|
Where is Sparklib?
|
|
2
|
474
|
December 6, 2022
|
|
Gnat Studio, SPARK and -XMODE
|
|
1
|
412
|
December 5, 2022
|
|
SPARK: Discharge verification conditions (VC) with Coq?
|
|
3
|
490
|
October 15, 2022
|
|
Spark SVD warnings
|
|
1
|
403
|
October 6, 2022
|