Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
ocarina-backends-c_common-ba.adb
Find file
Blame
History
Permalink
enable mapping of ForAll BA construct : the same mapping of the For construct
· f9d1b00c
bouazizrahma
authored
Jun 07, 2019
f9d1b00c