ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to access a parameter of a procedure in Pre/Post contracts of a procedure/funtion that has the the procedure as access parameter?
user_161059730
•
3
1
111
spark-ada ada
How is the `'Old` attribute in a **Post** contract handled for access types that might got deallocated inside the function or procedure?
user_161059730
•
4
2
145
spark-ada ada
First two counters are never increased in dice rolling application
user_73692990
•
3
1
92
ada
Making a precondition in SPARK checking array element reports 'array index check might fail'
user_61210440
•
2
1
122
spark-2014 z3 ada arrays
Is there a way to verify two generic formals are the same type if one is incomplete?
user_96049660
•
6
4
165
ada generics types
How do I cast an enum to an Integer to handle overflow/wraparound?
user_20401580
•
5
3
222
ada
What is the non-synchronized equivalent to a protected type in Ada?
user_18497480
•
2
5
214
ada language-design oop
How to make Pre and Post conditions for recursive functions in SPARK?
user_61210440
•
5
2
386
spark-2014 dafny ada recursion
How to rename protected object entry
user_155521200
•
2
1
78
ada procedure rename protected
How to reuse AWS socket?
user_21444080
•
2
1
96
ada websocket
Hot Questions