SpiceQA
Questions
Tags
Users
Badges
ada
311 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Ada: What is the purpose of `limited` in `limited interface`
user_9483537
0
•
asked Jun 30, 2021
3
3
203
ada
Why my loop invariant might not be preserved by any iteration?
user_10730373
0
•
asked Jun 22, 2021
2
1
229
gnat
loop-invariant
ada
Using protected entry argument in barrier condition
user_15552120
0
•
asked Jun 17, 2021
2
2
106
barrier
ada
protected
arguments
Breaking Ada privacy for Test functions
user_2622010
0
•
asked Jun 15, 2021
3
2
141
ada
Gnat 2020 non-preemptive tasking windows
user_3233244
0
•
asked Jun 12, 2021
2
0
88
ada
multitasking
Usage example of pragma Task_Dispatching_Policy(Non_Preemptive_FIFO_Within_Priorities);
user_3233244
0
•
asked Jun 11, 2021
4
1
132
ada
multitasking
Using nested package type as type's private part declaration
user_15552120
0
•
asked Jun 6, 2021
3
1
76
ada
declaration
package
nested
How to check for Storage_Error in Spark_Ada
user_16105973
0
•
asked Jun 2, 2021
2
2
329
spark-ada
ada
How elements are stored within Hashmap in Ada?
user_10764168
0
•
asked May 26, 2021
2
0
122
ada2012
ada
hashmap
Ada: What is the best way to promote Intermediate value in user defined operators on vectors?
user_4740939
0
•
asked May 23, 2021
2
2
132
ada2012
ada
Prev
Prev
8
9
10
(current)
11
12
Next
Next
Hot Questions