2021-01-24 |
Andrew Reynolds | (proof-new) Instantiation list utility (#5768) |
blob | commitdiff | raw |
2020-12-16 |
Andrew Reynolds | Simplify synth-fun printer (#5682) |
blob | commitdiff | raw | diff to current |
2020-12-08 |
Abdalrhman Mohamed | Fix a bug with synth-fun printer (#5512) |
blob | commitdiff | raw | diff to current |
2020-12-03 |
Aina Niemetz | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2020-11-25 |
Andrew Reynolds | Use symbol manager for printing responses get-model... |
blob | commitdiff | raw | diff to current |
2020-11-18 |
Andrew Reynolds | Use symbol manager for get assignment (#5451) |
blob | commitdiff | raw | diff to current |
2020-11-10 |
Andrew Reynolds | Add proper support for the declare-heap command for... |
blob | commitdiff | raw | diff to current |
2020-11-06 |
Andrew Reynolds | Simplify printing with respect to expression types... |
blob | commitdiff | raw | diff to current |
2020-10-20 |
Abdalrhman Mohamed | Remove some Commands from the API. (#5268) |
blob | commitdiff | raw | diff to current |
2020-10-16 |
Andrew Reynolds | Refactor SMT-level model object (#5277) |
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-04 |
Abdalrhman Mohamed | Use Result::Sat instead of BenchmarkStatus in printers... |
blob | commitdiff | raw | diff to current |
2020-09-02 |
Abdalrhman Mohamed | Introduce an internal version of Commands. (#4988) |
blob | commitdiff | raw | diff to current |
2020-08-18 |
Abdalrhman Mohamed | Refactor functions that print commands (Part 2) (#4905) |
blob | commitdiff | raw | diff to current |
2020-08-12 |
Abdalrhman Mohamed | Refactor functions that print commands (Part 1) (#4869) |
blob | commitdiff | raw | diff to current |
2020-07-14 |
Andrew Reynolds | Remove sygus print callback (#4727) |
blob | commitdiff | raw | diff to current |
2020-06-16 |
Aina Niemetz | Update copyright headers. |
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-08-08 |
Andres Noetzli | Delete functions instead of using CVC4_UNDEFINED (... |
blob | commitdiff | raw | diff to current |
2018-03-09 |
Aina Niemetz | Printers are now managed as unique_ptr (fix mem leak... |
blob | commitdiff | raw | diff to current |
2017-11-28 |
Tim King | Removing throw specifiers from internal Printer hierarc... |
blob | commitdiff | raw | diff to current |
2017-11-15 |
Andrew Reynolds | Sygus print callbacks (#1348) |
blob | commitdiff | raw | diff to current |
2017-10-11 |
Andrew Reynolds | Move unsat core names to smt engine (#1192) |
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-06 |
Tim King | Moving sexpr.{cpp,h,i} from expr/ back into util/. |
blob | commitdiff | raw | diff to current |
2015-12-30 |
Tim King | Shuffling around public vs. private headers |
blob | commitdiff | raw | diff to current |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
blob | commitdiff | raw | diff to current |
2015-10-14 |
Kshitij Bansal | Merge pull request #77 from kbansal/macsegfault |
blob | commitdiff | raw | diff to current |
2015-10-13 |
Kshitij Bansal | remove options infrastructure code which depended on... |
blob | commitdiff | raw | diff to current |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
blob | commitdiff | raw | diff to current |
2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
blob | commitdiff | raw | diff to current |
2015-04-21 |
Clark Barrett | Changes needed to compile at Google, plus some bug... |
blob | commitdiff | raw | diff to current |
2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
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-26 |
Morgan Deters | Improved SMT-LIBv2 language support for unsat cores. |
blob | commitdiff | raw | diff to current |
2014-08-23 |
Morgan Deters | Unsat core printing. |
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 |
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 | Better automatic handling of output language setting. |
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-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-03 |
Morgan Deters | SExpr pretty-printing for :all-options and :all-statistics. |
blob | commitdiff | raw | diff to current |
2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
blob | commitdiff | raw | diff to current |
2013-11-26 |
Morgan Deters | Fix a segfault in the printer infrastructure when calle... |
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-07-11 |
Morgan Deters | Support for TPTP's TFF0 (with arithmetic) |
blob | commitdiff | raw | diff to current |
2013-07-07 |
Morgan Deters | Model output is now const; this related to bug 519 |
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-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-10-05 |
Morgan Deters | Bug-related: |
blob | commitdiff | raw | diff to current |
2012-10-04 |
Clark Barrett | Implemented array type enumerator, more fixes for models |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Morgan Deters | General subscriber infrastructure for NodeManager,... |
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-17 |
Morgan Deters | SMT-LIBv2 compliance updates: |
blob | commitdiff | raw | diff to current |
2012-06-09 |
Morgan Deters | Dagification of output expressions. |
blob | commitdiff | raw | diff to current |
2012-06-08 |
Morgan Deters | Extend Printer infrastructure also to the "Result"... |
blob | commitdiff | raw | diff to current |
2011-11-22 |
Morgan Deters | More language bindings work: |
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-07-11 |
Morgan Deters | merge from symmetry branch |
blob | commitdiff | raw | diff to current |
2010-11-16 |
Morgan Deters | fix function signatures |
blob | commitdiff | raw | diff to current |
2010-11-15 |
Morgan Deters | Pretty-printer infrastructure created (in src/printer... |
blob | commitdiff | raw | diff to current |
|