clock checking: better error msg wrt source line numbers.
Showing
- src/ast2lic.ml 6 additions, 5 deletionssrc/ast2lic.ml
- src/astCore.ml 2 additions, 1 deletionsrc/astCore.ml
- src/evalClock.ml 53 additions, 19 deletionssrc/evalClock.ml
- src/evalClock.mli 3 additions, 3 deletionssrc/evalClock.mli
- src/lic.ml 8 additions, 1 deletionsrc/lic.ml
- src/unifyClock.ml 28 additions, 25 deletionssrc/unifyClock.ml
- src/unifyClock.mli 3 additions, 3 deletionssrc/unifyClock.mli
- test/Makefile 4 additions, 1 deletiontest/Makefile
- test/lus2lic.sum 25 additions, 17 deletionstest/lus2lic.sum
- test/lus2lic.tests/test2.exp 1 addition, 1 deletiontest/lus2lic.tests/test2.exp
- test/lus2lic.time 7 additions, 5 deletionstest/lus2lic.time
- test/should_fail/semantics/tranche.lus 0 additions, 0 deletionstest/should_fail/semantics/tranche.lus
- test/should_work/PCOND.lus 8 additions, 6 deletionstest/should_work/PCOND.lus
- test/should_work/X6.lus 5 additions, 5 deletionstest/should_work/X6.lus
- todo.org 65 additions, 16 deletionstodo.org
- todo.org_archive 10 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment