Revision ad4774b0
Added by Pierre-Loïc Garoche about 7 years ago
- added
- modified
- copied
- renamed
- deleted
- Makefile.in (diff)
- configure.ac (diff)
- src
- Makefile.in (diff)
- _tags.in (diff)
- algebraicLoop.ml (diff)
- backends
- compiler_stages.ml (diff)
- corelang.mli (diff)
- lustreSpec.ml (diff)
- main_lustre_compiler.ml (diff)
- main_lustre_testgen.ml (diff)
- main_lustre_verifier.ml
- normalization.ml (diff)
- options_management.ml (diff)
- pluginList.ml.in (diff)
- pluginType.ml (diff)
- plugins
- plugins.ml (diff)
- tools
- verifierList.ml.in
- verifierType.ml
- verifiers.ml
- Normalization parameters (alias and unfold_array) are now provided as parameter
- program type renamed as program_t
- Initiating the lustrev tool with dependencies to z3 and seal.