2014-08-25 |
Morgan Deters | Fix Win32 builds. |
blob | commitdiff | raw |
2014-08-22 |
Morgan Deters | Unsat core infrastruture and API (SMT-LIB compliance... |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-06-10 |
lianah | Merging CAV14 paper bit-vector work. |
blob | commitdiff | raw | diff to current |
2013-11-06 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-04 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-10-08 |
Liana Hadarean | first draft implementation of uf proofs with holes |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-04 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-10 |
lianah | now proofs print mapping between atom and propositional... |
blob | commitdiff | raw | diff to current |
2013-04-03 |
Dejan Jovanović | * changing the bitblast-eager to bitblast on pre-register |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-23 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-19 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-22 |
Dejan Jovanović | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-18 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
blob | commitdiff | raw | diff to current |
2012-12-12 |
Dejan Jovanović | Merge pull request #2 from CVC4/1.0.x |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x', getting fix for bug 480 |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
blob | commitdiff | raw | diff to current |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
blob | commitdiff | raw | diff to current |
2012-12-07 |
François Bobot | Merge release branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-06 |
François Bobot | Merge branch 'release-1.0.x' |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Tim King | This commit merges in CDTrailHashMap and CDInsertHashMa... |
blob | commitdiff | raw | diff to current |
2012-11-26 |
Dejan Jovanović | fixup for incremental solving |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-10-05 |
Dejan Jovanović | BoolExpr removed and replaced with Expr |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Dejan Jovanović | adding ::getBooleanVariables to the PropEngine |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert... |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | Public interface review items: |
blob | commitdiff | raw | diff to current |
2012-08-03 |
Morgan Deters | fix uses of getMetaKind() from outside the expr package... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-06-08 |
Kshitij Bansal | Merge from decision branch (till r3663) |
blob | commitdiff | raw | diff to current |
2012-05-18 |
Tim King | This commit removes the dead psuedoboolean code. |
blob | commitdiff | raw | diff to current |
2012-05-09 |
Dejan Jovanović | * simplifying equality engine interface |
blob | commitdiff | raw | diff to current |
2012-03-25 |
Dejan Jovanović | sat_module.h,cpp -> sat_solver.h,cpp (as intended) |
blob | commitdiff | raw | diff to current |
2012-03-25 |
Dejan Jovanović | sat.h,cpp -> theory_proxy.h,cpp (this is what it defines) |
blob | commitdiff | raw | diff to current |
2012-03-09 |
Morgan Deters | Some work on the dump infrastructure to support portfol... |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2012-02-29 |
Liana Hadarean | This should fix the debian build fails: |
blob | commitdiff | raw | diff to current |
2012-02-29 |
Morgan Deters | consistency in how the Dump output stream is used |
blob | commitdiff | raw | diff to current |
2012-02-25 |
Liana Hadarean | Refactored CnfStream to work with the bv theory Bitblaster: |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | fix sharing issue for portfolio (full lit-to-node map... |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
2011-11-15 |
Morgan Deters | Bindings work (ocaml bindings are now sort of working... |
blob | commitdiff | raw | diff to current |
2011-10-05 |
Morgan Deters | ensureLiteral() in CNF stream to support Andy's quantif... |
blob | commitdiff | raw | diff to current |
2011-09-30 |
Morgan Deters | fix to CNF undoTranslate(), to support incrementality |
blob | commitdiff | raw | diff to current |
2011-09-30 |
Morgan Deters | fixes to incremental simplification, cnf routines,... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Partial merge of integers work; this is simple B&B... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Dejan Jovanović | * Changing pre-registration to be context dependent... |
blob | commitdiff | raw | diff to current |
2011-08-17 |
Dejan Jovanović | new implementation of lemmas on demand |
blob | commitdiff | raw | diff to current |
2011-07-07 |
Dejan Jovanović | removing duplicate clauses in ite cnf conversion |
blob | commitdiff | raw | diff to current |
2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
blob | commitdiff | raw | diff to current |
2011-04-10 |
Morgan Deters | merge from replay branch |
blob | commitdiff | raw | diff to current |
2011-04-05 |
Morgan Deters | Minor adjustments to the Registrar commit in 1644,... |
blob | commitdiff | raw | diff to current |
2011-04-04 |
Tim King | Merging the satliteral-before-prereg branch into trunk... |
blob | commitdiff | raw | diff to current |
2011-04-02 |
Morgan Deters | minor fixes |
blob | commitdiff | raw | diff to current |
2011-04-01 |
Morgan Deters | minor bugfixes (fixes broken dynamic-library build... |
blob | commitdiff | raw | diff to current |
2011-03-21 |
Dejan Jovanović | more bugfixes, some basic propagation, and testcases... |
blob | commitdiff | raw | diff to current |
2010-11-09 |
Dejan Jovanović | Lemmas on demand work, push-pop, some cleanup. |
blob | commitdiff | raw | diff to current |
2010-10-31 |
Morgan Deters | enable dependence graphs in doxygen; fix lots of doxyge... |
blob | commitdiff | raw | diff to current |
2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors... |
blob | commitdiff | raw | diff to current |
2010-08-19 |
Morgan Deters | UF theory bug fixes, code cleanup, and extra debugging... |
blob | commitdiff | raw | diff to current |
2010-08-16 |
Dejan Jovanović | Fixing failures in minisat |
blob | commitdiff | raw | diff to current |
2010-08-15 |
Dejan Jovanović | (no commit message) |
blob | commitdiff | raw | diff to current |
2010-07-22 |
Morgan Deters | incorporate a fix from smtcomp2010 version for handling... |
blob | commitdiff | raw | diff to current |
next |