projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e50d0f0) | patch
Cleaner version of bug-fix for 528, also moved substitutions.h out of theory.h
authorClark Barrett <barrett@cs.nyu.edu>
Mon, 23 Sep 2013 21:33:53 +0000 (14:33 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Mon, 23 Sep 2013 21:33:53 +0000 (14:33 -0700)
commit9775bced75843c6f01e9524c2d0e7021535e3ec0
tree3b150624ca81fcfd4940b73c7727e05d17c2ffc4tree
parente50d0f0d93636f296b8d33dc4bd2cd9f91e159e5commit | diff
Cleaner version of bug-fix for 528, also moved substitutions.h out of theory.h
for faster compilation
src/smt/smt_engine.cpp diff | blob | history
src/theory/booleans/theory_bool.cpp diff | blob | history
src/theory/substitutions.cpp diff | blob | history
src/theory/substitutions.h diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/theory_uf_rewriter.h diff | blob | history