Revision 04a188ec
Added by Pierre-Loïc Garoche over 3 years ago
- added
- modified
- copied
- renamed
- deleted
- src
- backends
- basic_library.ml (diff)
- checks
- compiler_common.ml (diff)
- compiler_stages.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- error.ml (diff)
- global.ml (diff)
- lusic.ml (diff)
- lustre_types.ml (diff)
- main_lustre_compiler.ml (diff)
- main_lustre_testgen.ml (diff)
- main_lustre_verifier.ml (diff)
- modules.ml (diff)
- parsers
- tools
- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal