ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Bug in AUnit which comes with GNAT
user_133123790
•
3
2
110
aunit gnat ada
Use of exceptions in Ada
user_74168910
•
7
3
903
ada
SPARK-Ada Using GNATProve to Assume a Postcondition of a GCC Intrinsic Function
Admin1
•
4
1
342
spark-ada ada
Is there a Libadalang enumeration or type that corresponds to ASIS's Flat_Element_Kind?
user_138791350
•
2
0
69
ada
Custom condition failure messages in Ada 2012
user_2084370
•
2
1
87
post-conditions preconditions ada design-by-contract predicate
"Taking on a Challenge in SPARK Ada" - Sum ghost function in post-condition having unintended behavior
user_101553030
•
3
2
232
spark-ada gnat high-integrity-systems ada
Why am I getting "storage error" on my Ada shared library when running under a JVM
user_64515730
•
3
1
562
gnat ada segmentation-fault linux java
How do you call an external program in Ada?
user_21444080
•
2
4
683
gnat ada
How do you specify the name of the executable in your gprfile? Can it be above the gprfile's directory?
user_21444080
•
3
1
178
gprbuild ada
Passing a C-styled integer array to an Ada function to retrieve the first element in the array
user_111944260
•
5
2
156
ada googletest c
Hot Questions