|
Notes on building libadalang_tools with alire
|
|
1
|
54
|
November 4, 2025
|
|
CONSTRAINT_ERROR on Enqueue operartion
|
|
8
|
170
|
November 1, 2025
|
|
AWS End Of Life
|
|
16
|
715
|
October 30, 2025
|
|
Updated list of Ada compilers
|
|
17
|
1469
|
October 30, 2025
|
|
Generating AUNIT documentation fails: pdflatex: no such file or directory
|
|
9
|
151
|
October 27, 2025
|
|
Install Gtkada 2025 windows
|
|
18
|
375
|
October 27, 2025
|
|
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff?
|
|
27
|
392
|
October 26, 2025
|
|
Plan for next version of International Ada Standard
|
|
67
|
992
|
October 25, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
3
|
413
|
October 22, 2025
|
|
A Throway Protocol Server in Ada
|
|
1
|
170
|
October 22, 2025
|
|
Cannot build on Fedora 41 with Alire
|
|
2
|
168
|
October 20, 2025
|
|
Alire on Apple-Silicon
|
|
4
|
167
|
October 20, 2025
|
|
Automatic styling of Ada code?
|
|
10
|
337
|
October 18, 2025
|
|
How to use gnuplot from an Ada program?
|
|
6
|
174
|
October 17, 2025
|
|
How to determine the length of a String returned by the To_String function of the GNAT Big_Integer package?
|
|
14
|
224
|
October 16, 2025
|
|
Error during Building ADA compiler
|
|
6
|
198
|
October 13, 2025
|
|
Reserved fields in svd2ada mapping
|
|
2
|
77
|
October 12, 2025
|
|
WG9 seeks Editor for "Guide for Use of Ada in High Integrity Systems" (TR 15942 technical report)
|
|
1
|
148
|
October 11, 2025
|
|
Ada in Windows On ARM
|
|
2
|
95
|
October 8, 2025
|
|
Searching a good Embedded Development Setup
|
|
2
|
147
|
October 8, 2025
|
|
ANN: VSS has been split into two libraries and main repo is now archived
|
|
2
|
118
|
October 5, 2025
|
|
Gnat-temp-000001.tmp
|
|
1
|
97
|
October 5, 2025
|
|
Behavior of Index with null character mapping function?
|
|
4
|
113
|
October 4, 2025
|
|
Ada on the PYPL index
|
|
18
|
1254
|
October 3, 2025
|
|
Old but cool: Ada mapping to CORBA
|
|
5
|
254
|
October 3, 2025
|
|
How to put overloaded functions in separate files?
|
|
4
|
117
|
October 3, 2025
|
|
How to update the Alire Crate Status page?
|
|
4
|
203
|
October 2, 2025
|
|
GNAT FSF weekly snapshots
|
|
4
|
121
|
October 2, 2025
|
|
Using both cores of RP2040
|
|
25
|
393
|
October 1, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64
|
|
23
|
541
|
September 30, 2025
|