|
Reserved fields in svd2ada mapping
|
|
2
|
84
|
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
|
99
|
October 8, 2025
|
|
ANN: VSS has been split into two libraries and main repo is now archived
|
|
2
|
126
|
October 5, 2025
|
|
Gnat-temp-000001.tmp
|
|
1
|
97
|
October 5, 2025
|
|
Behavior of Index with null character mapping function?
|
|
4
|
115
|
October 4, 2025
|
|
Old but cool: Ada mapping to CORBA
|
|
5
|
264
|
October 3, 2025
|
|
How to put overloaded functions in separate files?
|
|
4
|
119
|
October 3, 2025
|
|
How to update the Alire Crate Status page?
|
|
4
|
213
|
October 2, 2025
|
|
GNAT FSF weekly snapshots
|
|
4
|
127
|
October 2, 2025
|
|
Using both cores of RP2040
|
|
25
|
421
|
October 1, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 15.7.1 (Sequoia), x86
|
|
1
|
111
|
September 30, 2025
|
|
Default_Component_Value with subtype?
|
|
8
|
166
|
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
|
150
|
September 27, 2025
|
|
Cryptic alire error message
|
|
2
|
88
|
September 27, 2025
|
|
First Alire steps - where the heck is the source code?
|
|
3
|
165
|
September 24, 2025
|
|
What is the ideal way to configure alire/gprbuild?
|
|
5
|
214
|
September 24, 2025
|
|
Ada for xtensa esp32 (LX6/LX7) [DRAFT!]
|
|
6
|
466
|
September 22, 2025
|
|
Question about "error: multiple use clauses cause hiding"
|
|
6
|
93
|
September 20, 2025
|
|
Discriminated record constant trick
|
|
7
|
152
|
September 20, 2025
|
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
50
|
1554
|
September 19, 2025
|
|
Does 'Reduce always return an Integer type rather than the base element?
|
|
4
|
94
|
September 18, 2025
|
|
Type conversion is non-static expression?
|
|
9
|
110
|
September 18, 2025
|
|
Scalar object 'Valid attribute
|
|
10
|
215
|
September 18, 2025
|
|
Fun with half-precision floats, loops, vectorization-SIMD and shortcomings
|
|
2
|
129
|
September 17, 2025
|
|
Postconditions for input values
|
|
8
|
213
|
September 16, 2025
|
|
ADL in Alire project
|
|
2
|
142
|
September 12, 2025
|
|
GNAT.Sockets.Receive_Socket vs. String'Input (Channel)?
|
|
1
|
113
|
September 12, 2025
|