Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
92
|
556
|
May 8, 2025
|
How to use generalized finalization?
|
|
9
|
148
|
May 5, 2025
|
[Help] how to configure develop environment with alire?
|
|
4
|
78
|
April 29, 2025
|
Generalized private extension ("is record with private")
|
|
18
|
200
|
April 22, 2025
|
Ada back in the TIOBE Top 20 (March 2025)
|
|
9
|
319
|
April 7, 2025
|
Birth of Wiki site "Ada 83 Memory" at http://www.ada83.org/
|
|
4
|
140
|
April 6, 2025
|
Possible bug in GNAT Util.Encoders.AES
|
|
3
|
115
|
April 5, 2025
|
Generate records and complex data structures automatically
|
|
3
|
149
|
March 28, 2025
|
How best to sort an array of records
|
|
27
|
231
|
March 22, 2025
|
Gnat cross-compilation toolchain for target "aarch64-linux" (from host "x86_64-linux")
|
|
4
|
80
|
March 19, 2025
|
How does the () magic in the Ada.Containers work?
|
|
3
|
90
|
March 17, 2025
|
Fully specifying packages
|
|
4
|
119
|
March 15, 2025
|
Inheriting from generic child package
|
|
6
|
107
|
March 12, 2025
|
Making AUnit available to gprbuild
|
|
2
|
82
|
March 11, 2025
|
Fixed Point Numbers
|
|
25
|
239
|
March 10, 2025
|
GNAT Programming Studio (GPS) -- how to link an object file
|
|
2
|
126
|
February 21, 2025
|
Potential bug in GNAT System.Regexp?
|
|
2
|
111
|
February 17, 2025
|
Constraint_error : glib-object.adb : 138 access check failed
|
|
7
|
79
|
February 17, 2025
|
Sum of an entire array in specification package in compilation time
|
|
16
|
221
|
February 5, 2025
|
What kind of package declaration is this?
|
|
7
|
170
|
February 3, 2025
|
Orka_egl_info build fails
|
|
6
|
80
|
January 31, 2025
|
Good tool for state diagrams
|
|
12
|
188
|
January 30, 2025
|
Linda space, question about synchronized interface and extensions
|
|
28
|
215
|
January 21, 2025
|
Debugging Ada on Apple Silicon
|
|
12
|
196
|
January 13, 2025
|
Question About Style
|
|
25
|
290
|
January 11, 2025
|
Simple object persistence in a binary
|
|
9
|
139
|
January 10, 2025
|
Integer_Text_IO and Exception, Loops on Non-Integer Input
|
|
5
|
97
|
January 9, 2025
|
Call to abstract procedure must be dispatching
|
|
8
|
117
|
January 5, 2025
|
Non trivial exemples of use of generic dispatching constructors
|
|
4
|
73
|
January 4, 2025
|
Is it ok to post here an Ada book for sale on ebay?
|
|
2
|
65
|
January 3, 2025
|