-
- Downloads
LOTS of bug correction wrt inlining, still a work in progress...
- global constants were not accounted for - no good avoidance of name capture when inlining - static parameters (array sizes and clocks) not handled - ill-typed generated expressions, when inlining array expressions
Showing
- src/clocks.ml 60 additions, 49 deletionssrc/clocks.ml
- src/corelang.ml 16 additions, 1 deletionsrc/corelang.ml
- src/corelang.mli 2 additions, 1 deletionsrc/corelang.mli
- src/dimension.ml 16 additions, 2 deletionssrc/dimension.ml
- src/inliner.ml 72 additions, 28 deletionssrc/inliner.ml
- src/main_lustre_compiler.ml 10 additions, 9 deletionssrc/main_lustre_compiler.ml
- src/normalization.ml 9 additions, 15 deletionssrc/normalization.ml
- src/types.ml 9 additions, 2 deletionssrc/types.ml
- src/typing.ml 2 additions, 0 deletionssrc/typing.ml
- test/test-compile.sh 76 additions, 84 deletionstest/test-compile.sh
- test/tests_ok.list 0 additions, 1 deletiontest/tests_ok.list
Loading
Please register or sign in to comment