Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
11
|
157
|
April 5, 2025
|
Ada Monthly Meetup, 5th of April 2025
|
|
3
|
191
|
April 5, 2025
|
Possible bug in GNAT Util.Encoders.AES
|
|
3
|
113
|
April 5, 2025
|
AZip version 2.7.1
|
|
0
|
40
|
April 5, 2025
|
GNATHub Issue - Database doesn't associate errors with sources from imported projects
|
|
1
|
59
|
April 4, 2025
|
Ada Survey from Vector Software
|
|
0
|
81
|
April 4, 2025
|
Question about the archiving of the gnatdashboard project on GitHub
|
|
4
|
117
|
April 3, 2025
|
STM32F746 ada-enet
|
|
2
|
115
|
April 3, 2025
|
Trying to convert a couple of makefile lines to alire actions
|
|
0
|
50
|
April 2, 2025
|
Gprdeps: a new tool for gpr project files linting
|
|
7
|
145
|
April 2, 2025
|
Compilation of raygui_impl.c failed
|
|
0
|
42
|
April 2, 2025
|
LEA version 0.92
|
|
0
|
56
|
April 2, 2025
|
Only message is "cannot generate code for [...] (subunit)
|
|
4
|
162
|
April 1, 2025
|
Why am I allowed to rename subprogram subtypes?
|
|
6
|
146
|
April 1, 2025
|
Free monads in Ada
|
|
34
|
364
|
March 31, 2025
|
ANN: Simple Components v4.73
|
|
0
|
63
|
March 29, 2025
|
Generate records and complex data structures automatically
|
|
3
|
147
|
March 28, 2025
|
Any experience from Ada/Vulkan?
|
|
3
|
141
|
March 27, 2025
|
A simple way to avoid this program to hang?
|
|
12
|
233
|
March 26, 2025
|
Ada Programming Practices
|
|
8
|
259
|
March 26, 2025
|
Question about configuring Alire App+Library crates
|
|
14
|
107
|
March 25, 2025
|
Open Job: DataLink Developer (Ada needed)
|
|
0
|
70
|
March 25, 2025
|
GWindows version 1.5.0
|
|
0
|
83
|
March 24, 2025
|
DIS (Distributed Interactive Simulation) in Ada?
|
|
2
|
91
|
March 23, 2025
|
[Reminder] Ada Developers Workshop @ AEiC 2025 - Paris, June 13th // Submissions Deadline
|
|
0
|
33
|
March 23, 2025
|
[GSoC & Ada] Working on open source Ada projects and getting paid?
|
|
4
|
156
|
March 23, 2025
|
ANN: Alire v2.1
|
|
1
|
148
|
March 23, 2025
|
The newly created Ada Users Society... A preview
|
|
34
|
669
|
March 23, 2025
|
How best to sort an array of records
|
|
27
|
227
|
March 22, 2025
|
Ada driver library ethernet component
|
|
2
|
81
|
March 22, 2025
|