ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How can I do an unchecked_deallocation of abstract classes in Ada?
user_99814470
•
4
1
378
ada dynamic-memory-allocation abstract-class
Why does Ada DLL get stuck at adainit when called from Rust over FFI interface?
user_68574300
•
6
3
481
rust ada ffi dll windows
Array with too many elements only compiler warning?
user_29525450
•
2
1
111
ada
How to prove equivalence of two functions?
user_126363060
•
3
1
193
spark-ada ada
Fibonacci series in Ada using recursion
user_127783110
•
5
2
620
ada
SPARK instantiation error w.r.t. volatile type
user_2084370
•
4
1
93
spark-ada ada data-structures types
GNAT.Command_Line.Getopt - how to enforce all command line options were valid?
user_21444080
•
2
1
182
ada getopt
GNAT support for ARM bare metal development boards
Admin1
•
3
3
318
gnat bare-metal ada
Meaning of [\p{Lu}] in ANTLR grammar
user_6837100
•
2
1
150
ada antlr
Can't prove seemingly trivial equality in Ada Spark
user_126363060
•
4
1
238
ada
Hot Questions