"README.md" did not exist on "d4e6c582630930243338287dcef83c1f4b8a1baf"
Use topoSort to sort the list of vars in LicTab.sort_vars.
I was re-implementing an inneficient topological sort there (using a linear list instead of logarithmic map). I win 1s on tri.ec (~8000 locals).
Showing
- .gitignore 54 additions, 0 deletions.gitignore
- _oasis 1 addition, 1 deletion_oasis
- src/lic2soc.ml 3 additions, 3 deletionssrc/lic2soc.ml
- src/licTab.ml 423 additions, 402 deletionssrc/licTab.ml
- src/lv6Compile.ml 3 additions, 3 deletionssrc/lv6Compile.ml
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/topoSort.ml 4 additions, 2 deletionssrc/topoSort.ml
- src/unifyClock.ml 4 additions, 3 deletionssrc/unifyClock.ml
- test/lus2lic.sum 11 additions, 13 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment