Add a --compile-all-items option, and use it in the non-regression
tests. Also, Add the possibility to have several lustre files in the command-line arguments. remove the power operator. Define a lustre.lus that contains a packaged version of Lustre predefined operators. It will be in the standard lustre library, and should be accessible directly (path).
Showing
- src/TODO 4 additions, 4 deletionssrc/TODO
- src/compile.ml 9 additions, 13 deletionssrc/compile.ml
- src/compiledDataDump.ml 6 additions, 6 deletionssrc/compiledDataDump.ml
- src/global.ml 6 additions, 4 deletionssrc/global.ml
- src/lazyCompiler.ml 29 additions, 40 deletionssrc/lazyCompiler.ml
- src/lazyCompiler.mli 2 additions, 2 deletionssrc/lazyCompiler.mli
- src/lustre.lus 63 additions, 0 deletionssrc/lustre.lus
- src/lxm.ml 3 additions, 3 deletionssrc/lxm.ml
- src/lxm.mli 1 addition, 0 deletionssrc/lxm.mli
- src/main.ml 64 additions, 55 deletionssrc/main.ml
- src/parser.mly 0 additions, 1 deletionsrc/parser.mly
- src/predef.ml 3 additions, 62 deletionssrc/predef.ml
- src/predefSemantics.ml 4 additions, 12 deletionssrc/predefSemantics.ml
- src/symbolTab.ml 14 additions, 16 deletionssrc/symbolTab.ml
- src/syntaxTreeDump.ml 0 additions, 3 deletionssrc/syntaxTreeDump.ml
- src/test/Makefile 1 addition, 1 deletionsrc/test/Makefile
- src/test/test.res.exp 3067 additions, 1170 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment