Why does Ada/GNAT require a .ads file?
|
|
21
|
470
|
March 21, 2025
|
How do I mark up my code snippets in this forum?
|
|
2
|
65
|
March 21, 2025
|
Is alire.ada.dev maintained?
|
|
12
|
231
|
March 20, 2025
|
Gnat cross-compilation toolchain for target "aarch64-linux" (from host "x86_64-linux")
|
|
4
|
80
|
March 19, 2025
|
Adainit/fini and ELF .init/.fini
|
|
3
|
55
|
March 19, 2025
|
Why := and not just = for variable assignment?
|
|
16
|
294
|
March 18, 2025
|
How does the () magic in the Ada.Containers work?
|
|
3
|
90
|
March 17, 2025
|
How to get Alire/GPRBuild to generate ASM?
|
|
5
|
57
|
March 17, 2025
|
How to read and manipulate table data
|
|
25
|
261
|
March 17, 2025
|
Alire: how to rename a project
|
|
2
|
94
|
March 15, 2025
|
Print a Unicode Glyph
|
|
9
|
99
|
March 15, 2025
|
Fully specifying packages
|
|
4
|
119
|
March 15, 2025
|
How can I tell GNAT to disable the secondary stack completely on bare-metal Ada code?
|
|
5
|
105
|
March 15, 2025
|
AWS.Client security advisory
|
|
2
|
95
|
March 15, 2025
|
Unit testing framework recommendation
|
|
22
|
566
|
March 12, 2025
|
Inheriting from generic child package
|
|
6
|
107
|
March 12, 2025
|
Question on Ada.Calendar.Formatting.Image
|
|
1
|
69
|
March 11, 2025
|
Making AUnit available to gprbuild
|
|
2
|
82
|
March 11, 2025
|
Moderation Changes and New Regulations
|
|
16
|
580
|
March 10, 2025
|
Fixed Point Numbers
|
|
25
|
238
|
March 10, 2025
|
Setting up the Ada Language Server in VIM
|
|
9
|
189
|
March 10, 2025
|
Ada Developers: How Do You Find Opportunities?
|
|
7
|
187
|
March 10, 2025
|
Memory profiling tools
|
|
2
|
81
|
March 9, 2025
|
Note on Ada TS Mode
|
|
4
|
298
|
March 8, 2025
|
Weird behaviour in record mapping
|
|
15
|
270
|
February 26, 2025
|
SPARK and Indefinite_Holders
|
|
6
|
134
|
February 25, 2025
|
Trouble interfacing with C libraries; Making thick bindings
|
|
17
|
295
|
February 24, 2025
|
Case conversions
|
|
13
|
164
|
February 23, 2025
|
GNAT Programming Studio (GPS) -- how to link an object file
|
|
2
|
126
|
February 21, 2025
|
Black Box Testing: comparing expected and actual results
|
|
5
|
108
|
February 20, 2025
|