Topics tagged spark

Topic	Replies	Views	Activity
[Charity] Advent of Ada/SPARK 2025 Submissions Advent of Code spark Hello here, On Monday, AdaCore will announce a new edition of the Advent of Ada/SPARK charity event. For each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donat…	57	436	December 7, 2025
Ada/SPARK, marketing, reach and the abysmal state of things General spark , ada	5	54	December 7, 2025
Comparing the development costs and other benefits of Ada or SPARK vs other languages General ada , spark	24	1483	December 6, 2025
CoAP-SPARK version 0.10.0 has been published Releases spark , iot	0	60	December 2, 2025
Is SPARK in ADA a theorem prover? General spark , ada	12	226	December 2, 2025
SPARK: Validate Float Type Implementation General spark	9	130	December 1, 2025
SPARK formal containers -- cannot prove X < Y General spark	1	114	November 24, 2025
Using SPARK (gnatprove) with preconditions General spark	1	81	November 17, 2025
Warning: pragma Overflow_Mode in code is ignored General spark	2	112	November 16, 2025
[ANN] aarch64_bare_metal_ada: A library crate for developing bare-metal embedded software in Ada for 64-bit ARM Platforms Releases bare-board , spark	2	106	October 30, 2025
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff? General ada , spark	27	401	October 26, 2025
NVIDIA publishes SPARK Process to meet ISO-26262 requirements General spark	3	421	October 22, 2025
SPARK - disabling check after proofs are OK General spark	4	147	September 27, 2025
Why I plan to use SPARK everywhere General spark	23	289	September 6, 2025
Put_Image aspect and Spark General spark	11	194	August 19, 2025
SPARK initialization by flow call graph General spark	1	87	August 12, 2025
New `finally` keyword in GCC 15.1 General spark	5	279	August 3, 2025
Ada version of curl? General spark	6	217	July 18, 2025
[AdaCore Webinar] Introduction to Formal Verification with SPARK General spark	0	89	July 14, 2025
Fully specifying packages General spark , ada	5	235	June 22, 2025
Why is Always_Terminates not transitive for access to subprograms? General spark	3	142	June 16, 2025
SPARK Verified Postfix Expression Calculator General spark	7	266	June 15, 2025
Article: NVIDIA drives Ada and SPARK into driverless cars General spark	0	354	June 6, 2025
Assigning to Array Index Doesn't Guarantee Equality Check in Spark General spark	5	152	June 3, 2025
New 0.7.0 Release of Ironclad kernel Releases ada , spark , embedded	0	111	May 31, 2025
A New SPARK Webinar In June from AdaCore Events spark	0	83	May 31, 2025
Help making SPARK-compatible function that mutates arguments and returns variant record General spark	12	292	May 30, 2025
CoAP-SPARK 0.9.0 released Releases spark , alire	2	104	May 21, 2025
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK? General spark , ada	92	954	May 8, 2025
Importing C with Spark General spark	3	127	April 24, 2025

[Charity] Advent of Ada/SPARK 2025 Submissions

spark

Hello here, On Monday, AdaCore will announce a new edition of the Advent of Ada/SPARK charity event. For each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donat…