More work on the -eeb option.
To do that, I have created a new dedicated module L2lExpandEnum, that actually also deals with -eei (which was probably wrong, even if I have not counter-exemple). Use 1-hot encoding instead of log-encoding I've fixed a bug in L2lExpandArrays that occurs on equation such as some_bool = (some_array1 = some_array2); Also, I've rewritten Lv6Compile for more readability Remove duplicated code when using SocMap.find and co
Showing
- _oasis 3 additions, 3 deletions_oasis
- src/l2lExpandArrays.ml 66 additions, 20 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandEnum.ml 174 additions, 0 deletionssrc/l2lExpandEnum.ml
- src/l2lExpandEnum.mli 14 additions, 0 deletionssrc/l2lExpandEnum.mli
- src/l2lSplit.ml 29 additions, 47 deletionssrc/l2lSplit.ml
- src/l2lSplit.mli 1 addition, 1 deletionsrc/l2lSplit.mli
- src/lic.ml 2 additions, 2 deletionssrc/lic.ml
- src/lic2soc.ml 7 additions, 16 deletionssrc/lic2soc.ml
- src/licDump.ml 7 additions, 2 deletionssrc/licDump.ml
- src/licPrg.ml 49 additions, 30 deletionssrc/licPrg.ml
- src/lus2licRun.ml 2 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 162 additions, 129 deletionssrc/lv6Compile.ml
- src/lv6MainArgs.ml 4 additions, 5 deletionssrc/lv6MainArgs.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/main.ml 3 additions, 3 deletionssrc/main.ml
- src/soc.ml 9 additions, 2 deletionssrc/soc.ml
- src/soc2c.ml 8 additions, 8 deletionssrc/soc2c.ml
- src/socUtils.ml 8 additions, 8 deletionssrc/socUtils.ml
Loading
Please register or sign in to comment