|
SPARK - disabling check after proofs are OK
|
|
4
|
141
|
September 27, 2025
|
|
Cryptic alire error message
|
|
2
|
87
|
September 27, 2025
|
|
First Alire steps - where the heck is the source code?
|
|
3
|
158
|
September 24, 2025
|
|
What is the ideal way to configure alire/gprbuild?
|
|
5
|
205
|
September 24, 2025
|
|
Ada for xtensa esp32 (LX6/LX7) [DRAFT!]
|
|
6
|
440
|
September 22, 2025
|
|
Configure toolchain per project in Alire
|
|
4
|
98
|
September 20, 2025
|
|
Question about "error: multiple use clauses cause hiding"
|
|
6
|
86
|
September 20, 2025
|
|
Discriminated record constant trick
|
|
7
|
147
|
September 20, 2025
|
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
50
|
1509
|
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
|
105
|
September 18, 2025
|
|
Scalar object 'Valid attribute
|
|
10
|
210
|
September 18, 2025
|
|
Fun with half-precision floats, loops, vectorization-SIMD and shortcomings
|
|
2
|
122
|
September 17, 2025
|
|
Postconditions for input values
|
|
8
|
206
|
September 16, 2025
|
|
ADL in Alire project
|
|
2
|
138
|
September 12, 2025
|
|
GNAT.Sockets.Receive_Socket vs. String'Input (Channel)?
|
|
1
|
99
|
September 12, 2025
|
|
Why do you keep using Ada?
|
|
14
|
558
|
September 12, 2025
|
|
Demo of 'Arcana' game written Ada
|
|
2
|
139
|
September 11, 2025
|
|
Be careful about using AI directly with production code
|
|
1
|
154
|
September 10, 2025
|
|
SI Units poll - Who uses SI units in operational software? Experiences
|
|
0
|
72
|
September 10, 2025
|
|
GNAT Studio with remote development?
|
|
3
|
103
|
September 9, 2025
|
|
SI Units - Checked and Unchecked
|
|
2
|
81
|
September 9, 2025
|
|
GNAT compiler is confused
|
|
8
|
158
|
September 9, 2025
|
|
[about extension in vscode] how to enable real time static analysis?
|
|
1
|
81
|
September 7, 2025
|
|
How to delete a file from a GitHub branch
|
|
6
|
119
|
September 7, 2025
|
|
GtkAda & OpenGL
|
|
2
|
255
|
September 6, 2025
|
|
Why I plan to use SPARK everywhere
|
|
23
|
269
|
September 6, 2025
|
|
AWS does not handle timeout during SSL handshake
|
|
1
|
77
|
September 5, 2025
|
|
Several Ada Jobs At Raytheon
|
|
0
|
378
|
September 5, 2025
|
|
How to add unit test
|
|
5
|
157
|
September 4, 2025
|