|
Current state of SDLADA? Would like to get Rosetta Code Task Archimedean spiral working on MacOS arm64
|
|
44
|
222
|
December 7, 2024
|
|
Option and Result types
|
|
62
|
750
|
December 7, 2024
|
|
I'm giving an online intro to Ada 12/4/2024 7PM Eastern Standard time (New York Time)
|
|
8
|
126
|
December 6, 2024
|
|
2024 Day 3: Mull It Over
|
|
14
|
120
|
December 6, 2024
|
|
SPARK: Question about upper bound of count variable in loop
|
|
9
|
360
|
December 6, 2024
|
|
2024 Day 4: Ceres Search
|
|
8
|
84
|
December 5, 2024
|
|
"STORAGE_ERROR : SIGBUS" or SIGSEGV or STORAGE_ERROR : stack overflow or erroneous memory access
|
|
5
|
83
|
December 4, 2024
|
|
Elaboration circularity detected
|
|
21
|
404
|
December 4, 2024
|
|
Database GNATCOLL or ado
|
|
15
|
93
|
December 4, 2024
|
|
Gnatprove question about overflow check (lower bound might fail)
|
|
2
|
42
|
December 4, 2024
|
|
2024 Day 2: Red-Nosed Reports
|
|
9
|
142
|
December 4, 2024
|
|
How to make a subtype of Character containing just 'a', 'b', 'c', and 'q'?
|
|
17
|
262
|
December 2, 2024
|
|
2022 Day 18: Boiling Boulders
|
|
8
|
524
|
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
|
258
|
December 1, 2024
|
|
Decomposition of a microchip driver
|
|
1
|
57
|
December 1, 2024
|
|
How to uninstall alire on Windows
|
|
0
|
39
|
December 1, 2024
|
|
Automated function and procedure names
|
|
5
|
76
|
December 1, 2024
|
|
Packaging a GtkAda application (on Windows)
|
|
9
|
130
|
December 1, 2024
|
|
More Ada 83 authors than I had realised
|
|
2
|
82
|
December 1, 2024
|
|
Reliability of 'Base
|
|
16
|
125
|
November 30, 2024
|
|
How to inherit string handling?
|
|
55
|
430
|
November 30, 2024
|
|
Combine `with` and `use` clauses
|
|
7
|
81
|
November 30, 2024
|
|
Producer-Consumer Tasking model in Ada?
|
|
5
|
57
|
November 30, 2024
|
|
Constraints for a formal signed integer type
|
|
0
|
30
|
November 30, 2024
|
|
Could someone check this test code snipplet?
|
|
11
|
132
|
November 29, 2024
|
|
Alr symbol lookup error
|
|
5
|
46
|
November 29, 2024
|
|
GNAT, overflow checking and constant folding of loops
|
|
8
|
114
|
November 29, 2024
|
|
Dependency injection
|
|
4
|
86
|
November 29, 2024
|
|
Level of math required for an Ada book
|
|
10
|
146
|
November 27, 2024
|
|
Question about class-wide components in records
|
|
15
|
111
|
November 26, 2024
|