Revision ec433d69
Added by Xavier Thirioux about 10 years ago
- added
- modified
- copied
- renamed
- deleted
- src
- automata.ml (diff)
- backends
- causality.ml (diff)
- clock_calculus.ml (diff)
- clock_predef.ml (diff)
- compiler_common.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- dimension.ml (diff)
- inliner.ml (diff)
- location.ml (diff)
- lusic.ml (diff)
- lustreSpec.ml (diff)
- machine_code.ml (diff)
- main_lustre_compiler.ml (diff)
- modules.ml (diff)
- normalization.ml (diff)
- optimize_machine.ml (diff)
- options.ml (diff)
- parser_lustre.mly (diff)
- printers.ml (diff)
- scheduling.ml (diff)
- types.ml (diff)
- typing.ml (diff)
- test
Major revision due to severe limitations and bugs of inlining capabilities:
- destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when loading lusic files created by an older compiler version
- inlining should now work with generic nodes and generic array library
- tests_ok_dev.list has been added that focuses on advanced (but unused !)
features of lustrec, avoiding the large 'kind' test files
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@443 041b043f-8d7c-46b2-b46e-ef0dd855326e