ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How do I modify my post condition to achieve Gold standard of Spark proof - Ada SPARK
user_70616120
•
3
1
93
spark-ada formal-methods ada computer-science
Calculating factorial numbers
user_73692990
•
4
1
265
ada
How do I enforce that a type hold only be a fixed set of non-contiguous values?
user_21444080
•
3
1
62
ada
No compiler for language "Ada" when trying to compile for STM32
user_93259930
•
2
0
294
ada
Ada - case/switch invalid token
user_111554420
•
2
0
128
ada switch-statement
Parsing json5/js object literals in Ada
user_10244120
•
2
1
215
ada json
Unable to print the contents of an Array String of String Constants?
user_30042570
•
2
3
154
ada arrays
How to export instantiated generic function to C
user_155521200
•
2
2
70
ada export generics
Constrain or subtype an Unbounded_String in Ada with rules?
user_10244120
•
4
1
110
ada constraints string
What's the difference between a normal Integer and an aliased Integer in Ada?
user_49950020
•
3
2
479
ada types
Hot Questions