|
How to update the Alire Crate Status page?
|
|
4
|
191
|
October 2, 2025
|
|
GNAT FSF weekly snapshots
|
|
4
|
107
|
October 2, 2025
|
|
Using both cores of RP2040
|
|
25
|
350
|
October 1, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64
|
|
23
|
500
|
September 30, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 15.7.1 (Sequoia), x86
|
|
1
|
70
|
September 30, 2025
|
|
Default_Component_Value with subtype?
|
|
8
|
150
|
September 30, 2025
|
|
`gprbuild` and dependents (Alire) marked for autoremoval in Debian
|
|
0
|
74
|
September 28, 2025
|
|
Login to Linux using PAM
|
|
0
|
67
|
September 28, 2025
|
|
SPARK - disabling check after proofs are OK
|
|
4
|
127
|
September 27, 2025
|
|
Cryptic alire error message
|
|
2
|
64
|
September 27, 2025
|
|
First Alire steps - where the heck is the source code?
|
|
3
|
149
|
September 24, 2025
|
|
What is the ideal way to configure alire/gprbuild?
|
|
5
|
191
|
September 24, 2025
|
|
Ada for xtensa esp32 (LX6/LX7) [DRAFT!]
|
|
6
|
418
|
September 22, 2025
|
|
Configure toolchain per project in Alire
|
|
4
|
76
|
September 20, 2025
|
|
Question about "error: multiple use clauses cause hiding"
|
|
6
|
78
|
September 20, 2025
|
|
Discriminated record constant trick
|
|
7
|
141
|
September 20, 2025
|
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
50
|
1462
|
September 19, 2025
|
|
Does 'Reduce always return an Integer type rather than the base element?
|
|
4
|
84
|
September 18, 2025
|
|
Type conversion is non-static expression?
|
|
9
|
96
|
September 18, 2025
|
|
Scalar object 'Valid attribute
|
|
10
|
193
|
September 18, 2025
|
|
Fun with half-precision floats, loops, vectorization-SIMD and shortcomings
|
|
2
|
112
|
September 17, 2025
|
|
Postconditions for input values
|
|
8
|
184
|
September 16, 2025
|
|
ADL in Alire project
|
|
2
|
127
|
September 12, 2025
|
|
GNAT.Sockets.Receive_Socket vs. String'Input (Channel)?
|
|
1
|
88
|
September 12, 2025
|
|
Why do you keep using Ada?
|
|
14
|
531
|
September 12, 2025
|
|
Demo of 'Arcana' game written Ada
|
|
2
|
131
|
September 11, 2025
|
|
Be careful about using AI directly with production code
|
|
1
|
143
|
September 10, 2025
|
|
SI Units poll - Who uses SI units in operational software? Experiences
|
|
0
|
64
|
September 10, 2025
|
|
GNAT Studio with remote development?
|
|
3
|
98
|
September 9, 2025
|
|
SI Units - Checked and Unchecked
|
|
2
|
80
|
September 9, 2025
|