Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
po_hi_ada
ocarina-backends-po_hi_ada.adb
Find file
Blame
History
Permalink
* Adjust code generation to use dummy SPARK2014 tranport library
· 9587f0c5
jjhugues
authored
Aug 02, 2019
For openaadl/polyorb-hi-ada#4
9587f0c5