Welcome to the Ada forum
|
|
9
|
1862
|
June 16, 2024
|
Is there an Ada badge like the Alire one?
|
|
35
|
409
|
May 21, 2025
|
Implementation of generic units in Ada 83
|
|
27
|
373
|
May 21, 2025
|
Ada environment
|
|
13
|
138
|
May 20, 2025
|
Are Spark pre condition results usually warnings?
|
|
7
|
95
|
May 20, 2025
|
Ada 2022 and Docker
|
|
6
|
62
|
May 20, 2025
|
Ada Continues To Climb In May TIOBE Index
|
|
14
|
221
|
May 20, 2025
|
Ravenscar profile/tasking on RP2040
|
|
9
|
465
|
May 19, 2025
|
Where is the embedded_components crate so I can update to HAL 1.0.0?
|
|
2
|
57
|
May 19, 2025
|
Does Ada have a property-based testing framework (à la QuickCheck)?
|
|
4
|
66
|
May 19, 2025
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
43
|
795
|
May 19, 2025
|
Interesting bug. Not sure if it makes sense to report (practically)
|
|
6
|
90
|
May 19, 2025
|
Discussions about open source Ada compilers
|
|
45
|
538
|
May 19, 2025
|
Books by Prof. Burns and Prof. Wellings
|
|
5
|
118
|
May 18, 2025
|
Converting an integer value to Universal_Integer
|
|
6
|
60
|
May 17, 2025
|
How to Program a Canvas (Scrollbars, Zoom, Scrolled Window, Scale, ...)
|
|
0
|
54
|
May 17, 2025
|
What is the largest Positive number supported by Simple Components and PragmArc?
|
|
3
|
55
|
May 17, 2025
|
Alire: how to find the spec files of imported libraries
|
|
12
|
208
|
May 16, 2025
|
Looking for some historical information
|
|
0
|
66
|
May 15, 2025
|
Alire insists on downloading toolchains: toolchain.dir set, toolchains already present
|
|
4
|
162
|
May 13, 2025
|
AWS.Client security advisory
|
|
7
|
204
|
May 13, 2025
|
Stopping and starting tasks in Ravenscar
|
|
6
|
148
|
May 12, 2025
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
92
|
627
|
May 8, 2025
|
Problem building crate with libadalang
|
|
10
|
232
|
May 7, 2025
|
Plan for next version of International Ada Standard
|
|
66
|
698
|
May 7, 2025
|
How to use generalized finalization?
|
|
9
|
158
|
May 5, 2025
|
How to do vararg in GNAT Ada
|
|
2
|
97
|
May 4, 2025
|
Timeout bug in GNAT.Serial_Communications
|
|
9
|
110
|
May 2, 2025
|
Alire on native ARM hosts?
|
|
36
|
633
|
April 29, 2025
|
[Help] how to configure develop environment with alire?
|
|
4
|
83
|
April 29, 2025
|