Does Ada have a property-based testing framework (à la QuickCheck)?
|
|
4
|
92
|
May 19, 2025
|
Interesting bug. Not sure if it makes sense to report (practically)
|
|
6
|
96
|
May 19, 2025
|
Discussions about open source Ada compilers
|
|
45
|
622
|
May 19, 2025
|
Books by Prof. Burns and Prof. Wellings
|
|
5
|
146
|
May 18, 2025
|
Converting an integer value to Universal_Integer
|
|
6
|
76
|
May 17, 2025
|
How to Program a Canvas (Scrollbars, Zoom, Scrolled Window, Scale, ...)
|
|
0
|
73
|
May 17, 2025
|
What is the largest Positive number supported by Simple Components and PragmArc?
|
|
3
|
61
|
May 17, 2025
|
Alire: how to find the spec files of imported libraries
|
|
12
|
253
|
May 16, 2025
|
Looking for some historical information
|
|
0
|
73
|
May 15, 2025
|
Alire insists on downloading toolchains: toolchain.dir set, toolchains already present
|
|
4
|
171
|
May 13, 2025
|
AWS.Client security advisory
|
|
7
|
211
|
May 13, 2025
|
Stopping and starting tasks in Ravenscar
|
|
6
|
155
|
May 12, 2025
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
92
|
757
|
May 8, 2025
|
Problem building crate with libadalang
|
|
10
|
246
|
May 7, 2025
|
Plan for next version of International Ada Standard
|
|
66
|
756
|
May 7, 2025
|
How to use generalized finalization?
|
|
9
|
162
|
May 5, 2025
|
How to do vararg in GNAT Ada
|
|
2
|
105
|
May 4, 2025
|
Timeout bug in GNAT.Serial_Communications
|
|
9
|
112
|
May 2, 2025
|
Alire on native ARM hosts?
|
|
36
|
697
|
April 29, 2025
|
[Help] how to configure develop environment with alire?
|
|
4
|
89
|
April 29, 2025
|
[Job] Software Engineer - GNAT, GDB, and Linux
|
|
0
|
111
|
April 26, 2025
|
Importing C with Spark
|
|
3
|
108
|
April 24, 2025
|
Atomic increment benchmarks
|
|
4
|
187
|
April 24, 2025
|
Parallel for-loops in Ada
|
|
11
|
375
|
April 23, 2025
|
Generalized private extension ("is record with private")
|
|
18
|
204
|
April 22, 2025
|
Ada advocacy opportunity!
|
|
1
|
169
|
April 17, 2025
|
Put_Image aspect and Spark
|
|
0
|
57
|
April 17, 2025
|
Initializing an array of Strings
|
|
34
|
626
|
April 17, 2025
|
USB Serial on rp2040
|
|
7
|
145
|
April 15, 2025
|
Building Gtkada on Windows 11 gives errors/warnings on misc.c
|
|
26
|
212
|
April 15, 2025
|