projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b9dbcd) | patch
Implement a look-up table cache based on hashconsing to speed up automata evaluation.
authorKim Nguyễn <kn@lri.fr>
Thu, 15 May 2014 13:43:40 +0000 (15:43 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 15 May 2014 13:43:40 +0000 (15:43 +0200)
commitdf5ce50d29b10bfdf26aff02c83d0a7ec614228a
tree74ccd3fa4d9da2dfae4668636ae347e31908726ftree | snapshot
parent3b9dbcd9318dba41999dc6cc43093edbe5bc4c5dcommit | diff
Implement a look-up table cache based on hashconsing to speed up automata evaluation.
src/run.ml diff | blob | history
Tree Automata TOOlkit