Skip to content
GitLab
Explore
Sign in
verimag
synchrone
sasa
Repository
sasa
lib
sasacore
topology.ml
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