Skip to content
GitLab
Explore
Sign in
TASTE
PolyORB-HI-Ada
Repository
polyorb-hi-ada
src
polyorb_hi-suspenders.adb
Find file
Blame
History
Permalink
* Rework blocking/release of tasks at startup to abide to
· 20a3bf44
yoogx
authored
Oct 10, 2015
SPARK2014 elaboration and tasking restrictions. For issue #4
20a3bf44