"lib/rifIO.ml" did not exist on "b91a4360075cad98c180e7796b226add765e5b3e"
socExecDbg: add events for Assign and clocks
+ fix a (invisible) bug in lic2soc: the same action was generated twice.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/ast2lic.ml 4 additions, 3 deletionssrc/ast2lic.ml
- src/lic2soc.ml 3 additions, 5 deletionssrc/lic2soc.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/lxm.ml 4 additions, 1 deletionsrc/lxm.ml
- src/lxm.mli 3 additions, 1 deletionsrc/lxm.mli
- src/socExecDbg.ml 503 additions, 362 deletionssrc/socExecDbg.ml
- src/socPredef.ml 78 additions, 78 deletionssrc/socPredef.ml
- src/socPredef.mli 2 additions, 2 deletionssrc/socPredef.mli
- src/socUtils.ml 12 additions, 2 deletionssrc/socUtils.ml
- src/socUtils.mli 3 additions, 1 deletionsrc/socUtils.mli
- test/lus2lic.sum 13 additions, 13 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment