Rewrite the topological sort of actions.
The main difference is that I use a map instead of list to store visited nodes. The compilation time of normal.ec is divided by 2!! (35s->15s) We do not really see the difference in the time of the non-reg tests since the execution of normal.ec still exceeds the 10s timeouts.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/actionsDeps.ml 61 additions, 1 deletionsrc/actionsDeps.ml
- src/actionsDeps.mli 5 additions, 1 deletionsrc/actionsDeps.mli
- src/compile.ml 30 additions, 12 deletionssrc/compile.ml
- src/lic2soc.ml 17 additions, 6 deletionssrc/lic2soc.ml
- src/lv6MainArgs.ml 2 additions, 2 deletionssrc/lv6MainArgs.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/main.ml 12 additions, 11 deletionssrc/main.ml
- src/toposort.ml 0 additions, 39 deletionssrc/toposort.ml
- src/toposort.mli 0 additions, 14 deletionssrc/toposort.mli
- test/Makefile 1 addition, 1 deletiontest/Makefile
- test/lus2lic.log.ref 41 additions, 268 deletionstest/lus2lic.log.ref
- test/lus2lic.sum 2 additions, 2 deletionstest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
Loading
Please register or sign in to comment