add a --expand-enums-as-int option that translates enums using integers
(to be kind with data plotters).
Showing
- src/compile.ml 2 additions, 3 deletionssrc/compile.ml
- src/l2lExpandArrays.ml 7 additions, 14 deletionssrc/l2lExpandArrays.ml
- src/l2lSplit.ml 7 additions, 7 deletionssrc/l2lSplit.ml
- src/lic.ml 8 additions, 2 deletionssrc/lic.ml
- src/lic2soc.ml 4 additions, 2 deletionssrc/lic2soc.ml
- src/licDump.ml 16 additions, 12 deletionssrc/licDump.ml
- src/licPrg.ml 45 additions, 20 deletionssrc/licPrg.ml
- src/lv6MainArgs.ml 12 additions, 5 deletionssrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 7 additions, 1 deletionsrc/lv6MainArgs.mli
- src/lv6util.ml 4 additions, 0 deletionssrc/lv6util.ml
- src/main.ml 10 additions, 9 deletionssrc/main.ml
- src/socExec.ml 13 additions, 13 deletionssrc/socExec.ml
- src/socExec.mli 3 additions, 2 deletionssrc/socExec.mli
- src/socExecValue.ml 3 additions, 8 deletionssrc/socExecValue.ml
- test/lus2lic.sum 28 additions, 28 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
- utils/test_lus2lic_no_node 7 additions, 3 deletionsutils/test_lus2lic_no_node
Loading
Please register or sign in to comment