|
SPARK: Question about upper bound of count variable in loop
|
|
9
|
366
|
December 6, 2024
|
|
2024 Day 4: Ceres Search
|
|
8
|
86
|
December 5, 2024
|
|
"STORAGE_ERROR : SIGBUS" or SIGSEGV or STORAGE_ERROR : stack overflow or erroneous memory access
|
|
5
|
86
|
December 4, 2024
|
|
Elaboration circularity detected
|
|
21
|
408
|
December 4, 2024
|
|
Database GNATCOLL or ado
|
|
15
|
94
|
December 4, 2024
|
|
Gnatprove question about overflow check (lower bound might fail)
|
|
2
|
43
|
December 4, 2024
|
|
2024 Day 2: Red-Nosed Reports
|
|
9
|
149
|
December 4, 2024
|
|
How to make a subtype of Character containing just 'a', 'b', 'c', and 'q'?
|
|
17
|
266
|
December 2, 2024
|
|
2022 Day 18: Boiling Boulders
|
|
8
|
525
|
December 1, 2024
|
|
Bug(s) in my Ada program for Number Sequence (OEIS:A033919 - Odd k for which k+2^m is composite for all m < k) Rosetta Code
|
|
35
|
271
|
December 1, 2024
|
|
Decomposition of a microchip driver
|
|
1
|
58
|
December 1, 2024
|
|
How to uninstall alire on Windows
|
|
0
|
39
|
December 1, 2024
|
|
Automated function and procedure names
|
|
5
|
78
|
December 1, 2024
|
|
Packaging a GtkAda application (on Windows)
|
|
9
|
135
|
December 1, 2024
|
|
More Ada 83 authors than I had realised
|
|
2
|
84
|
December 1, 2024
|
|
Reliability of 'Base
|
|
16
|
128
|
November 30, 2024
|
|
How to inherit string handling?
|
|
55
|
434
|
November 30, 2024
|
|
Combine `with` and `use` clauses
|
|
7
|
84
|
November 30, 2024
|
|
Producer-Consumer Tasking model in Ada?
|
|
5
|
62
|
November 30, 2024
|
|
Constraints for a formal signed integer type
|
|
0
|
32
|
November 30, 2024
|
|
Could someone check this test code snipplet?
|
|
11
|
135
|
November 29, 2024
|
|
Alr symbol lookup error
|
|
5
|
49
|
November 29, 2024
|
|
GNAT, overflow checking and constant folding of loops
|
|
8
|
115
|
November 29, 2024
|
|
Dependency injection
|
|
4
|
91
|
November 29, 2024
|
|
Level of math required for an Ada book
|
|
10
|
152
|
November 27, 2024
|
|
Question about class-wide components in records
|
|
15
|
113
|
November 26, 2024
|
|
Zip-Ada version 60
|
|
14
|
242
|
November 26, 2024
|
|
Correlation between versions of GNAT
|
|
5
|
86
|
November 26, 2024
|
|
How to have a background task (GNAT, Windows)
|
|
9
|
145
|
November 25, 2024
|
|
[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025
|
|
12
|
214
|
November 25, 2024
|