SpiceQA
Questions
Tags
Users
Badges
ada
311 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Passing string constant or literal to GCC built-ins in Ada
user_1265214
0
•
asked Jan 11, 2022
6
3
195
ada
Compile unreferenced package with exported functions
user_5098391
0
•
asked Jan 9, 2022
3
1
62
ada
Having a hard time indexing an array
user_15093079
0
•
asked Jan 6, 2022
4
2
143
ada
indexing
arrays
generics
How to get around forbidden discriminants defaults for tagged records in Ada?
user_10026593
0
•
asked Jan 3, 2022
6
1
120
ada
Ada/SPARK: should I be using GNATprove? Where can I find it?
user_1328493
0
•
asked Dec 27, 2021
3
1
288
spark-ada
gnat
ada
Translating C flexible array members with length fields to Ada
user_8290027
0
•
asked Dec 25, 2021
3
3
179
ada
How do I handle uninitialized data in a dynamic predicate in Ada?
user_4616944
0
•
asked Dec 11, 2021
2
1
105
gnat
ada
predicate
Where is this Ada character literal format defined and what was changed in Ada 2005?
user_1092849
0
•
asked Dec 10, 2021
3
1
121
ada95
gnat
ada
character-encoding
How To Copy data from String access to Ada.String
user_1201535
0
•
asked Dec 7, 2021
2
1
145
gnat
ada
signals with GtkAda
user_17387235
0
•
asked Nov 20, 2021
2
2
127
gtkada
ada
Prev
Prev
3
4
5
(current)
6
7
Next
Next
Hot Questions