projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20ef25a) | patch
Do not update the run if the todo set is empty for the current node.
authorKim Nguyễn <kn@lri.fr>
Fri, 16 Aug 2013 17:42:17 +0000 (19:42 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 16 Aug 2013 17:42:17 +0000 (19:42 +0200)
commit4ce31bbf274a8f8ac9cba15c5339459865f2a741
tree169a88c83045eaa3daa05dd77ff46bb321c76a1dtree | snapshot
parent20ef25a27a326b250ae7f32997fa6d249a6b1751commit | diff
Do not update the run if the todo set is empty for the current node.
src/run.ml diff | blob | history
Tree Automata TOOlkit