Questions about concurrency with Ghost data in SPARK
|
|
3
|
219
|
July 14, 2023
|
GNAT Pro Roadmap
|
|
5
|
307
|
July 13, 2023
|
"Unmatched actual" in instantiation of a generic package
|
|
1
|
178
|
July 12, 2023
|
A good Ada cheatsheet?
|
|
4
|
333
|
July 8, 2023
|
Starting Ada - It has to work
|
|
47
|
1323
|
July 8, 2023
|
Ada on the PYPL index
|
|
0
|
208
|
July 1, 2023
|
Ada/SPARK support for Emacs org-babel
|
|
0
|
421
|
November 16, 2022
|
We need forum topics
|
|
2
|
324
|
June 28, 2023
|
Upcoming Ada-Related Conferences and Workshops
|
|
0
|
233
|
October 4, 2022
|
Gnu Emacs Ada mode 8.0 beta released
|
|
0
|
287
|
November 9, 2022
|
New release of vscode extension For Ada 23.0.14
|
|
0
|
307
|
February 21, 2023
|
Seer - a gui frontend to gdb
|
|
0
|
322
|
April 7, 2023
|
GCC 13.1.0 for Apple silicon
|
|
0
|
240
|
May 17, 2023
|
GWindows release, 29-May-2023
|
|
0
|
215
|
May 29, 2023
|
GAP Workshop 2023 (June 21st)
|
|
1
|
200
|
June 28, 2023
|
AEiC 2023 - 27th Ada-Europe Int'l Conference on Reliable Software Technologies
|
|
0
|
129
|
June 9, 2023
|
Using AWS with Alire and SSL
|
|
2
|
189
|
June 26, 2023
|
Ada-based applications in Android?
|
|
7
|
342
|
June 19, 2023
|
Ada 2022 Language Standard to be Published by Springer
|
|
4
|
305
|
June 14, 2023
|
LEA v.0.87
|
|
2
|
239
|
June 8, 2023
|
How are you using Ada, and how would you like to use Ada?
|
|
31
|
778
|
October 22, 2022
|
Qplt (Quick Plot)
|
|
9
|
291
|
June 4, 2023
|
Alire: error: Configuration variable 'cortex_m.core not set and has no default value
|
|
1
|
144
|
June 2, 2023
|
ST-Link vs openocd
|
|
0
|
133
|
June 2, 2023
|
Ayacc 1.4 and Aflex 1.6
|
|
8
|
313
|
May 27, 2023
|
Buffered Streams
|
|
5
|
244
|
May 26, 2023
|
New project: Alice
|
|
2
|
301
|
May 26, 2023
|
Wikipedia articles about GNAT
|
|
1
|
204
|
May 25, 2023
|
Combine .ads and .adb to one .ada file
|
|
34
|
1234
|
May 23, 2023
|
AEiC 2023 - Ada-Europe conference - program info
|
|
1
|
203
|
May 21, 2023
|