ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
In GDB Python script, array indexing fails if frame’s language is Ada
user_408510
•
6
0
171
gdb-python ada freertos
How do you add a second test for a function when using GNAT test?
user_21444080
•
5
1
508
aunit gnat ada unit-testing
Constant element in Ada object?
user_7109420
•
6
3
659
ada
How to check for potential overflow in Ada when dealing with expression?
user_103109570
•
5
2
1042
codepeer ada
Can a record discriminant determine array lengths indirectly in Ada?
user_46169440
•
3
2
280
ada record types
In Ada, it seems to be the general practice to declare specific subtypes, but why?
user_14722220
•
6
3
478
ada
Is it possible to declare Ada range with unlimited upper bound?
user_14722220
•
3
3
275
ada
Printing the exception message in an Ada Last_Chance_Handler
user_49001070
•
3
3
827
gnat eabi ada
SPARK Integer overflow check
user_7322840
•
4
3
1404
spark-2014 ada2012 ada
GPRBuild does not find gprconfig when called from the Windows Subsystem for Linux
user_3479640
•
3
1
1171
gnat ada windows-subsystem-for-linux
Hot Questions