Add code to compute effective equations (eq_eff).
This is done via the new module EvalEq. A lot of new errors appear in the on-reg tests, which is normal as quite a lot of the code is now used...
Showing
- src/Makefile 2 additions, 0 deletionssrc/Makefile
- src/TODO 15 additions, 0 deletionssrc/TODO
- src/compiledData.ml 178 additions, 150 deletionssrc/compiledData.ml
- src/errors.ml 1 addition, 1 deletionsrc/errors.ml
- src/evalConst.ml 10 additions, 7 deletionssrc/evalConst.ml
- src/evalConst.mli 4 additions, 4 deletionssrc/evalConst.mli
- src/evalEq.ml 178 additions, 0 deletionssrc/evalEq.ml
- src/evalEq.mli 6 additions, 0 deletionssrc/evalEq.mli
- src/evalNode.ml 21 additions, 17 deletionssrc/evalNode.ml
- src/evalNode.mli 3 additions, 3 deletionssrc/evalNode.mli
- src/lazyCompiler.ml 92 additions, 63 deletionssrc/lazyCompiler.ml
- src/lazyCompiler.mli 2 additions, 2 deletionssrc/lazyCompiler.mli
- src/lxm.ml 1 addition, 1 deletionsrc/lxm.ml
- src/parser.mly 2 additions, 2 deletionssrc/parser.mly
- src/syntaxTreeCore.ml 23 additions, 21 deletionssrc/syntaxTreeCore.ml
- src/syntaxTreeDump.mli 2 additions, 2 deletionssrc/syntaxTreeDump.mli
- src/test/should_work/Pascal/consensus.lus 1 addition, 1 deletionsrc/test/should_work/Pascal/consensus.lus
- src/test/should_work/Pascal/left.lus 2 additions, 2 deletionssrc/test/should_work/Pascal/left.lus
- src/test/test.res.exp 105 additions, 305 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment