projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 172af8a) | patch
Perform selection of nodes during the last run instead of performing an extra traversal.
authorKim Nguyễn <kn@lri.fr>
Sat, 11 Jan 2014 13:38:27 +0000 (14:38 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 11 Jan 2014 13:38:27 +0000 (14:38 +0100)
commitc3002932ccf2287a2a3d399dfa140cc216bc2b69
treea7559ba2ed5ce84fce56905965a854f0b8d7cf8dtree | snapshot
parent172af8a5311dd53ad6df9e330d6917200441dd39commit | diff
Perform selection of nodes during the last run instead of performing an extra traversal.
src/run.ml diff | blob | history
Tree Automata TOOlkit