gnat

57 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Ada/SPARK: should I be using GNATprove? Where can I find it?
user_13284930
•
3
1
288
spark-ada gnat ada
How do I handle uninitialized data in a dynamic predicate in Ada?
user_46169440
•
2
1
105
gnat ada predicate
Where is this Ada character literal format defined and what was changed in Ada 2005?
user_10928490
•
3
1
121
ada95 gnat ada character-encoding
How To Copy data from String access to Ada.String
user_12015350
•
2
1
145
gnat ada
No such file or directory
user_174135620
•
1
2
1543
gnat ada hash
Gpr file, do not include all directory in source
user_64797700
•
3
1
144
gnat ada
Can a variable passed with 'address attribute to a procedure be modified?
user_20036640
•
2
3
143
gnat ada memory-address
AdaCore's GNAT Community Edition on Apple BigSur on Intel Chips
user_153397280
•
2
0
241
gnat ada
Why my loop invariant might not be preserved by any iteration?
user_107303730
•
2
1
229
gnat loop-invariant ada
Cannot make gnat-llvm : Ada.Strings.Text_Output" is not a predefined library unit
user_106919770
•
2
1
136
gnat ada llvm
Hot Questions