ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Ada random Integer in range of array length
user_154418250
•
2
3
267
ada random
Are unconstrained arrays in Ada safe to use?
user_150930790
•
2
2
351
variable-length-array ada c
How do I install GtkAda?
user_49950020
•
3
0
512
gtkada ada
Proving Select Sort algorithm using SPARK
user_155132110
•
3
1
200
spark-ada proof-of-correctness ada invariants proof
Link object file to project with gprbuild
user_50983910
•
2
1
276
gprbuild nvcc ada gcc
How can i assign a new value to a function parameter in an ada postcondition
user_154988290
•
2
0
194
post-conditions ada contract
How to prove this invariant?
user_154719590
•
8
1
369
spark-ada proof-of-correctness ada invariants proof
How to control the number of decimals places for display purpose only using Image function in Ada?
user_65249450
•
3
4
454
display ada numbers decimal
Is Ada.Containers.Functional_Maps usable in Ada2012?
user_107641680
•
2
3
160
gnat ada
Can SPARK be used to prove that Quicksort actually sorts?
user_19371970
•
2
1
222
spark-formal-verification spark-ada spark-2014 ada formal-verification
Hot Questions