Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
po_hi_ada
ocarina-backends-po_hi_ada-activity.adb
Find file
Blame
History
Permalink
* Correct generation of Ada2012/SPARK2014 aspects
· 63d92af8
jjhugues
authored
Aug 02, 2019
For openaadl/ocarina#131
63d92af8