|
Does Initialize_Scalars require a Full runtime or does light need s-scaval.ads?
|
|
6
|
307
|
January 17, 2023
|
|
Some help with Spark & Floating Point Overflow
|
|
5
|
512
|
January 16, 2023
|
|
Adopt the Ada Horizon logo for all public Ada Community Web-sites
|
|
3
|
426
|
January 13, 2023
|
|
`alr --bin init` creates crates GPS can't make sense of?
|
|
5
|
408
|
January 9, 2023
|
|
New process for submitting comments about Ada Reference Manual and Ada evolution process
|
|
1
|
342
|
January 6, 2023
|
|
Gnat arm elf 12.2.1 (alire) undefined reference to strlen
|
|
6
|
455
|
January 4, 2023
|
|
Ada Drivers Library
|
|
8
|
600
|
January 2, 2023
|
|
Happy New Year!
|
|
4
|
377
|
January 1, 2023
|
|
What is the purpose of "=" in Containers.Hashed_Sets?
|
|
7
|
477
|
December 22, 2022
|
|
Am I doing something wrong here?
|
|
8
|
505
|
December 20, 2022
|
|
Where are the Ada gigs these days? (worldwide)
|
|
6
|
536
|
December 18, 2022
|
|
Treesitter grammar for Ada
|
|
4
|
694
|
December 15, 2022
|
|
Object-oriented methods in Ada
|
|
14
|
672
|
December 9, 2022
|
|
Various questions about Ada
|
|
5
|
365
|
December 11, 2022
|
|
Aggregates as initial value of an array
|
|
2
|
337
|
December 10, 2022
|
|
Ada.Containers.Hash_Type'Size
|
|
0
|
264
|
December 9, 2022
|
|
Where is Sparklib?
|
|
2
|
430
|
December 6, 2022
|
|
Rust no_std attribute
|
|
2
|
313
|
December 6, 2022
|
|
Gnat Studio, SPARK and -XMODE
|
|
1
|
384
|
December 5, 2022
|
|
Database library
|
|
12
|
459
|
December 1, 2022
|
|
The new GNATdoc is available, let's create a `docs.ada.dev` website (mabye?)
|
|
15
|
754
|
November 24, 2022
|
|
Is this a gnat bug? I think so possibly
|
|
5
|
376
|
November 18, 2022
|
|
Compilers other than GNAT?
|
|
29
|
1220
|
November 18, 2022
|
|
Gnat Studio highlight occurences
|
|
0
|
368
|
November 15, 2022
|
|
Unusual hardware register behavior
|
|
5
|
456
|
November 16, 2022
|
|
Get Ada Compiler and Tools to be donated to an Independent Foundation
|
|
6
|
442
|
November 5, 2022
|
|
Favourite books about Ada/Spark
|
|
5
|
590
|
October 26, 2022
|
|
Right way to pass arrays to interface with C
|
|
6
|
479
|
October 16, 2022
|
|
SPARK: Discharge verification conditions (VC) with Coq?
|
|
3
|
431
|
October 15, 2022
|
|
Gnat Studio CR OS shell control character issue
|
|
3
|
399
|
October 14, 2022
|