Fix the clock checking, that was wrong again...
Showing
- src/Makefile 2 additions, 2 deletionssrc/Makefile
- src/eff.ml 4 additions, 1 deletionsrc/eff.ml
- src/evalClock.ml 87 additions, 59 deletionssrc/evalClock.ml
- src/getEff.ml 20 additions, 14 deletionssrc/getEff.ml
- src/inline.ml 2 additions, 2 deletionssrc/inline.ml
- src/main.ml 7 additions, 6 deletionssrc/main.ml
- src/split.ml 1 addition, 1 deletionsrc/split.ml
- src/test/should_work/clock/when_enum.lus 2 additions, 6 deletionssrc/test/should_work/clock/when_enum.lus
- src/test/should_work/demo/declaration.lus 1 addition, 1 deletionsrc/test/should_work/demo/declaration.lus
- src/test/test.res.exp 36 additions, 36 deletionssrc/test/test.res.exp
- src/unifyClock.ml 28 additions, 29 deletionssrc/unifyClock.ml
- src/unifyClock.mli 6 additions, 6 deletionssrc/unifyClock.mli
Loading
Please register or sign in to comment