projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc81075) | patch
adding simple-uf to the regressions, and the code that apparently solves it
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 8 Mar 2010 23:03:48 +0000 (23:03 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 8 Mar 2010 23:03:48 +0000 (23:03 +0000)
commitde0160112edbed8ce9b62bf87172ae2f0e99a013
treec9fc1e4b7f365dbd34a79b8360f3ac8a006aad68tree
parentfc810750142ee15917c6d77d21d987c369ce774bcommit | diff
adding simple-uf to the regressions, and the code that apparently solves it
.settings/org.eclipse.ltk.core.refactoring.prefs [new file with mode: 0644] blob
src/prop/cnf_stream.cpp diff | blob | history
src/prop/cnf_stream.h diff | blob | history
src/prop/minisat/core/Solver.C diff | blob | history
src/prop/sat.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history