soc2c: add an option -enc (or --expand-node-call) <string>
that expands the call of the specified node (can be used for several nodes). Remove the previous --do_not-expand-nodes <string> Also, the L2lExpandNodes pass now deletes the expanded nodes from the current LicPrg.t.
Showing
- Makefile 3 additions, 0 deletionsMakefile
- release-lv6/Makefile 5 additions, 2 deletionsrelease-lv6/Makefile
- src/compile.ml 46 additions, 10 deletionssrc/compile.ml
- src/l2lExpandNodes.ml 26 additions, 16 deletionssrc/l2lExpandNodes.ml
- src/l2lExpandNodes.mli 3 additions, 3 deletionssrc/l2lExpandNodes.mli
- src/licPrg.ml 6 additions, 1 deletionsrc/licPrg.ml
- src/licPrg.mli 2 additions, 1 deletionsrc/licPrg.mli
- src/lv6MainArgs.ml 8 additions, 8 deletionssrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 1 addition, 1 deletionsrc/lv6MainArgs.mli
- test/Makefile 1 addition, 1 deletiontest/Makefile
- test/Makefile.dist 5 additions, 1 deletiontest/Makefile.dist
- test/lus2lic.sum 12 additions, 12 deletionstest/lus2lic.sum
- test/lus2lic.time 7 additions, 7 deletionstest/lus2lic.time
- todo.org 3 additions, 9 deletionstodo.org
- todo.org_archive 9 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment