From: Kim Nguyễn <kn@lri.fr>
Date: Sat, 11 Jan 2014 17:22:16 +0000 (+0100)
Subject: Implement subtree-skipping optimisation (a one liner, really ~_~) that skips a whole... 
X-Git-Tag: v0.1~3
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=aae9118fbf9d29df5d7fc36efe2afd6eadab11d1;hp=aae9118fbf9d29df5d7fc36efe2afd6eadab11d1

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.
---