Add an eponymous L2lRemoveAlias pass
Also, use rdbg instead of lurettetop to run the test.
Showing
- _oasis 2 additions, 2 deletions_oasis
- lv6-ref-man/lv6-ref-man.tex 4 additions, 1 deletionlv6-ref-man/lv6-ref-man.tex
- src/l2lRemoveAlias.ml 177 additions, 0 deletionssrc/l2lRemoveAlias.ml
- src/l2lRemoveAlias.mli 3 additions, 0 deletionssrc/l2lRemoveAlias.mli
- src/lic2soc.ml 11 additions, 8 deletionssrc/lic2soc.ml
- src/lus2licRun.ml 3 additions, 2 deletionssrc/lus2licRun.ml
- src/lustre-v6.mldylib 2 additions, 1 deletionsrc/lustre-v6.mldylib
- src/lustre-v6.mllib 2 additions, 1 deletionsrc/lustre-v6.mllib
- src/lv6Compile.ml 5 additions, 2 deletionssrc/lv6Compile.ml
- src/lv6MainArgs.ml 8 additions, 1 deletionsrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 1 addition, 0 deletionssrc/lv6MainArgs.mli
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- test/lus2lic.log.ref 0 additions, 17067 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 32 additions, 26 deletionstest/lus2lic.sum
- test/should_work/CURRENT.lus 1 addition, 0 deletionstest/should_work/CURRENT.lus
- test/site.exp 2 additions, 3 deletionstest/site.exp
- utils/compare_exec_and_2c 11 additions, 9 deletionsutils/compare_exec_and_2c
- utils/lustrequiv 10 additions, 8 deletionsutils/lustrequiv
- utils/test_lus2lic 7 additions, 2 deletionsutils/test_lus2lic
- utils/test_lus2lic_no_node 7 additions, 6 deletionsutils/test_lus2lic_no_node
Loading
Please register or sign in to comment