projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df5ce50) | patch
Don't needlessly run the last bottom-up phase, when the top-down is sufficient. feature/fast-multipass
authorKim Nguyễn <kn@lri.fr>
Thu, 15 May 2014 21:22:51 +0000 (23:22 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 15 May 2014 22:49:51 +0000 (00:49 +0200)
commitbe78f22d7e28eafc4cd575e134550a863ac06db1
treedcb75a4493219b91108ba3104798fb3dd718e231tree | snapshot
parentdf5ce50d29b10bfdf26aff02c83d0a7ec614228acommit | diff
Don't needlessly run the last bottom-up phase, when the top-down is sufficient.
configure.in diff | blob | history
src/cache.ml diff | blob | history
src/run.ml diff | blob | history
Tree Automata TOOlkit