Rename LicName into FreshName.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/compile.ml 2 additions, 2 deletionssrc/compile.ml
- src/freshName.ml 4 additions, 4 deletionssrc/freshName.ml
- src/freshName.mli 3 additions, 3 deletionssrc/freshName.mli
- src/l2lExpandArrays.ml 2 additions, 2 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandMetaOp.ml 2 additions, 2 deletionssrc/l2lExpandMetaOp.ml
- src/l2lExpandNodes.ml 2 additions, 2 deletionssrc/l2lExpandNodes.ml
- src/l2lOptimIte.ml 2 additions, 2 deletionssrc/l2lOptimIte.ml
- src/l2lSplit.ml 1 addition, 1 deletionsrc/l2lSplit.ml
- src/licDump.ml 2 additions, 2 deletionssrc/licDump.ml
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
- test/lus2lic.time 9 additions, 9 deletionstest/lus2lic.time
Loading
Please register or sign in to comment