| 2014-10-07 |
Morgan Deters | Fix a resource limiting issue where interruption didn... |
blob | commitdiff | raw |
| 2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
blob | commitdiff | raw | diff to current |
| 2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw | diff to current |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-22 |
Morgan Deters | Unsat core infrastruture and API (SMT-LIB compliance... |
blob | commitdiff | raw | diff to current |
| 2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-19 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-18 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-04 |
Morgan Deters | Better support for resource-limiting when there aren... |
blob | commitdiff | raw | diff to current |
| 2014-05-27 |
Kshitij Bansal | Revert "timespec printing bug" |
blob | commitdiff | raw | diff to current |
| 2014-05-27 |
Kshitij Bansal | timespec printing bug |
blob | commitdiff | raw | diff to current |
| 2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
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-09 |
lianah | fixed uf proof bug: now storing deleted theory lemmas |
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-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
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-25 |
Morgan Deters | Proposed fix for bug #513 |
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 | fixes to the proof system so it works with theory lemma... |
blob | commitdiff | raw | diff to current |
| 2013-05-03 |
Tim King | Merging branch 'soiquickexplain'. |
blob | commitdiff | raw | diff to current |
| 2013-05-03 |
Tim King | Merge branch 'fcexplanations' |
blob | commitdiff | raw | diff to current |
| 2013-04-30 |
lianah | fixed merge conflicts |
blob | commitdiff | raw | diff to current |
| 2013-04-29 |
Kshitij Bansal | Merge pull request #9 from kbansal/master |
blob | commitdiff | raw | diff to current |
| 2013-04-26 |
Kshitij Bansal | Merge experimental decisionweight branch |
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 |
| 2012-11-26 |
Dejan Jovanović | fixup for incremental solving |
blob | commitdiff | raw | diff to current |
| 2012-11-14 |
Kshitij Bansal | fix a race problem. due to interrupt mechanism minisat... |
blob | commitdiff | raw | diff to current |
| 2012-10-24 |
Dejan Jovanović | fix for bug 429 |
blob | commitdiff | raw | diff to current |
| 2012-10-09 |
Morgan Deters | * Add assertion in TheoryModel code to ensure we don... |
blob | commitdiff | raw | diff to current |
| 2012-10-05 |
Morgan Deters | Bug-related: |
blob | commitdiff | raw | diff to current |
| 2012-10-05 |
Dejan Jovanović | BoolExpr removed and replaced with Expr |
blob | commitdiff | raw | diff to current |
| 2012-08-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
blob | commitdiff | raw | diff to current |
| 2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
| 2012-06-17 |
Dejan Jovanović | fixing a problem due to lemmas produced while backtracking |
blob | commitdiff | raw | diff to current |
| 2012-06-14 |
Kshitij Bansal | fix quantifier non-bug |
blob | commitdiff | raw | diff to current |
| 2012-06-12 |
Kshitij Bansal | cleanup of exit mechanism when decisionEngine is on... |
blob | commitdiff | raw | diff to current |
| 2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
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-16 |
Dejan Jovanović | Changes to SAT solver: |
blob | commitdiff | raw | diff to current |
| 2012-05-16 |
Dejan Jovanović | removing duplicate literals in explanations of propagations |
blob | commitdiff | raw | diff to current |
| 2012-05-09 |
Dejan Jovanović | * simplifying equality engine interface |
blob | commitdiff | raw | diff to current |
| 2012-05-09 |
Kshitij Bansal | Merge from decision branch (ITE support) |
blob | commitdiff | raw | diff to current |
| 2012-05-08 |
Liana Hadarean | Merging in bvprop branch, with proper bit-vector propag... |
blob | commitdiff | raw | diff to current |
| 2012-04-23 |
Kshitij Bansal | Merge from decision branch -- partially working justifi... |
blob | commitdiff | raw | diff to current |
| 2012-04-04 |
Liana Hadarean | * added propagation as lemmas to TheoryBV: |
blob | commitdiff | raw | diff to current |
| 2012-03-28 |
Dejan Jovanović | Some renaming and refactoring in SAT |
blob | commitdiff | raw | diff to current |
| 2012-03-25 |
Dejan Jovanović | moving minisat implementation into their respective... |
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-09 |
Morgan Deters | Strengthen minisat assertion regarding t-propagations... |
blob | commitdiff | raw | diff to current |
| 2012-03-08 |
Dejan Jovanović | Fixin the bug Clark found. In final check, enqueued... |
blob | commitdiff | raw | diff to current |
| 2012-03-08 |
Dejan Jovanović | Removing QUICK_CHECK, and other unused ones, from the... |
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-25 |
Liana Hadarean | Refactored CnfStream to work with the bv theory Bitblaster: |
blob | commitdiff | raw | diff to current |
| 2012-02-22 |
Morgan Deters | Added OutputChannel::propagateAsDecision() functionalit... |
blob | commitdiff | raw | diff to current |
| 2011-12-12 |
Dejan Jovanović | * merging some uf stuff from incremental_work branch... |
blob | commitdiff | raw | diff to current |
| 2011-11-02 |
Morgan Deters | fully implement the always-check-again-after-the-output... |
blob | commitdiff | raw | diff to current |
| 2011-10-28 |
Liana Hadarean | merged the proofgen3 branch into trunk: |
blob | commitdiff | raw | diff to current |
| 2011-10-17 |
Dejan Jovanović | Sharing work |
blob | commitdiff | raw | diff to current |
| 2011-10-03 |
Morgan Deters | user push/pop support in minisat and simplification... |
blob | commitdiff | raw | diff to current |
| 2011-09-30 |
Morgan Deters | more push/pop infrastructure, some SAT stuff |
blob | commitdiff | raw | diff to current |
| 2011-09-29 |
Morgan Deters | Some base infrastructure for user push/pop; a few bugfi... |
blob | commitdiff | raw | diff to current |
| 2011-09-15 |
Dejan Jovanović | additional stuff for sharing, |
blob | commitdiff | raw | diff to current |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
| next |
projects / cvc5.git / history