|
Formally Verified Hashed Sets in Ada SPARK - Claire Dross / AdaCore
|
|
0
|
93
|
April 22, 2026
|
|
Different ways from the same program
|
|
9
|
220
|
April 22, 2026
|
|
Does not understand point about requeuing and preemption
|
|
12
|
257
|
April 21, 2026
|
|
Modern Languages
|
|
43
|
890
|
April 21, 2026
|
|
MSYS2 update seems to mess up GTK3 and/or GtkAda
|
|
8
|
391
|
April 21, 2026
|
|
Ada cross-compiler for bare metal SPARC V9 target
|
|
23
|
275
|
April 18, 2026
|
|
Ada syntax test suite
|
|
8
|
186
|
April 18, 2026
|
|
The new GNATdoc is available, let's create a `docs.ada.dev` website (mabye?)
|
|
57
|
1651
|
April 15, 2026
|
|
For those wondering about source code formatting with Gnat Studio 2026.2
|
|
3
|
127
|
April 15, 2026
|
|
Spike: Improving Ada highlighting with tree-sitter without the LSP context
|
|
0
|
73
|
April 15, 2026
|
|
New SDL3 bindings
|
|
5
|
180
|
April 15, 2026
|
|
How to protect from stack overflow on embedded targets?
|
|
13
|
291
|
April 14, 2026
|
|
Using an ADA program in two or more OS's
|
|
8
|
225
|
April 13, 2026
|
|
"then abort" not aborting
|
|
3
|
123
|
April 13, 2026
|
|
Zedboard and Blinking LEDs using Ada
|
|
0
|
63
|
April 12, 2026
|
|
Packaging gprbuild on OpenBSD
|
|
12
|
377
|
April 12, 2026
|
|
Enclosed task activation must complete before main program begins
|
|
2
|
82
|
April 11, 2026
|
|
Building libadalang from source
|
|
2
|
82
|
April 10, 2026
|
|
Alire not finding libgmp ... but it is there in /usr/lib
|
|
4
|
96
|
April 9, 2026
|
|
Raspberry Pi Pico dynamic allocation link error
|
|
5
|
89
|
April 8, 2026
|
|
Best book for Ada 2022
|
|
11
|
408
|
April 7, 2026
|
|
Strange ask: type of higher detail inside a parent type?
|
|
8
|
192
|
April 7, 2026
|
|
How do I make an infinite task kick-off?
|
|
17
|
303
|
April 7, 2026
|
|
What kind of package declaration is this?
|
|
15
|
494
|
April 6, 2026
|
|
Gnatmake gives me a warning on gnat krunch shortened filename
|
|
6
|
201
|
April 2, 2026
|
|
Ada input from a terminal
|
|
71
|
1171
|
April 2, 2026
|
|
Gprbuild -cflags
|
|
2
|
81
|
April 2, 2026
|
|
Child Package Library-Level Renaming of a Pure Package
|
|
1
|
66
|
April 1, 2026
|
|
Gprbuild cannot find compilers
|
|
5
|
126
|
March 30, 2026
|
|
The "Router Ban" Oppertunity
|
|
3
|
180
|
March 30, 2026
|