Welcome to the Ada forum
|
|
9
|
1845
|
June 16, 2024
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
92
|
542
|
May 8, 2025
|
Alire insists on downloading toolchains: toolchain.dir set, toolchains already present
|
|
2
|
89
|
May 8, 2025
|
Alire: how to find the spec files of imported libraries
|
|
7
|
71
|
May 8, 2025
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
33
|
559
|
May 7, 2025
|
Problem building crate with libadalang
|
|
10
|
224
|
May 7, 2025
|
Stopping and starting tasks in Ravenscar
|
|
1
|
67
|
May 7, 2025
|
Plan for next version of International Ada Standard
|
|
66
|
651
|
May 7, 2025
|
How to use generalized finalization?
|
|
9
|
147
|
May 5, 2025
|
How to do vararg in GNAT Ada
|
|
2
|
86
|
May 4, 2025
|
Timeout bug in GNAT.Serial_Communications
|
|
9
|
107
|
May 2, 2025
|
Alire on native ARM hosts?
|
|
36
|
620
|
April 29, 2025
|
[Help] how to configure develop environment with alire?
|
|
4
|
78
|
April 29, 2025
|
[Job] Software Engineer - GNAT, GDB, and Linux
|
|
0
|
94
|
April 26, 2025
|
Importing C with Spark
|
|
3
|
93
|
April 24, 2025
|
Atomic increment benchmarks
|
|
4
|
178
|
April 24, 2025
|
Is there an Ada badge like the Alire one?
|
|
26
|
345
|
April 23, 2025
|
Parallel for-loops in Ada
|
|
11
|
333
|
April 23, 2025
|
Implementation of generic units in Ada 83
|
|
20
|
266
|
April 23, 2025
|
Generalized private extension ("is record with private")
|
|
18
|
200
|
April 22, 2025
|
Ada advocacy opportunity!
|
|
1
|
158
|
April 17, 2025
|
Put_Image aspect and Spark
|
|
0
|
52
|
April 17, 2025
|
Initializing an array of Strings
|
|
34
|
555
|
April 17, 2025
|
USB Serial on rp2040
|
|
7
|
120
|
April 15, 2025
|
Building Gtkada on Windows 11 gives errors/warnings on misc.c
|
|
26
|
159
|
April 15, 2025
|
Is this an Ada gotcha?
|
|
15
|
338
|
April 13, 2025
|
SweetAda just started to implement some of its LibC in Ada
|
|
0
|
121
|
April 13, 2025
|
Standard procedure to upgrade my Alire toolchain?
|
|
2
|
104
|
April 13, 2025
|
GitHub-hosted Ada Reference Manual
|
|
5
|
156
|
April 11, 2025
|
Questions about Alire install on Windows11
|
|
1
|
38
|
April 9, 2025
|