The -exec mode now supports the boolred iterator.
Showing
- src/lic2soc.ml 63 additions, 40 deletionssrc/lic2soc.ml
- src/licMetaOp.ml 2 additions, 2 deletionssrc/licMetaOp.ml
- src/misc.ml 2 additions, 1 deletionsrc/misc.ml
- src/socExec.ml 15 additions, 4 deletionssrc/socExec.ml
- src/socExecValue.ml 3 additions, 8 deletionssrc/socExecValue.ml
- src/socExecValue.mli 10 additions, 2 deletionssrc/socExecValue.mli
- src/socPredef.ml 2 additions, 9 deletionssrc/socPredef.ml
- src/socPredef.mli 2 additions, 1 deletionsrc/socPredef.mli
- src/socUtils.ml 8 additions, 1 deletionsrc/socUtils.ml
- src/socUtils.mli 4 additions, 1 deletionsrc/socUtils.mli
- test/lus2lic.sum 1 addition, 1 deletiontest/lus2lic.sum
- test/lus2lic.time 2 additions, 2 deletionstest/lus2lic.time
Loading
Please register or sign in to comment