|
Gnatprove detailed counterexample trace outside GNAT Studio?
|
|
1
|
113
|
November 20, 2023
|
|
Understanding `select or delay until` in tasks
|
|
5
|
122
|
November 18, 2023
|
|
2023 Crate of the Year Awards!
|
|
6
|
430
|
November 17, 2023
|
|
-fstack-check undefined reference to __gnat_stack_check
|
|
3
|
131
|
November 15, 2023
|
|
What's the state of Ada's LLVM compiler?
|
|
11
|
1194
|
November 11, 2023
|
|
Gnu Emacs ada-mode - passing the torch
|
|
2
|
223
|
November 11, 2023
|
|
Spark with a private global log store
|
|
2
|
123
|
November 8, 2023
|
|
Lightweight Parallelism library based on Ada 2022 features
|
|
1
|
342
|
November 4, 2023
|
|
Why RTOS + Ada?
|
|
12
|
271
|
November 2, 2023
|
|
Type and variable naming
|
|
20
|
323
|
October 29, 2023
|
|
Review my code: Thick bindings to libusb
|
|
1
|
191
|
October 27, 2023
|
|
Gnu Emacs Ada mode 8.1.0 released
|
|
0
|
141
|
October 27, 2023
|
|
What exceptions are thrown?
|
|
17
|
310
|
October 26, 2023
|
|
VSCode formatting
|
|
12
|
280
|
October 25, 2023
|
|
Implementing Release for GNATCOLL.Refcount
|
|
3
|
199
|
October 20, 2023
|
|
LEA v.0.87
|
|
4
|
401
|
October 19, 2023
|
|
Json, Unicode and Ada strings mess…
|
|
9
|
250
|
October 17, 2023
|
|
SPARK Proof [title padded to meet minimum length requirement]
|
|
2
|
541
|
October 17, 2023
|
|
Small Board Games Written in Ada on Sourceforge
|
|
2
|
199
|
October 12, 2023
|
|
[Help] Creating a protected object
|
|
6
|
218
|
October 10, 2023
|
|
Enabling code navigation on GitLab
|
|
4
|
875
|
October 7, 2023
|
|
First Ada DO-178 Certification
|
|
0
|
198
|
October 4, 2023
|
|
Unlocking the Power of OpenAI in Ada programs
|
|
0
|
178
|
October 1, 2023
|
|
Initializing a discriminated record
|
|
6
|
208
|
September 28, 2023
|
|
AEiC 2024 - Ada-Europe conference - 1st Call for Contributions
|
|
0
|
151
|
September 26, 2023
|
|
US Government is requesting information on adoption of memory safe programming languages
|
|
0
|
208
|
September 24, 2023
|
|
How do I make a 2D Vector in Ada?
|
|
3
|
351
|
September 16, 2023
|
|
[Beginner] A question regarding reading from keyboard
|
|
2
|
269
|
September 6, 2023
|
|
Basic editing setup in Emacs - does anyone have this working?
|
|
5
|
278
|
September 5, 2023
|
|
GNAT-LLVM (for macOS)
|
|
1
|
271
|
August 29, 2023
|