2021-01-28 |
Andrew Reynolds | Simplify lemma interface (#5819) |
blob | commitdiff | raw |
2021-01-28 |
Andrew Reynolds | Always theory-preprocess lemmas (#5817) |
blob | commitdiff | raw | diff to current |
2021-01-11 |
Andrew Reynolds | Merge theory registrar and theory proxy (#5758) |
blob | commitdiff | raw | diff to current |
2020-12-21 |
Andrew Reynolds | Move ownership of theory preprocessor to TheoryProxy... |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Haniel Barbosa | [proof-new] Adds a proof manager for the SAT solver... |
blob | commitdiff | raw | diff to current |
2020-09-22 |
Mathias Preiner | Update copyright header script to support CMake and... |
blob | commitdiff | raw | diff to current |
2020-09-16 |
Abdalrhman Mohamed | Dump commands in internal code using command printing... |
blob | commitdiff | raw | diff to current |
2020-06-16 |
Aina Niemetz | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2020-03-31 |
Andrew Reynolds | Remove replay and use-theory options and idl (#4186) |
blob | commitdiff | raw | diff to current |
2020-02-26 |
Andres Noetzli | Remove portfolio leftovers (#3821) |
blob | commitdiff | raw | diff to current |
2020-02-20 |
Mathias Preiner | resource manager: Add statistic for every resource... |
blob | commitdiff | raw | diff to current |
2019-04-24 |
Mathias Preiner | Do not use __ prefix for header guards. (#2974) |
blob | commitdiff | raw | diff to current |
2019-03-26 |
Aina Niemetz | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2018-06-25 |
Aina Niemetz | Updated copyright headers. |
blob | commitdiff | raw | diff to current |
2018-01-16 |
Tim King | Removing more miscellaneous throw specifiers. (#1509) |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
blob | commitdiff | raw | diff to current |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2016-04-20 |
PaulMeng | update from the master |
blob | commitdiff | raw | diff to current |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
blob | commitdiff | raw | diff to current |
2016-02-02 |
Tim King | Moving dump.*, command.*, model.*, and ite_removal... |
blob | commitdiff | raw | diff to current |
2016-01-28 |
Tim King | Adding listeners to Options. |
blob | commitdiff | raw | diff to current |
2016-01-09 |
Tim King | Removing StatisticsRegistry's static functions current... |
blob | commitdiff | raw | diff to current |
2016-01-06 |
Tim King | Add SmtGlobals Class |
blob | commitdiff | raw | diff to current |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
blob | commitdiff | raw | diff to current |
2015-05-29 |
lianah | changed resource step options to unsigned |
blob | commitdiff | raw | diff to current |
2015-05-28 |
Liana Hadarean | added options for controlling resource step-count for... |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-11-17 |
Liana Hadarean | Resource-limiting work. |
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-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
blob | commitdiff | raw | diff to current |
2014-06-22 |
lianah | Merge pull request #39 from mdeters/bv-warnings |
blob | commitdiff | raw | diff to current |
2014-06-22 |
lianah | Merge pull request #35 from mdeters/bv-kinds |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Morgan Deters | Fix compiler warnings (mostly unused variables). |
blob | commitdiff | raw | diff to current |
2014-04-30 |
Morgan Deters | Mostly resolves bug #561 memory leaks, and more. |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
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-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 |
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-06 |
Morgan Deters | * Clean up some options documentation |
blob | commitdiff | raw | diff to current |
2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
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-17 |
Dejan Jovanović | Queueing up asserted literals in the proxy instead... |
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-17 |
Kshitij Bansal | A dummy decision engine. Expected performance impact... |
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 |
|