projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c300293) | patch
Implement subtree-skipping optimisation (a one liner, really ~_~) that skips a whole...
authorKim Nguyễn <kn@lri.fr>
Sat, 11 Jan 2014 17:22:16 +0000 (18:22 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 11 Jan 2014 17:22:16 +0000 (18:22 +0100)
commitaae9118fbf9d29df5d7fc36efe2afd6eadab11d1
tree075d4ea08ad90694144c63f112bb4e882058298dtree | snapshot
parentc3002932ccf2287a2a3d399dfa140cc216bc2b69commit | diff
Implement subtree-skipping optimisation (a one liner, really ~_~) that skips a whole subtree during the topdown phase when some states had to be proven but none could.
src/run.ml diff | blob | history
Tree Automata TOOlkit