Accept current(<const>) expressions (and simply ignore the current).
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/evalClock.ml 291 additions, 281 deletionssrc/evalClock.ml
- src/lic.ml 4 additions, 1 deletionsrc/lic.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/main.ml 14 additions, 9 deletionssrc/main.ml
- src/soc2c.ml 1 addition, 1 deletionsrc/soc2c.ml
- src/soc2cExtern.ml 4 additions, 3 deletionssrc/soc2cExtern.ml
- src/soc2cGenAssign.ml 4 additions, 3 deletionssrc/soc2cGenAssign.ml
- src/soc2cGenAssign.mli 1 addition, 1 deletionsrc/soc2cGenAssign.mli
- src/socPredef.ml 62 additions, 62 deletionssrc/socPredef.ml
- test/lus2lic.sum 14 additions, 14 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment