|
Gnat Studio on Linux "Go To Declaration" doesn't always navigate to the right line
|
|
2
|
86
|
July 3, 2026
|
|
Ada SPARK Office Hours
|
|
15
|
975
|
July 2, 2026
|
|
[Alire] Which rp2040 runtime?
|
|
14
|
455
|
June 30, 2026
|
|
Disclosure of incorporation of LLM outputs in (e.g., Alire-indexed) projects
|
|
28
|
812
|
June 30, 2026
|
|
Lack of entry calls in the Distributed System Annex
|
|
14
|
269
|
June 25, 2026
|
|
How to easily use AI Skills with your Ada projects
|
|
24
|
924
|
June 22, 2026
|
|
Implementing ZFP runtime
|
|
14
|
336
|
June 19, 2026
|
|
Polyorb/DSA Bug Fixes
|
|
3
|
147
|
June 18, 2026
|
|
Visibility of enumeration items
|
|
8
|
221
|
June 17, 2026
|
|
Reminder: IRC exists
|
|
11
|
398
|
June 15, 2026
|
|
Generic Packages and Gnattest
|
|
3
|
112
|
June 13, 2026
|
|
Help on string representation of enumeration
|
|
4
|
121
|
June 12, 2026
|
|
HRT-HOOD and new design methods for hard real-time systems in Ada
|
|
3
|
195
|
June 12, 2026
|
|
Formatter questions and alternatives [gnatformat, gnatpp]
|
|
9
|
176
|
June 10, 2026
|
|
Ada -Llama binding pluse rejigged other libraries
|
|
1
|
112
|
June 10, 2026
|
|
Looking for documentation on Ada 83 exception mechanism implementation
|
|
2
|
177
|
June 9, 2026
|
|
Survey On Verification-Aware Programming
|
|
0
|
102
|
June 9, 2026
|
|
Raspberry Pi Pico USB Serial (CDC) not appearing on macOS
|
|
22
|
496
|
June 8, 2026
|
|
Alire Gtkada installation and failure (0x000007b)
|
|
4
|
179
|
June 7, 2026
|
|
GTKada overriding problem
|
|
3
|
127
|
June 7, 2026
|
|
Vulkan-ada and a few others renamed to the correct nomenclature
|
|
3
|
175
|
June 7, 2026
|
|
Show: The Super Tiny Compiler, but in Ada
|
|
6
|
317
|
May 29, 2026
|
|
Target differentiation in .gpr files needing different “with” clauses
|
|
3
|
164
|
May 29, 2026
|
|
`GNAT.Serial_Communications` broke on Ubuntu 26.04
|
|
0
|
109
|
May 28, 2026
|
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
52
|
2292
|
May 26, 2026
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
247
|
May 24, 2026
|
|
Tasking with embedded_rp2040
|
|
6
|
212
|
May 23, 2026
|
|
Charactor size in Gnatstudio
|
|
2
|
104
|
May 23, 2026
|
|
Usefulness of Inline aspect nowadays
|
|
5
|
241
|
May 21, 2026
|
|
Installation of GNAT LLVM on macOS
|
|
0
|
111
|
May 20, 2026
|