projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 021fdd8) | patch
Improve performances by moving the caching outside of the saturation
authorKim Nguyễn <kn@lri.fr>
Fri, 26 Jul 2013 14:38:26 +0000 (16:38 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 26 Jul 2013 14:38:26 +0000 (16:38 +0200)
commitcfef2deaf1a17df7bcb153c3b92e28e14edd912b
tree6356b9895921f1667504fbb7fcb2798b0c862e5dtree | snapshot
parent021fdd8af4067ec57cdbf5c2dbc903252cbd4707commit | diff
Improve performances by moving the caching outside of the saturation
of the set of states of the current node (instead of caching and
looking-up at each step)
src/run.ml diff | blob | history
Tree Automata TOOlkit