-
- Downloads
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
Showing
- src/automata.ml 14 additions, 11 deletionssrc/automata.ml
- src/backends/C/c_backend.ml 7 additions, 7 deletionssrc/backends/C/c_backend.ml
- src/backends/C/c_backend_common.ml 77 additions, 68 deletionssrc/backends/C/c_backend_common.ml
- src/backends/C/c_backend_header.ml 76 additions, 32 deletionssrc/backends/C/c_backend_header.ml
- src/backends/C/c_backend_main.ml 2 additions, 2 deletionssrc/backends/C/c_backend_main.ml
- src/backends/C/c_backend_src.ml 20 additions, 6 deletionssrc/backends/C/c_backend_src.ml
- src/causality.ml 8 additions, 2 deletionssrc/causality.ml
- src/clock_calculus.ml 9 additions, 1 deletionsrc/clock_calculus.ml
- src/clock_predef.ml 2 additions, 0 deletionssrc/clock_predef.ml
- src/compiler_common.ml 4 additions, 4 deletionssrc/compiler_common.ml
- src/corelang.ml 1013 additions, 2 deletionssrc/corelang.ml
- src/corelang.mli 12 additions, 3 deletionssrc/corelang.mli
- src/dimension.ml 9 additions, 2 deletionssrc/dimension.ml
- src/inliner.ml 72 additions, 58 deletionssrc/inliner.ml
- src/location.ml 1 addition, 0 deletionssrc/location.ml
- src/lusic.ml 41 additions, 7 deletionssrc/lusic.ml
- src/lustreSpec.ml 14 additions, 11 deletionssrc/lustreSpec.ml
- src/machine_code.ml 72 additions, 8 deletionssrc/machine_code.ml
- src/main_lustre_compiler.ml 37 additions, 15 deletionssrc/main_lustre_compiler.ml
- src/modules.ml 17 additions, 7 deletionssrc/modules.ml
Loading
Please register or sign in to comment