-
- Downloads
This is a major revision:
- added interface files (.lusi) in the language, that can be compiled on their own, giving an object file (.lusic) and a header file (.h) - modular code generation, from Lustre to C level included. - nice amount of code refactoring git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@326 041b043f-8d7c-46b2-b46e-ef0dd855326e
Showing
- src/automata.ml 94 additions, 0 deletionssrc/automata.ml
- src/backends/C/c_backend.ml 13 additions, 8 deletionssrc/backends/C/c_backend.ml
- src/backends/C/c_backend_common.ml 50 additions, 3 deletionssrc/backends/C/c_backend_common.ml
- src/backends/C/c_backend_header.ml 173 additions, 64 deletionssrc/backends/C/c_backend_header.ml
- src/backends/C/c_backend_main.ml 4 additions, 1 deletionsrc/backends/C/c_backend_main.ml
- src/backends/C/c_backend_makefile.ml 4 additions, 4 deletionssrc/backends/C/c_backend_makefile.ml
- src/backends/C/c_backend_spec.ml 1 addition, 1 deletionsrc/backends/C/c_backend_spec.ml
- src/backends/C/c_backend_src.ml 31 additions, 7 deletionssrc/backends/C/c_backend_src.ml
- src/basic_library.ml 12 additions, 4 deletionssrc/basic_library.ml
- src/clock_calculus.ml 15 additions, 13 deletionssrc/clock_calculus.ml
- src/clock_predef.ml 4 additions, 0 deletionssrc/clock_predef.ml
- src/compiler_common.ml 214 additions, 0 deletionssrc/compiler_common.ml
- src/corelang.ml 126 additions, 34 deletionssrc/corelang.ml
- src/corelang.mli 21 additions, 7 deletionssrc/corelang.mli
- src/delay_predef.ml 4 additions, 0 deletionssrc/delay_predef.ml
- src/inliner.ml 1 addition, 1 deletionsrc/inliner.ml
- src/lexer_lustre.mll 9 additions, 1 deletionsrc/lexer_lustre.mll
- src/liveness.ml 0 additions, 5 deletionssrc/liveness.ml
- src/location.ml 9 additions, 1 deletionsrc/location.ml
- src/lusic.ml 76 additions, 0 deletionssrc/lusic.ml
Loading
Please register or sign in to comment