Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
alloy
ocarina-backends-alloy.adb
Find file
Blame
History
Permalink
* Simplify code structures
· 7a6d1b3d
yoogx
authored
Jan 11, 2018
Part of openaadl/ocarina#128
7a6d1b3d