Fix a bug where var names invented in l2lSplit and l2lExpandNodes were clashing.
It was beacause the tables in LicVarName were cleaned and because the way this module work sucks...
Showing
- src/compile.ml 2 additions, 2 deletionssrc/compile.ml
- src/global.ml 1 addition, 1 deletionsrc/global.ml
- src/l2lExpandNodes.ml 1 addition, 2 deletionssrc/l2lExpandNodes.ml
- src/l2lSplit.ml 1 addition, 3 deletionssrc/l2lSplit.ml
- src/licName.ml 1 addition, 8 deletionssrc/licName.ml
- src/licName.mli 1 addition, 3 deletionssrc/licName.mli
- src/mainArgs.ml 1 addition, 1 deletionsrc/mainArgs.ml
- src/unifyClock.ml 30 additions, 30 deletionssrc/unifyClock.ml
- test/lus2lic.log.ref 13017 additions, 13023 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 9 additions, 6 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
- test/site.exp 4 additions, 0 deletionstest/site.exp
- todo.org 11 additions, 16 deletionstodo.org
- todo.org_archive 17 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment