Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
examples
ocaml
xlurette
Makefile
Find file
Blame
History
Permalink
Use luciole if vars are missing in the new lurettetop version.
· 7bb02d3b
Erwan Jahier
authored
Jun 24, 2011
Also, add the oracle outputs in the '.rif'.
7bb02d3b