|
Plan for next version of International Ada Standard
|
|
67
|
1014
|
October 25, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
3
|
422
|
October 22, 2025
|
|
A Throway Protocol Server in Ada
|
|
1
|
175
|
October 22, 2025
|
|
Cannot build on Fedora 41 with Alire
|
|
2
|
172
|
October 20, 2025
|
|
Alire on Apple-Silicon
|
|
4
|
174
|
October 20, 2025
|
|
Automatic styling of Ada code?
|
|
10
|
346
|
October 18, 2025
|
|
How to use gnuplot from an Ada program?
|
|
6
|
179
|
October 17, 2025
|
|
How to determine the length of a String returned by the To_String function of the GNAT Big_Integer package?
|
|
14
|
231
|
October 16, 2025
|
|
Error during Building ADA compiler
|
|
6
|
203
|
October 13, 2025
|
|
Reserved fields in svd2ada mapping
|
|
2
|
79
|
October 12, 2025
|
|
WG9 seeks Editor for "Guide for Use of Ada in High Integrity Systems" (TR 15942 technical report)
|
|
1
|
149
|
October 11, 2025
|
|
Ada in Windows On ARM
|
|
2
|
98
|
October 8, 2025
|
|
ANN: VSS has been split into two libraries and main repo is now archived
|
|
2
|
122
|
October 5, 2025
|
|
Gnat-temp-000001.tmp
|
|
1
|
97
|
October 5, 2025
|
|
Behavior of Index with null character mapping function?
|
|
4
|
113
|
October 4, 2025
|
|
Old but cool: Ada mapping to CORBA
|
|
5
|
260
|
October 3, 2025
|
|
How to put overloaded functions in separate files?
|
|
4
|
118
|
October 3, 2025
|
|
How to update the Alire Crate Status page?
|
|
4
|
211
|
October 2, 2025
|
|
GNAT FSF weekly snapshots
|
|
4
|
127
|
October 2, 2025
|
|
Using both cores of RP2040
|
|
25
|
405
|
October 1, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 15.7.1 (Sequoia), x86
|
|
1
|
98
|
September 30, 2025
|
|
Default_Component_Value with subtype?
|
|
8
|
164
|
September 30, 2025
|
|
`gprbuild` and dependents (Alire) marked for autoremoval in Debian
|
|
0
|
82
|
September 28, 2025
|
|
Login to Linux using PAM
|
|
0
|
77
|
September 28, 2025
|
|
SPARK - disabling check after proofs are OK
|
|
4
|
147
|
September 27, 2025
|
|
Cryptic alire error message
|
|
2
|
88
|
September 27, 2025
|
|
First Alire steps - where the heck is the source code?
|
|
3
|
163
|
September 24, 2025
|
|
What is the ideal way to configure alire/gprbuild?
|
|
5
|
208
|
September 24, 2025
|
|
Ada for xtensa esp32 (LX6/LX7) [DRAFT!]
|
|
6
|
458
|
September 22, 2025
|
|
Question about "error: multiple use clauses cause hiding"
|
|
6
|
89
|
September 20, 2025
|