| Age | Commit message (Expand) | Author |
|---|
| 2021-05-17 | Split parser state from parser classparser-state | Andres Noetzli |
| 2021-04-28 | Remove exception headers from options.h (#6456) | Gereon Kremer |
| 2021-04-21 | Goodbye CVC4, hello cvc5! (#6371) | Mathias Preiner |
| 2021-04-15 | Rename occurrences of CVC4 to CVC5. (#6351) | Aina Niemetz |
| 2021-04-12 | Refactor and update copyright headers. (#6316) | Aina Niemetz |
| 2021-04-09 | Rename CVC4_ macros to CVC5_. (#6327) | Aina Niemetz |
| 2021-04-02 | Minor refactoring (#6273) | Gereon Kremer |
| 2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
| 2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
| 2021-03-30 | Fix total time statistic (#6233) | Gereon Kremer |
| 2021-03-22 | Move statistics from the driver into the SmtEngine (#6170) | Gereon Kremer |
| 2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
| 2020-12-11 | Flush statistics through NodeManager in SmtEngine (#5652) | Andrew Reynolds |
| 2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
| 2020-09-16 | Dump commands in internal code using command printing functions. (#5040) | Abdalrhman Mohamed |
| 2020-06-16 | Update copyright headers. | Aina Niemetz |
| 2020-06-15 | BV: Add missing type check for INT_TO_BITVECTOR. (#4613) | Aina Niemetz |
| 2019-03-26 | Update copyright headers. | Aina Niemetz |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-05-02 | Initial support for string standard in smt lib 2.6 (#1848) | Andrew Reynolds |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
| 2016-04-20 | update from the master | PaulMeng |
| 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 |
| 2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
| 2016-01-05 | Add SmtGlobals Class | 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-08-21 | Fix bug 649 (errors to regular output channel) | Kshitij Bansal |
| 2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
| 2014-10-08 | Remove private header from public driver. | Morgan Deters |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2013-05-17 | Better error on illegal (pop N); also more compliant SMT-LIB error messages i... | Morgan Deters |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-02-04 | driver::totalTime statistic is now reported correctly on crashes, too | Morgan Deters |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-10-02 | * re-enable some Z3 extended commands: | Morgan Deters |
| 2012-09-28 | Public interface review items: | Morgan Deters |
| 2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
| 2012-07-31 | Options merge. This commit: | Morgan Deters |
| 2012-05-21 | main() no longer catches non-CVC4 exceptions. This means on memout and other... | Morgan Deters |
| 2012-02-20 | portfolio merge | Morgan Deters |
| 2012-02-20 | By default, ONLY enable symmetry breaker ONLY for QF_UF (both SMT-LIBv1 | Morgan Deters |
| 2011-12-05 | change short-circuiting behavior of Command execution in the main driver; all... | Morgan Deters |
| 2011-12-02 | Error detection is different now---with new Command infrastructure, exception... | Morgan Deters |
| 2011-11-02 | Only print a shortlist of most-commonly-used options on option processing err... | Morgan Deters |
| 2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
