projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0f5194) | patch
fix for de+lemmas
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 25 Apr 2012 21:29:49 +0000 (21:29 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 25 Apr 2012 21:29:49 +0000 (21:29 +0000)
commitbdf233b3cade8f289b6cd22c6360771a042a7a14
tree98cbd46f483f5c578b3fb51442b864bb3f32a78btree
parentc0f5194dd56c5127c5c6dab5e59997eccc2d78a5commit | diff
fix for de+lemmas

for the first time make regress passes even if JH is enabled
src/prop/prop_engine.cpp diff | blob | history