Perform the clock checking in the node profile (the clock checking of
equations is not done at all yet). Also, print the clock decorations (when clk) in the generated file.
Showing
- src/Makefile 2 additions, 2 deletionssrc/Makefile
- src/TODO 7 additions, 0 deletionssrc/TODO
- src/compiledData.ml 24 additions, 24 deletionssrc/compiledData.ml
- src/compiledDataDump.ml 11 additions, 17 deletionssrc/compiledDataDump.ml
- src/evalType.ml 8 additions, 4 deletionssrc/evalType.ml
- src/getEff.ml 10 additions, 5 deletionssrc/getEff.ml
- src/getEff.mli 3 additions, 2 deletionssrc/getEff.mli
- src/lazyCompiler.ml 30 additions, 39 deletionssrc/lazyCompiler.ml
- src/parser.mly 1 addition, 1 deletionsrc/parser.mly
- src/predefEvalClock.ml 9 additions, 7 deletionssrc/predefEvalClock.ml
- src/predefEvalClock.mli 2 additions, 1 deletionsrc/predefEvalClock.mli
- src/predefEvalType.ml 22 additions, 12 deletionssrc/predefEvalType.ml
- src/syntaxTreeCore.ml 4 additions, 5 deletionssrc/syntaxTreeCore.ml
- src/syntaxTreeDump.ml 2 additions, 2 deletionssrc/syntaxTreeDump.ml
- src/test/should_fail/semantics/bad_call03.lus 4 additions, 7 deletionssrc/test/should_fail/semantics/bad_call03.lus
- src/test/should_work/NONREG/PCOND.lus 8 additions, 3 deletionssrc/test/should_work/NONREG/PCOND.lus
- src/test/test.res.exp 144 additions, 121 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment