SpiceQA
Questions Tags Users Badges

ada

311 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Ada: What is the purpose of `limited` in `limited interface`
user_94835370
• asked Jun 30, 2021
3
3
203
ada
Why my loop invariant might not be preserved by any iteration?
user_107303730
• asked Jun 22, 2021
2
1
229
gnat loop-invariant ada
Using protected entry argument in barrier condition
user_155521200
• asked Jun 17, 2021
2
2
106
barrier ada protected arguments
Breaking Ada privacy for Test functions
user_26220100
• asked Jun 15, 2021
3
2
141
ada
Gnat 2020 non-preemptive tasking windows
user_32332440
• asked Jun 12, 2021
2
0
88
ada multitasking
Usage example of pragma Task_Dispatching_Policy(Non_Preemptive_FIFO_Within_Priorities);
user_32332440
• asked Jun 11, 2021
4
1
132
ada multitasking
Using nested package type as type's private part declaration
user_155521200
• asked Jun 6, 2021
3
1
76
ada declaration package nested
How to check for Storage_Error in Spark_Ada
user_161059730
• asked Jun 2, 2021
2
2
329
spark-ada ada
How elements are stored within Hashmap in Ada?
user_107641680
• 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_47409390
• asked May 23, 2021
2
2
132
ada2012 ada
  • PrevPrev
  • 8
  • 9
  • 10 (current)
  • 11
  • 12
  • NextNext
Hot Questions
Terms of service Privacy policy
Powered by Answer