Welcome to the Ada forum
|
|
9
|
1730
|
June 16, 2024
|
Why is gprbuild on github labelled 25.0.0?
|
|
4
|
14
|
February 15, 2025
|
Trouble interfacing with C libraries; Making thick bindings
|
|
7
|
68
|
February 15, 2025
|
Gnathtml.pl replacement
|
|
6
|
103
|
February 14, 2025
|
Unit testing framework recommendation
|
|
17
|
300
|
February 14, 2025
|
Linux distribution for alire
|
|
17
|
147
|
February 14, 2025
|
Installing gnat llvm
|
|
2
|
90
|
February 14, 2025
|
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
|
|
1
|
68
|
February 13, 2025
|
Where to ask about linear temporal logic?
|
|
5
|
103
|
February 13, 2025
|
Is package replacement through Alires variables possible?
|
|
4
|
80
|
February 13, 2025
|
Study materials/youtube videos
|
|
6
|
160
|
February 12, 2025
|
GNAT Programming Studio (GPS) -- how to link an object file
|
|
1
|
43
|
February 12, 2025
|
2024 Crate of the Year Awards!
|
|
23
|
1184
|
February 11, 2025
|
Potential bug in GNAT System.Regexp?
|
|
0
|
48
|
February 11, 2025
|
Name (File) casing error on Darwin
|
|
4
|
69
|
February 10, 2025
|
SPARK compiler (etc) for MacOS on Apple Silicon? I don't see gnatprove etc
|
|
2
|
58
|
February 9, 2025
|
Libadalang question
|
|
6
|
151
|
February 9, 2025
|
Gnatdoc - Czech characters in UTF-8
|
|
8
|
69
|
February 9, 2025
|
GnatCOV in Alire (22.01) and in GitHub (24.0)
|
|
0
|
38
|
February 8, 2025
|
Alire Publish with different git forge? (codeberg)
|
|
29
|
229
|
February 7, 2025
|
Installing a self-built crate (lib) with alr?
|
|
8
|
102
|
February 7, 2025
|
Alire (really curl) certificate problem on Windows
|
|
7
|
137
|
February 5, 2025
|
Bug in GNAT Ada.Text_IO.Get_Line
|
|
1
|
92
|
February 5, 2025
|
Sum of an entire array in specification package in compilation time
|
|
16
|
207
|
February 5, 2025
|
Note on Ada TS Mode
|
|
2
|
155
|
February 4, 2025
|
What kind of package declaration is this?
|
|
7
|
154
|
February 3, 2025
|
PiEmbSysTech Website Building Up Ada Tutorials
|
|
2
|
103
|
February 3, 2025
|
Integer size and Unbounded_Integer size (aka: determine the length of a digit string)
|
|
3
|
58
|
February 1, 2025
|
Orka_egl_info build fails
|
|
6
|
70
|
January 31, 2025
|
Ada.Text_IO.Text_Streams and Ada.Text_IO.End_Of_File interact oddly
|
|
4
|
64
|
January 31, 2025
|