Program with memories and node calls now works in -exec mode !
Showing
- Makefile 4 additions, 0 deletionsMakefile
- src/actionsDeps.ml 1 addition, 1 deletionsrc/actionsDeps.ml
- src/actionsDeps.mli 2 additions, 1 deletionsrc/actionsDeps.mli
- src/compile.ml 1 addition, 11 deletionssrc/compile.ml
- src/global.ml 1 addition, 1 deletionsrc/global.ml
- src/lic.ml 1 addition, 1 deletionsrc/lic.ml
- src/lic2soc.ml 173 additions, 141 deletionssrc/lic2soc.ml
- src/licPrg.ml 11 additions, 34 deletionssrc/licPrg.ml
- src/licPrg.mli 3 additions, 1 deletionsrc/licPrg.mli
- src/main.ml 30 additions, 2 deletionssrc/main.ml
- src/soc.ml 9 additions, 4 deletionssrc/soc.ml
- src/socExecEvalPredef.ml 337 additions, 168 deletionssrc/socExecEvalPredef.ml
- src/socExecEvalPredef.mli 2 additions, 5 deletionssrc/socExecEvalPredef.mli
- src/socExecValue.ml 209 additions, 35 deletionssrc/socExecValue.ml
- src/socExecValue.mli 28 additions, 11 deletionssrc/socExecValue.mli
- src/socPredef.ml 179 additions, 110 deletionssrc/socPredef.ml
- src/socPredef.mli 3 additions, 2 deletionssrc/socPredef.mli
- src/socUtils.ml 27 additions, 14 deletionssrc/socUtils.ml
- src/socUtils.mli 5 additions, 1 deletionsrc/socUtils.mli
- src/verbose.ml 34 additions, 0 deletionssrc/verbose.ml
Loading
Please register or sign in to comment