Age | Commit message (Expand) | Author |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-03-06 | Make statistics output consistent. (#1647) | Mathias Preiner |
2018-02-02 | Restoring ostream format. Resolves a few CIDs 1362780. (#1543) | Tim King |
2017-09-20 | Fix issue #1081, memory leak in cmd executor (#1109) | Andres Noetzli |
2017-08-24 | Add include to fix build | Andres Noetzli |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-01-08 | With reference to Bug 679, this commit integrates part of the patch proposed,... | Cristian Mattarei |
2016-11-18 | Add support for set-logic ALL, fix compiler error in GCC 6.1 | Clark Barrett |
2016-09-25 | Deleting the intermediate command singleton. | Tim King |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-03-08 | Extend synthesis solver to handle single invocation with additional universal... | ajreynol |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-01-26 | Output solutions for synthesis conjectures with --dump-synth. Minor refactor... | ajreynol |
2014-10-08 | Some minor cleanup. | Morgan Deters |
2014-09-03 | Work on conjecture generator : do not generalize subterms with concrete value... | ajreynol |
2014-08-26 | Improved SMT-LIBv2 language support for unsat cores. | Morgan Deters |
2014-08-23 | Unsat core printing. | Morgan Deters |
2014-08-23 | Some fixes for dump- and get-unsat-core. | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-26 | Potential fix for bug 573. | Morgan Deters |
2014-06-26 | Ignore error result when an error is squelched via command verbosity. | Morgan Deters |
2014-06-01 | Fix for Windows builds (rlimit doesn't exist on Windows). | Morgan Deters |
2014-05-28 | Add option to avoid dumping partial models/proofs. | Andrew Reynolds |
2014-05-27 | New --tear-down-incremental mode, useful for debugging and performance profil... | Morgan Deters |
2014-05-11 | More preparation for CASC proofs. Minor fix for sort inference (rewrite new ... | Andrew Reynolds |
2014-05-09 | Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC... | Andrew Reynolds |
2014-02-27 | --stats-every-query option: print increment in addition to cumulative value o... | Kshitij Bansal |
2014-02-21 | option to print stats after every satisfiability or validity query | Kshitij Bansal |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-05-17 | Add support for --dump-models option, in preparation for casc. | Andrew Reynolds |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-02-20 | Single -q quiets messages/warnings. Double -qq silences sat/unsat output too. | Morgan Deters |
2013-02-04 | Printing commands as they're executed now requires verbosity 3+ | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-08 | Some minor changes after reviewing the portfolio "unified driver" commit. | Morgan Deters |