|
VSS and other issues
|
|
2
|
94
|
December 29, 2025
|
|
[Help] how to configure develop environment with alire?
|
|
5
|
217
|
December 29, 2025
|
|
Getting up to speed with Ada changes chronologically
|
|
4
|
160
|
December 29, 2025
|
|
[ANN] SweetAda on Veecom
|
|
0
|
90
|
December 28, 2025
|
|
Cheatsheet: GNAT Formatting Defaults
|
|
2
|
129
|
December 27, 2025
|
|
[Vaton] How to add support for string to fixed-point with SPARK proof?
|
|
0
|
59
|
December 26, 2025
|
|
Is the default export/import aspect C? Is C++ valid too?
|
|
2
|
95
|
December 26, 2025
|
|
ANN: AOR JSONA - Typed extraction from JSON payloads via path-based, indexed navigation
|
|
3
|
124
|
December 26, 2025
|
|
Unable to run/debug on Nucleo STMF401RE with embedded-nucleo_f401re runtime
|
|
5
|
100
|
December 25, 2025
|
|
Getting gnatdoc to produce non-rst output
|
|
12
|
158
|
December 23, 2025
|
|
GNAT light runtimes but with exception propagation
|
|
12
|
211
|
December 23, 2025
|
|
[ANN] Looking for volunteers for an Ada funding committee
|
|
12
|
537
|
December 22, 2025
|
|
Discussions about SPARK Math implementation (integer and fixed-point operations)
|
|
0
|
71
|
December 22, 2025
|
|
Gerrit will soon support Ada syntax highlighting
|
|
0
|
100
|
December 21, 2025
|
|
Invalid Data in Invariant Check in Contract_Cases
|
|
1
|
62
|
December 20, 2025
|
|
Advice on operator overloading
|
|
9
|
159
|
December 20, 2025
|
|
Can't link an executable with Shared Libraries
|
|
7
|
112
|
December 19, 2025
|
|
Middle-Ground Learning Resources
|
|
48
|
440
|
December 18, 2025
|
|
SPARK gnatprove on Get_Line says "initialization check might fail"
|
|
2
|
66
|
December 18, 2025
|
|
Why can't you use Predicate_Failure on a vector?
|
|
1
|
72
|
December 18, 2025
|
|
Just seen this on LI
|
|
0
|
110
|
December 17, 2025
|
|
Embedded. Fail to write to register
|
|
11
|
140
|
December 17, 2025
|
|
IANA Timezone Datetime Manipulation Library for Ada 2022
|
|
0
|
48
|
December 17, 2025
|
|
Ada Developers Workshop @ AEiC 2025 - Paris, June 13th
|
|
11
|
569
|
December 16, 2025
|
|
POLL: What are the top three most needed open-source crates for Ada 2022?
|
|
10
|
199
|
December 15, 2025
|
|
2025 Day 10: Factory
|
|
3
|
137
|
December 15, 2025
|
|
IANA Timezone Information File Library for Ada 2022
|
|
2
|
106
|
December 14, 2025
|
|
What is the state of Ada on Android?
|
|
9
|
214
|
December 14, 2025
|
|
ANN: Strings edit v3.10
|
|
7
|
237
|
December 14, 2025
|
|
Use of Alire and aggregate projects
|
|
3
|
119
|
December 14, 2025
|