Learning about SPARK dependency contracts
|
|
5
|
111
|
August 11, 2024
|
How does `gnatprove --flow-debug` use graphviz?
|
|
3
|
47
|
August 11, 2024
|
Only message is "cannot generate code for [...] (subunit)
|
|
2
|
44
|
August 11, 2024
|
No 'Truncation attribute for fixed points types
|
|
14
|
103
|
August 11, 2024
|
Access to /usr/include/ libraries from gnatmake/gprbuild/gnat commandline
|
|
9
|
74
|
August 10, 2024
|
Looking for an occasional mentor
|
|
0
|
61
|
August 9, 2024
|
GTK4 Hello World (Circular Package References Problem)
|
|
1
|
78
|
August 9, 2024
|
Will this stop the whole shebang?
|
|
14
|
157
|
August 8, 2024
|
Constraint_Error with Gnatcoll.Json?
|
|
3
|
64
|
August 7, 2024
|
The new GNATdoc is available, let's create a `docs.ada.dev` website (mabye?)
|
|
18
|
914
|
August 7, 2024
|
Looking for some example files (custom numeric constants / types)
|
|
7
|
102
|
August 7, 2024
|
In Ada 95, is there a graceful way to get around EXIT WHEN [Boolean] in a LOOP?
|
|
6
|
84
|
August 6, 2024
|
Alire should provide cross compilers
|
|
1
|
58
|
August 6, 2024
|
Alire + ada_language_server + nvim
|
|
3
|
99
|
August 6, 2024
|
"Ada95 tutorial" with sourcecode
|
|
2
|
64
|
August 5, 2024
|
Gnat 95 binaries for Windows, where to download free?
|
|
4
|
106
|
August 3, 2024
|
Request poc for Donald J Reifer, last at IEEE in 2021
|
|
1
|
78
|
August 3, 2024
|
In gnat studio community, how to capitalize reserved words
|
|
8
|
120
|
August 3, 2024
|
In Ada 95, which I/O procedures to use for these TB commands, please
|
|
6
|
118
|
August 2, 2024
|
Use Alire to install gnat / gprbuild?
|
|
5
|
92
|
July 30, 2024
|
Cardpackage.adb:17:29: error: must appear in the right-hand side of an assignment statement
|
|
4
|
70
|
July 28, 2024
|
Compiler bug? Named parameters and others, or am I remembering wrong?
|
|
10
|
96
|
July 28, 2024
|
"Search for Ada/SPARK on the Web" revived
|
|
5
|
119
|
July 26, 2024
|
Can anyone try this for me?
|
|
10
|
81
|
July 26, 2024
|
Declaring a public subtype with a constraint of discriminant while keeping said discriminant private
|
|
1
|
60
|
July 25, 2024
|
Constant_indexing for non-tagged types
|
|
0
|
37
|
July 24, 2024
|
Specifying exception raised at pre/postcondition failures
|
|
4
|
81
|
July 24, 2024
|
Revisiting where to put declaration with presumable completion
|
|
2
|
51
|
July 23, 2024
|
Ada Planet, a permanent revival
|
|
5
|
117
|
July 21, 2024
|
Should Have Used Ada (SHUA) - interesting blog post
|
|
4
|
131
|
July 21, 2024
|