Revision 9c4cc944
Added by Corentin Lauverjat about 4 years ago
- added
- modified
- copied
- renamed
- deleted
- .dockerignore
- .gitignore (diff)
- .merlin
- .ocaml-config.sh
- Dockerfile.alpine
- Dockerfile.ubuntu
- INSTALL
- Makefile.in (diff)
- README.lustrec
- README.md (diff)
- backends
- configure.ac (diff)
- dune
- dune-project
- include
- dune
- z3librc.in
- lib
- annotations.ml
- arrow.ml
- arrow.mli
- automata.ml
- backends.ml
- basic_library.ml
- causality.ml
- checks
- clock_calculus.ml
- clock_predef.ml
- clocks.ml
- compiler_common.ml
- config.ml
- corelang.ml
- corelang.mli
- delay.ml
- delay_predef.ml
- dimension.ml
- dune
- error.ml
- features
- global.ml
- location.ml
- log.ml
- lustre_types.ml
- lustre_utils.ml
- machine_code.ml
- machine_code.mli
- machine_code_common.ml
- machine_code_common.mli
- machine_code_types.ml
- normalization.ml
- normalization.mli
- options.ml
- options_management.ml
- parsers
- pluginType.ml
- pluginType.mli
- printers.ml
- real.ml
- real.mli
- scheduling.ml
- scheduling_type.ml
- splitting.ml
- type_predef.ml
- types.ml
- typing.ml
- utils
- verifierType.ml
- verifierType.mli
- version.ml.in
- lustrec-enable-zustre.opam
- lustrec.opam
- opam
- opam.in
- plugins
- share
- src
- .merlin
- Makefile-lustresf.in
- Makefile-lustresf.unused
- Makefile.in
- _tags.in
- algebraicLoop.ml
- annotations.ml
- arrow.ml
- arrow.mli
- automata.ml
- backends
- .merlin
- Ada
- .merlin
- README
- ada_backend.ml
- ada_backend_adb.ml
- ada_backend_ads.ml
- ada_backend_common.ml
- ada_backend_common.mli
- ada_backend_wrapper.ml
- ada_printer.ml
- ada_printer.mli
- misc_lustre_function.ml
- misc_printer.ml
- C
- .merlin
- c_backend.ml (diff)
- c_backend_cmake.ml
- c_backend_common.ml
- c_backend_header.ml
- c_backend_lusic.ml
- c_backend_main.ml (diff)
- c_backend_makefile.ml
- c_backend_mauve.ml (diff)
- c_backend_spec.ml
- c_backend_src.ml
- EMF
- .merlin
- EMF_backend.ml
- EMF_backend.ml~
- EMF_common.ml
- EMF_library_calls.ml
- Horn
- .merlin
- horn_backend.ml
- horn_backend_collecting_sem.ml
- horn_backend_common.ml
- horn_backend_printers.ml
- horn_backend_traces.ml
- Java
- .merlin
- java_backend.ml
- VHDL
- vhdl_ast.ml
- vhdl_test.ml
- backends.ml
- basic_library.ml
- causality.ml
- checks
- .merlin
- access.ml
- algebraicLoop.ml
- init_calculus.ml
- liveness.ml
- stateless.ml
- clock_calculus.ml
- clock_predef.ml
- clocks.ml
- compiler_common.ml
- compiler_stages.ml (diff)
- corelang.ml
- corelang.mli
- delay.ml
- delay_predef.ml
- dimension.ml
- dune.in
- error.ml
- expand.ml (diff)
- features
- .merlin
- machine_types
- .merlin
- machine_types.ml
- global.ml
- init_predef.ml
- inliner.ml (diff)
- location.ml
- log.ml
- lusic.ml
- lustre_types.ml
- lustre_utils.ml
- lustrec.odocl (diff)
- machine_code.ml
- machine_code.mli
- machine_code_common.ml
- machine_code_common.mli
- machine_code_types.ml
- main_lustre_compiler.ml (diff)
- main_lustre_testgen.ml (diff)
- main_lustre_verifier.ml (diff)
- modules.ml (diff)
- modules.mli (diff)
- mutation.ml (diff)
- normalization.ml
- normalization.mli
- ocaml_utils.ml.in
- optimize_machine.ml (diff)
- optimize_prog.ml (diff)
- options.ml
- options_management.ml
- parsers
- .merlin
- lexerLustreSpec.mll
- lexer_lustre.mll
- lexer_prelude.mll
- parse.ml
- parserLustreSpec.mly
- parser_lustre.mly
- pathConditions.ml (diff)
- pluginList.ml.in (diff)
- pluginType.ml
- plugins
- plugins.ml (diff)
- printers.ml
- real.ml
- real.mli
- scheduling.ml
- scheduling_type.ml
- sortProg.ml (diff)
- spec.ml (diff)
- splitting.ml
- tools
- .merlin
- importer
- seal
- seal_export.ml
- seal_extract.ml
- seal_slice.ml
- seal_utils.ml
- seal_verifier.ml
- stateflow
- .merlin
- common
- .merlin
- activeStates.ml (diff)
- basetypes.ml (diff)
- datatype.ml (diff)
- json-parser
- models
- .merlin
- model_medium.ml (diff)
- model_simple.ml (diff)
- model_stopwatch.ml (diff)
- semantics
- sf_sem.ml (diff)
- tiny
- tiny_utils.ml
- tiny_verifier.ml
- zustre
- zustre_analyze.ml
- zustre_cex.ml
- zustre_common.ml
- zustre_data.ml
- zustre_test.ml
- zustre_verifier.ml
- type_predef.ml
- types.ml
- typing.ml
- utils
- .merlin
- env.ml
- utils.ml
- verifierList.ml.in (diff)
- verifierType.ml
- verifiers.ml (diff)
- version.ml.in
- svnignore
Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md