Two SPARK questions
|
|
9
|
458
|
August 25, 2023
|
HAC for native targets - blog post
|
|
7
|
351
|
August 22, 2023
|
Basic computer games: rewrite in Ada?
|
|
16
|
543
|
August 13, 2023
|
Using GNAT Studio with WSL 2
|
|
0
|
260
|
August 11, 2023
|
SweetAda on NEORV32
|
|
2
|
383
|
August 10, 2023
|
GNAT FSF 13 available in Alire [preview]
|
|
0
|
420
|
August 10, 2023
|
Exercism Ada Track
|
|
5
|
506
|
August 7, 2023
|
Gnatdoc and generic package parameters
|
|
6
|
326
|
July 27, 2023
|
[SOLVED] How do i add constraints/contracts to a generic parameter?
|
|
5
|
951
|
July 22, 2023
|
Questions about concurrency with Ghost data in SPARK
|
|
3
|
384
|
July 14, 2023
|
GNAT Pro Roadmap
|
|
5
|
527
|
July 13, 2023
|
"Unmatched actual" in instantiation of a generic package
|
|
1
|
370
|
July 12, 2023
|
Starting Ada - It has to work
|
|
47
|
2130
|
July 8, 2023
|
Ada on the PYPL index
|
|
0
|
333
|
July 1, 2023
|
Using AWS with Alire and SSL
|
|
2
|
379
|
June 26, 2023
|
Ada-based applications in Android?
|
|
7
|
543
|
June 19, 2023
|
Ada 2022 Language Standard to be Published by Springer
|
|
4
|
465
|
June 14, 2023
|
How are you using Ada, and how would you like to use Ada?
|
|
31
|
1017
|
October 22, 2022
|
Alire: error: Configuration variable 'cortex_m.core not set and has no default value
|
|
1
|
269
|
June 2, 2023
|
ST-Link vs openocd
|
|
0
|
341
|
June 2, 2023
|
Buffered Streams
|
|
5
|
418
|
May 26, 2023
|
New project: Alice
|
|
2
|
519
|
May 26, 2023
|
Wikipedia articles about GNAT
|
|
1
|
356
|
May 25, 2023
|
Combine .ads and .adb to one .ada file
|
|
34
|
1838
|
May 23, 2023
|
Machine learning in Ada (an ONNX runtime binding)
|
|
4
|
842
|
May 9, 2023
|
Running Ada in the browser
|
|
6
|
504
|
May 1, 2023
|
Unicode strings
|
|
16
|
982
|
April 28, 2023
|
VSS.JSON vs GNATCOLL.JSON
|
|
4
|
501
|
April 23, 2023
|
How to best import a menu from a glade file and then connect signals to them?
|
|
1
|
368
|
April 22, 2023
|
Cannot properly modify memory in GNAT Studio Debug session?
|
|
2
|
271
|
April 20, 2023
|