projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9fb730) | patch
check() optimization
authorKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 2 Sep 2014 22:28:52 +0000 (18:28 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 3 Sep 2014 19:19:10 +0000 (15:19 -0400)
commit8dc1280a5161633fddfb8334811a86c911bb25c1
treef4b100a3f70acc10e6ca05a1d4c28c659df0eafetree
parente9fb730333b2719cddaa0a9209aa7953d7f30b0bcommit | diff
check() optimization

Details of testing here:
http://church.cims.nyu.edu/wiki/User:Kshitij/theorycheckoptimization
contrib/theoryskel/theory_DIR.cpp diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/idl/theory_idl.cpp diff | blob | history
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history