src · master · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

fix clock printing in Velus mode

BRUN Lelio authored 1 year ago

717b9749

Name	Last commit	Last update
..
backends
checks
parsers
plugins
tools
utils
annotations.ml
annotations.mli
arrow.ml
arrow.mli
arrow_taint.ml
arrow_taint.mli
automata.ml
automata.mli
basic_library.ml
basic_library.mli
causality.ml
causality.mli
clock_calculus.ml
clock_calculus.mli
clock_predef.ml
clock_predef.mli
clocks.ml
clocks.mli
compiler_common.ml
compiler_common.mli
compiler_stages.ml
compiler_stages.mli
corelang.ml
corelang.mli
delay.ml
delay.mli
delay_predef.ml
delay_predef.mli
dune
error.ml
error.mli
global.ml
global.mli
inliner.ml
inliner.mli
log.ml
log.mli
lusic.ml
lusic.mli
lustre_live.ml
lustre_live.mli
lustre_types.ml
lustre_types.mli
lustre_utils.ml
lustre_utils.mli
lustrec_mpfr.ml
lustrec_mpfr.mli
machine_code.ml
machine_code.mli
machine_code_common.ml
machine_code_common.mli
machine_code_dep.ml
machine_code_dep.mli
machine_code_types.mli
machine_types.ml
machine_types.mli
main_lustre_compiler.ml
main_lustre_testgen.ml
main_lustre_verifier.ml
modules.ml
modules.mli
mutation.ml
mutation.mli
normalization.ml
normalization.mli
optimize_machine.ml
optimize_machine.mli
optimize_prog.ml
optimize_prog.mli
options.ml
options.mli
options_management.ml
options_management.mli
pathConditions.ml
pathConditions.mli
pluginList.ml
pluginList.mli
pluginType.ml
pluginType.mli
plugins.ml
plugins.mli
printers.ml
printers.mli
real.ml
real.mli
scheduling.ml
scheduling.mli
scheduling_type.mli
sites_paths.ml
sites_paths.mli
sortProg.ml
sortProg.mli
spec.ml
spec.mli