Fix a performance bug in the clock checking (quadratic->linear).
The test now runs in 150s (versus 417s) [...] for some reasons, i cannot reproduce the 150s !!!
Showing
- src/ast2lic.ml 24 additions, 10 deletionssrc/ast2lic.ml
- src/compile.ml 1 addition, 1 deletionsrc/compile.ml
- src/evalClock.ml 207 additions, 193 deletionssrc/evalClock.ml
- src/l2lExpandArrays.ml 78 additions, 74 deletionssrc/l2lExpandArrays.ml
- src/l2lSplit.ml 6 additions, 6 deletionssrc/l2lSplit.ml
- src/main.ml 1 addition, 1 deletionsrc/main.ml
- src/rif_base.ml 2 additions, 0 deletionssrc/rif_base.ml
- src/socExec.ml 2 additions, 2 deletionssrc/socExec.ml
- src/unifyClock.ml 1 addition, 3 deletionssrc/unifyClock.ml
- test/lus2lic.sum 1 addition, 3 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
- test/site.exp 1 addition, 0 deletionstest/site.exp
- todo.org 2 additions, 1 deletiontodo.org
- utils/test_lus2lic_no_node 5 additions, 4 deletionsutils/test_lus2lic_no_node
Loading
Please register or sign in to comment