projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9590bc6) | patch
- Reorder the keys used to cache transitions
authorKim Nguyễn <kn@lri.fr>
Sat, 16 Mar 2013 10:32:08 +0000 (11:32 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 18 Mar 2013 19:56:55 +0000 (20:56 +0100)
commit3d06334f6539fb3376427b7cf063d2b330142b87
tree3fb8c16c43707cbdc200eb4cffe8e37a660cada1tree | snapshot
parent9590bc6b3e882cfb256507be8966917446f84e98commit | diff
- Reorder the keys used to cache transitions
- Use a new stop condition (gives optimal traversal for filter
  less queries)
- Reorder a variant type so that the hash of some variant becomes
smaller
src/auto/ata.ml diff | blob | history
src/auto/eval.ml diff | blob | history
src/tree/common.ml diff | blob | history
Tree Automata TOOlkit