SpiceQA
Questions
Tags
Users
Badges
ada
311 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Ada: Incompatible alignment warning issued when specifying an address clause
user_5931673
0
•
asked Dec 25, 2020
2
1
107
ada
Using an array type in the schema for an Ada interface to a postgresql database using gnatcoll_db2ada
user_8818484
0
•
asked Dec 23, 2020
2
2
108
ada
postgresql
Reverse linked list in Ada
Admin
1
•
asked Dec 14, 2020
2
3
171
ada
list
Ada: Manipulate a private type
user_11489207
0
•
asked Dec 12, 2020
2
1
118
ada
What is the best way to put logs on standard output generated by an infinite loop?
user_14783201
0
•
asked Dec 9, 2020
2
1
194
ada
infinite-loop
memory-leaks
terminal
My simple Ada program cannot execute the next command, but during the build and run process it doesn't matter
user_14790708
0
•
asked Dec 9, 2020
2
1
88
ada
Can gprbuild be configured to output gnatprep preprocessed sources?
user_2144408
0
•
asked Dec 9, 2020
3
1
198
gprbuild
ada
Potential aliasing violation in swap array indexes SPARK-Ada
user_3778892
0
•
asked Nov 30, 2020
4
1
161
spark-formal-verification
spark-ada
formal-methods
ada
formal-verification
Handling long running, blocking functions
user_2952545
0
•
asked Nov 29, 2020
2
2
172
ada
Compiler detection of race conditions between Tasks
user_7416891
0
•
asked Nov 26, 2020
7
2
361
ada
Prev
Prev
17
18
19
(current)
20
21
Next
Next
Hot Questions