|
Is there interest in prebuilt binaries for the gnat-llvm?
|
|
26
|
525
|
February 8, 2026
|
|
Updated list of Ada compilers
|
|
18
|
2003
|
February 7, 2026
|
|
Ada PDF Writer version 9
|
|
1
|
141
|
February 6, 2026
|
|
Wide_Wide_Text_IO can't encde "è" correctly
|
|
55
|
356
|
February 5, 2026
|
|
Change GtkAda-intl.gpd to GtkAda-intl.adb with build_skeleton.pl
|
|
23
|
171
|
February 5, 2026
|
|
I request your opinions on the number of returns
|
|
8
|
153
|
February 4, 2026
|
|
Subtypes are not visible when limited with'd?
|
|
10
|
112
|
February 4, 2026
|
|
Ada 2022 Related Cheat Sheets
|
|
3
|
98
|
February 4, 2026
|
|
Found compiler bug(?) with 3 or more Duration factors
|
|
3
|
91
|
February 2, 2026
|
|
It wasn't encouraging (re UTF8)
|
|
3
|
121
|
February 2, 2026
|
|
Bug: Aggregate with iterator over empty array not assignable
|
|
10
|
160
|
February 1, 2026
|
|
Source for the Ada- Compiler
|
|
26
|
489
|
January 30, 2026
|
|
Problem with installing Gtkada or gcc or or code Hello World Gtkada?
|
|
13
|
242
|
January 28, 2026
|
|
Can imported C enums be resized?
|
|
8
|
127
|
January 27, 2026
|
|
Simon J Wright - RIP
|
|
30
|
1658
|
January 27, 2026
|
|
GUI in C, Subprograms in Ada?
|
|
12
|
205
|
January 26, 2026
|
|
Use of Ada in HW verification: a new opportunity to save the world
|
|
47
|
1019
|
January 26, 2026
|
|
No 'Truncation attribute for fixed points types
|
|
35
|
527
|
January 26, 2026
|
|
SPARK_Mode does not like Indefinite_Holders?
|
|
2
|
100
|
January 24, 2026
|
|
Has 2025 been a good year for Ada?
|
|
1
|
176
|
January 24, 2026
|
|
The future of PolyORB and the DSA
|
|
27
|
534
|
January 24, 2026
|
|
New How-to in Ada-Lang: creating a plugin system
|
|
7
|
182
|
January 23, 2026
|
|
SPARK Verified Postfix Expression Calculator
|
|
8
|
373
|
January 21, 2026
|
|
AdaCore libraries 26.0 information
|
|
2
|
164
|
January 21, 2026
|
|
SPARKlib adds functional trees
|
|
6
|
172
|
January 21, 2026
|
|
ANN: Arch linux ~ Breakage of gnatstudio package and new alternative
|
|
7
|
110
|
January 20, 2026
|
|
Google Summer of Code 2026, Ada's participation?
|
|
6
|
231
|
January 20, 2026
|
|
Setting up database as complete beginner
|
|
20
|
181
|
January 20, 2026
|
|
How to finde postconditions to spark a rubik's cube?
|
|
3
|
104
|
January 19, 2026
|
|
Alire GTKAda build fails to run due to duplicate LC_RPATH error
|
|
3
|
134
|
January 18, 2026
|