|
Is this a compiler bug? Use of @ and Implicit_Dereference
|
|
8
|
100
|
February 19, 2025
|
|
License of a Project
|
|
5
|
100
|
February 18, 2025
|
|
Where to ask about linear temporal logic?
|
|
7
|
178
|
February 18, 2025
|
|
Encapsulating cmd line and init file parameter reading
|
|
1
|
69
|
February 17, 2025
|
|
ADC module on STM32F42xxx board
|
|
1
|
61
|
February 17, 2025
|
|
Gnathtml.pl replacement
|
|
7
|
146
|
February 17, 2025
|
|
Potential bug in GNAT System.Regexp?
|
|
2
|
111
|
February 17, 2025
|
|
Is there an aarch64 gnat cross toolchain available for MacOS?
|
|
1
|
74
|
February 17, 2025
|
|
Constraint_error : glib-object.adb : 138 access check failed
|
|
7
|
79
|
February 17, 2025
|
|
Why is gprbuild on github labelled 25.0.0?
|
|
11
|
113
|
February 16, 2025
|
|
Using Alire on WSL
|
|
0
|
56
|
February 16, 2025
|
|
Using GNAT Studio with WSL 2
|
|
1
|
379
|
February 16, 2025
|
|
Linux distribution for alire
|
|
17
|
201
|
February 14, 2025
|
|
Installing gnat llvm
|
|
2
|
130
|
February 14, 2025
|
|
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
|
|
1
|
107
|
February 13, 2025
|
|
Is package replacement through Alires variables possible?
|
|
4
|
97
|
February 13, 2025
|
|
Study materials/youtube videos
|
|
6
|
181
|
February 12, 2025
|
|
2024 Crate of the Year Awards!
|
|
23
|
1228
|
February 11, 2025
|
|
Name (File) casing error on Darwin
|
|
4
|
80
|
February 10, 2025
|
|
SPARK compiler (etc) for MacOS on Apple Silicon? I don't see gnatprove etc
|
|
2
|
73
|
February 9, 2025
|
|
Libadalang question
|
|
6
|
174
|
February 9, 2025
|
|
Gnatdoc - Czech characters in UTF-8
|
|
8
|
81
|
February 9, 2025
|
|
GnatCOV in Alire (22.01) and in GitHub (24.0)
|
|
0
|
62
|
February 8, 2025
|
|
Alire Publish with different git forge? (codeberg)
|
|
29
|
249
|
February 7, 2025
|
|
Installing a self-built crate (lib) with alr?
|
|
8
|
120
|
February 7, 2025
|
|
Alire (really curl) certificate problem on Windows
|
|
7
|
211
|
February 5, 2025
|
|
Bug in GNAT Ada.Text_IO.Get_Line
|
|
1
|
106
|
February 5, 2025
|
|
Sum of an entire array in specification package in compilation time
|
|
16
|
221
|
February 5, 2025
|
|
What kind of package declaration is this?
|
|
7
|
170
|
February 3, 2025
|
|
PiEmbSysTech Website Building Up Ada Tutorials
|
|
2
|
107
|
February 3, 2025
|