Happy New Year!
|
|
4
|
207
|
January 1, 2023
|
What is the purpose of "=" in Containers.Hashed_Sets?
|
|
7
|
296
|
December 22, 2022
|
Am I doing something wrong here?
|
|
8
|
234
|
December 20, 2022
|
Where are the Ada gigs these days? (worldwide)
|
|
6
|
337
|
December 18, 2022
|
Treesitter grammar for Ada
|
|
4
|
291
|
December 15, 2022
|
Object-oriented methods in Ada
|
|
14
|
356
|
December 9, 2022
|
Various questions about Ada
|
|
5
|
238
|
December 11, 2022
|
Aggregates as initial value of an array
|
|
2
|
184
|
December 10, 2022
|
Ada.Containers.Hash_Type'Size
|
|
0
|
145
|
December 9, 2022
|
Where is Sparklib?
|
|
2
|
184
|
December 6, 2022
|
Rust no_std attribute
|
|
2
|
154
|
December 6, 2022
|
Gnat Studio, SPARK and -XMODE
|
|
1
|
152
|
December 5, 2022
|
Database library
|
|
12
|
257
|
December 1, 2022
|
The new GNATdoc is available, let's create a `docs.ada.dev` website (mabye?)
|
|
15
|
403
|
November 24, 2022
|
What's the state of Ada's LLVM compiler?
|
|
9
|
524
|
November 20, 2022
|
Ada advocacy — Ada promoting missions — any proposals?
|
|
26
|
675
|
November 19, 2022
|
Is this a gnat bug? I think so possibly
|
|
5
|
195
|
November 18, 2022
|
Compilers other than GNAT?
|
|
29
|
649
|
November 18, 2022
|
Gnat Studio highlight occurences
|
|
0
|
201
|
November 15, 2022
|
Ada/SPARK support for Emacs org-babel
|
|
0
|
293
|
November 16, 2022
|
Unusual hardware register behavior
|
|
5
|
239
|
November 16, 2022
|
Gnu Emacs Ada mode 8.0 beta released
|
|
0
|
178
|
November 9, 2022
|
[Ada FOSDEM] No Ada DevRoom for 2023, alternative rooms and Ada-Europe support
|
|
1
|
209
|
November 9, 2022
|
Get Ada Compiler and Tools to be donated to an Independent Foundation
|
|
6
|
322
|
November 5, 2022
|
Favourite books about Ada/Spark
|
|
5
|
310
|
October 26, 2022
|
How are you using Ada, and how would you like to use Ada?
|
|
31
|
520
|
October 22, 2022
|
Right way to pass arrays to interface with C
|
|
6
|
202
|
October 16, 2022
|
SPARK: Discharge verification conditions (VC) with Coq?
|
|
3
|
176
|
October 15, 2022
|
Gnat Studio CR OS shell control character issue
|
|
3
|
216
|
October 14, 2022
|
15 open internship positions at AdaCore
|
|
0
|
258
|
October 12, 2022
|