Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
cheddar
ocarina-backends-cheddar-mapping.ads
Find file
Blame
History
Permalink
* Use Ada 2012 pre conditions
· a51271c0
yoogx
authored
Jan 30, 2018
For openaadl/ocarina#129
a51271c0