|
Installing GNATdoc
|
|
0
|
36
|
August 25, 2024
|
|
GIF or PNG Creation/Encoding Library?
|
|
8
|
158
|
August 24, 2024
|
|
Convert existing Ada code to a package for reuse; I have very basic problems with the conversion
|
|
2
|
58
|
August 24, 2024
|
|
Ada and the (ansi) console
|
|
17
|
245
|
August 24, 2024
|
|
For a file name, how to build the unbounded_string of:
|
|
15
|
131
|
August 23, 2024
|
|
Misunderstanding something very simple in Ada.Big_Reals, To_String
|
|
2
|
65
|
August 22, 2024
|
|
Documenting inherited subprograms
|
|
13
|
111
|
August 22, 2024
|
|
Task creation issue in ravenscar-full-stm32f429disco runtime
|
|
16
|
129
|
August 21, 2024
|
|
[Ann] Z Compression
|
|
0
|
60
|
August 21, 2024
|
|
Ada Bar Codes v.3
|
|
0
|
61
|
August 21, 2024
|
|
Updated list of Ada compilers
|
|
11
|
148
|
August 21, 2024
|
|
Discrimnant check failed in absence of constraints
|
|
3
|
56
|
August 20, 2024
|
|
Some question(s) about compilers and static allocation
|
|
7
|
92
|
August 20, 2024
|
|
We need forum topics
|
|
4
|
512
|
August 19, 2024
|
|
Is there a good way to handle exceptioins in the declarative region of a function
|
|
7
|
325
|
August 18, 2024
|
|
How to get preconditions checked at compile time
|
|
18
|
137
|
August 17, 2024
|
|
Type expected "Integer" as argument of put_line... with Text_IO, NOT Integer_Text_IO
|
|
3
|
37
|
August 17, 2024
|
|
How to iterate with a cursor and remove elements from container?
|
|
6
|
47
|
August 17, 2024
|
|
Comple fails for Rosetta Code Task "Bernoulli numbers"; gmp.ads not found
|
|
3
|
41
|
August 17, 2024
|
|
Reverse_find for maps
|
|
4
|
50
|
August 17, 2024
|
|
Function with controlling result type not inherited after derivation?
|
|
3
|
51
|
August 15, 2024
|
|
How to use the libgmp Ada library with GNAT Big_Integers?
|
|
4
|
65
|
August 14, 2024
|
|
Ada Language Support for Zed Text Editor Just Released!
|
|
4
|
100
|
August 14, 2024
|
|
File read/write advisory locking in Ada?
|
|
1
|
45
|
August 13, 2024
|
|
Alr edit error: Cannot continue without a workspace: error: Could not detect an alire.toml manifest
|
|
10
|
175
|
June 27, 2024
|
|
Division from derived integer type to a derived floating point type
|
|
3
|
39
|
August 13, 2024
|
|
Defaults for generic package formal parameters
|
|
2
|
69
|
August 12, 2024
|
|
Ada for Business Applications (AEiC 2024)
|
|
1
|
82
|
August 11, 2024
|
|
Learning about SPARK dependency contracts
|
|
5
|
111
|
August 11, 2024
|
|
How does `gnatprove --flow-debug` use graphviz?
|
|
3
|
47
|
August 11, 2024
|