ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Ada dynamically allocated array in an array cannot be initialized at compile time
user_157712190
•
2
1
85
ada dynamic-arrays arrays
Calling a C-Function which takes a structure as argument
user_50983910
•
5
1
110
ada c
Do pre and post conditions take the place of in function validation?
user_70616120
•
3
3
287
spark-formal-verification spark-ada formal-methods ada formal-verification
Is possible in Ada a discontinuous subtype definition?
user_107641680
•
2
1
123
ada
Convert a string into ascii in Ada
user_111554420
•
2
1
274
ada ascii
Ada GNATprove insints that 1 is not >= 0
user_155132110
•
3
2
166
spark-ada proof-of-correctness ada invariants proof
how do i stop the pre-condition from failing in the below example in ADA Spark
user_70616120
•
2
1
125
spark-ada formal-methods ada
naive unit checking via strong typing and operator overloading
user_22310590
•
4
1
123
ada
Does Ada deallocate memory automatically under some circumstances?
user_150930790
•
6
2
578
ada memory-management
Ada adding items into an array
user_132632450
•
2
1
695
ada
Hot Questions