|
Welcome to the Ada forum
|
|
9
|
2201
|
June 16, 2024
|
|
Source for the Ada- Compiler
|
|
25
|
314
|
January 29, 2026
|
|
Steps to implement the distributed annex from scratch
|
|
34
|
256
|
January 29, 2026
|
|
Gnat-15.2.1 default runtime build errors (a-cdlili.ads, a-conhel.ads): aspect "Disable_Controlled" requires controlled record type
|
|
0
|
32
|
January 29, 2026
|
|
Problem with installing Gtkada or gcc or or code Hello World Gtkada?
|
|
13
|
214
|
January 28, 2026
|
|
Can imported C enums be resized?
|
|
8
|
108
|
January 27, 2026
|
|
Simon J Wright - RIP
|
|
30
|
1549
|
January 27, 2026
|
|
GUI in C, Subprograms in Ada?
|
|
12
|
150
|
January 26, 2026
|
|
Use of Ada in HW verification: a new opportunity to save the world
|
|
47
|
934
|
January 26, 2026
|
|
No 'Truncation attribute for fixed points types
|
|
35
|
510
|
January 26, 2026
|
|
SPARK_Mode does not like Indefinite_Holders?
|
|
2
|
91
|
January 24, 2026
|
|
Has 2025 been a good year for Ada?
|
|
1
|
138
|
January 24, 2026
|
|
The future of PolyORB and the DSA
|
|
27
|
513
|
January 24, 2026
|
|
New How-to in Ada-Lang: creating a plugin system
|
|
7
|
166
|
January 23, 2026
|
|
SPARK Verified Postfix Expression Calculator
|
|
8
|
351
|
January 21, 2026
|
|
AdaCore libraries 26.0 information
|
|
2
|
134
|
January 21, 2026
|
|
SPARKlib adds functional trees
|
|
6
|
154
|
January 21, 2026
|
|
[Alire] Which rp2040 runtime?
|
|
11
|
196
|
January 20, 2026
|
|
ANN: Arch linux ~ Breakage of gnatstudio package and new alternative
|
|
7
|
95
|
January 20, 2026
|
|
Google Summer of Code 2026, Ada's participation?
|
|
6
|
208
|
January 20, 2026
|
|
Setting up database as complete beginner
|
|
20
|
155
|
January 20, 2026
|
|
How to finde postconditions to spark a rubik's cube?
|
|
3
|
96
|
January 19, 2026
|
|
Alire GTKAda build fails to run due to duplicate LC_RPATH error
|
|
3
|
121
|
January 18, 2026
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
22
|
954
|
January 18, 2026
|
|
MySQL data extraction
|
|
19
|
224
|
January 18, 2026
|
|
Cross cutting concepts like logging
|
|
4
|
109
|
January 18, 2026
|
|
Can someone test this short code (compiler error?)
|
|
6
|
119
|
January 17, 2026
|
|
Ada Monthly Meetup, 7th of February 2026
|
|
3
|
149
|
January 17, 2026
|
|
GNAT-LLVM has been updated to support LLVM v21!
|
|
0
|
98
|
January 16, 2026
|
|
Request for an explanation: secondary stack
|
|
2
|
138
|
January 16, 2026
|