Skip to content
GitLab
Explore
Sign in
verimag
synchrone
sasa
Repository
sasa
test
unison
ring.dot
Find file
Blame
History
Permalink
New: Add a --gen-lustre-oracle-skeleton (-glos) option that generated a Lustre oracle skeleton
· d599f741
erwan
authored
Jul 03, 2019
Add use it to add an oracle to the BFS
d599f741