|
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
|
97
|
October 8, 2025
|
|
Searching a good Embedded Development Setup
|
|
2
|
151
|
October 8, 2025
|
|
ANN: VSS has been split into two libraries and main repo is now archived
|
|
2
|
121
|
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
|
|
Ada on the PYPL index
|
|
18
|
1277
|
October 3, 2025
|
|
Old but cool: Ada mapping to CORBA
|
|
5
|
259
|
October 3, 2025
|
|
How to put overloaded functions in separate files?
|
|
4
|
117
|
October 3, 2025
|
|
How to update the Alire Crate Status page?
|
|
4
|
210
|
October 2, 2025
|
|
GNAT FSF weekly snapshots
|
|
4
|
125
|
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
|
93
|
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
|
206
|
September 24, 2025
|
|
Ada for xtensa esp32 (LX6/LX7) [DRAFT!]
|
|
6
|
456
|
September 22, 2025
|
|
Question about "error: multiple use clauses cause hiding"
|
|
6
|
88
|
September 20, 2025
|
|
Discriminated record constant trick
|
|
7
|
151
|
September 20, 2025
|
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
50
|
1526
|
September 19, 2025
|
|
Does 'Reduce always return an Integer type rather than the base element?
|
|
4
|
93
|
September 18, 2025
|
|
Type conversion is non-static expression?
|
|
9
|
110
|
September 18, 2025
|
|
Scalar object 'Valid attribute
|
|
10
|
212
|
September 18, 2025
|
|
Fun with half-precision floats, loops, vectorization-SIMD and shortcomings
|
|
2
|
125
|
September 17, 2025
|
|
Postconditions for input values
|
|
8
|
209
|
September 16, 2025
|