|
Discussions about SPARK Math implementation (integer and fixed-point operations)
|
|
0
|
70
|
December 22, 2025
|
|
Invalid Data in Invariant Check in Contract_Cases
|
|
1
|
60
|
December 20, 2025
|
|
Advice on operator overloading
|
|
9
|
154
|
December 20, 2025
|
|
Can't link an executable with Shared Libraries
|
|
7
|
112
|
December 19, 2025
|
|
Middle-Ground Learning Resources
|
|
48
|
430
|
December 18, 2025
|
|
SPARK gnatprove on Get_Line says "initialization check might fail"
|
|
2
|
65
|
December 18, 2025
|
|
Why can't you use Predicate_Failure on a vector?
|
|
1
|
70
|
December 18, 2025
|
|
Just seen this on LI
|
|
0
|
106
|
December 17, 2025
|
|
Embedded. Fail to write to register
|
|
11
|
137
|
December 17, 2025
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
21
|
860
|
December 20, 2025
|
|
[Alire] Which rp2040 runtime?
|
|
9
|
142
|
December 16, 2025
|
|
POLL: What are the top three most needed open-source crates for Ada 2022?
|
|
10
|
193
|
December 15, 2025
|
|
What is the state of Ada on Android?
|
|
9
|
203
|
December 14, 2025
|
|
Use of Alire and aggregate projects
|
|
3
|
113
|
December 14, 2025
|
|
Using Ada.Text_IO.Put_Line inside Ada function owned by C function?
|
|
3
|
97
|
December 14, 2025
|
|
Alire: Why does a crate's build config not get committed?
|
|
6
|
79
|
December 11, 2025
|
|
Congratulation on Your 210th Birthday, Lady Ada
|
|
1
|
62
|
December 10, 2025
|
|
[Reminder] The PragmAda Reusable Components
|
|
10
|
310
|
December 10, 2025
|
|
Do you use Artificial Intelligence for Ada coding?
|
|
6
|
165
|
December 10, 2025
|
|
Basic alire autocompletion script
|
|
4
|
104
|
December 9, 2025
|
|
Use of Ada in HW verification: a new opportunity to save the world
|
|
45
|
855
|
December 8, 2025
|
|
Comparing the development costs and other benefits of Ada or SPARK vs other languages
|
|
25
|
1636
|
December 8, 2025
|
|
-gnatRh flag failing
|
|
1
|
64
|
December 7, 2025
|
|
Searching a good Embedded Development Setup
|
|
6
|
254
|
December 7, 2025
|
|
[NEWS] Airbus A320 software update
|
|
10
|
361
|
December 7, 2025
|
|
I filed a gnat build bug on gentoo
|
|
0
|
59
|
December 6, 2025
|
|
Anybody tried OpenAI-API from Ada?
|
|
4
|
185
|
December 6, 2025
|
|
How does async/concurrency work in ADA compared to other languages?
|
|
14
|
488
|
December 5, 2025
|
|
Laurie Wired Video
|
|
4
|
183
|
December 4, 2025
|
|
How could this code raise a Constraint_Error at runtime?
|
|
16
|
223
|
December 4, 2025
|