SpiceQA
Questions
Tags
Users
Badges
spark-ada
23 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
SPARK instantiation error w.r.t. volatile type
user_208437
0
•
asked Nov 6, 2020
4
1
93
spark-ada
ada
data-structures
types
SPARK-Ada Using GNATProve to Assume a Postcondition of a GCC Intrinsic Function
Admin
1
•
asked Jul 10, 2020
4
1
342
spark-ada
ada
"Taking on a Challenge in SPARK Ada" - Sum ghost function in post-condition having unintended behavior
user_10155303
0
•
asked Jul 3, 2020
3
2
232
spark-ada
gnat
high-integrity-systems
ada
Prev
Prev
1
2
3
(current)
Hot Questions