Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
ocarina-backends-ada_tree-nutils.ads
Find file
Blame
History
Permalink
* Pragma_SPARK_Mode: new pragma, to generate SPARK_Mode pragma
· c5caff8b
yoogx
authored
Oct 10, 2015
c5caff8b