Plug back node Expansion. Now -ec is working again !
Also call L2lCheckOutputs.check_node for all compiled nodes at the end of all the l2l transfo.
Showing
- src/ast2lic.ml 3 additions, 1 deletionsrc/ast2lic.ml
- src/astCore.ml 5 additions, 1 deletionsrc/astCore.ml
- src/compile.ml 15 additions, 4 deletionssrc/compile.ml
- src/l2lCheckOutputs.ml 164 additions, 131 deletionssrc/l2lCheckOutputs.ml
- src/l2lCheckOutputs.mli 3 additions, 2 deletionssrc/l2lCheckOutputs.mli
- src/l2lExpandArrays.ml 2 additions, 2 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandMetaOp.ml 3 additions, 3 deletionssrc/l2lExpandMetaOp.ml
- src/l2lExpandNodes.ml 143 additions, 100 deletionssrc/l2lExpandNodes.ml
- src/l2lExpandNodes.mli 10 additions, 2 deletionssrc/l2lExpandNodes.mli
- src/l2lRmPoly.ml 3 additions, 5 deletionssrc/l2lRmPoly.ml
- src/lic.ml 28 additions, 4 deletionssrc/lic.ml
- src/licEvalType.ml 3 additions, 6 deletionssrc/licEvalType.ml
- src/licMetaOp.ml 5 additions, 1 deletionsrc/licMetaOp.ml
- src/licPrg.ml 2 additions, 0 deletionssrc/licPrg.ml
- src/licPrg.mli 3 additions, 1 deletionsrc/licPrg.mli
- src/licTab.ml 104 additions, 108 deletionssrc/licTab.ml
- src/mainArgs.ml 5 additions, 2 deletionssrc/mainArgs.ml
- todo.org 1 addition, 17 deletionstodo.org
Loading
Please register or sign in to comment