| Age | Commit message (Expand) | Author |
|---|
| 2018-10-04 | Clean remaining references to getNextDecisionRequest and simplify (#2500) | Andrew Reynolds |
| 2018-09-12 | Initial infrastructure for theory decision manager (#2447) | Andrew Reynolds |
| 2018-08-07 | Delete functions instead of using CVC4_UNDEFINED (#1794) | Andres Noetzli |
| 2018-07-13 | sygusComp2018: optimization for collect model info (#2105) | Andrew Reynolds |
| 2018-07-06 | Split ext theory to own file and document (#1809) | Andrew Reynolds |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-04-12 | Fixes for free variables in assertions (#1762) | Andrew Reynolds |
| 2018-03-06 | Make statistics output consistent. (#1647) | Mathias Preiner |
| 2018-01-15 | Removing more miscellaneous throw specifiers. (#1509) | Tim King |
| 2017-12-08 | Make collect model info return a Bool (#1421) | Andrew Reynolds |
| 2017-11-15 | Removes an unused variable from Theory. (#1375) | Tim King |
| 2017-10-28 | Document term db (#1220) | Andrew Reynolds |
| 2017-09-10 | Ensure that expand definitions is called on all non-variable expressi… (#1070) | Andrew Reynolds |
| 2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
| 2017-07-12 | Make type rules more strict for operators whose type rules involve subtypes. ... | ajreynol |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-04-04 | Simplify Theory::collectModelInfo interface to not take deprecated fullModel ... | ajreynol |
| 2017-04-02 | Adding a model based axiom instantiation scheme for multiplication. Merge com... | Tim King |
| 2017-03-28 | Fix for bug 733 | Clark Barrett |
| 2017-03-27 | Minor cleanups to ExtTheory. | Tim King |
| 2017-03-27 | Removing the friend class modifier from ExtTheory to Theory. | Tim King |
| 2017-03-27 | Making the ExtTheory object a private member of Theory. | Tim King |
| 2017-03-27 | Making ppNotifyAssertions take a const vector. | Tim King |
| 2017-03-27 | Moving the CareGraph into its own file. | Tim King |
| 2017-03-27 | Moving the theory::Assertion struct into its own file. | Tim King |
| 2016-11-08 | Minor fixes related to ExtTheory + incremental, fixes bug760. | ajreynol |
| 2016-11-03 | Add priorities to getNextDecision. Properly handle case for finite types + un... | ajreynol |
| 2016-10-13 | Merging bv parts of ajr/bvExt branch, minor additions to ExtTheory. | ajreynol |
| 2016-10-01 | Incorporate non-bv parts of ajr/bvExt branch | ajreynol |
| 2016-08-25 | Minor cleanup preprocessing, add ppNotifyAssertions. | ajreynol |
| 2016-08-16 | Initial infrastructure for ExtTheory, generalize extended term handling in Th... | ajreynol |
| 2016-07-20 | Infrastructure for storing and printing heap models for separation logic. Ens... | ajreynol |
| 2016-07-06 | Add comment field for model, resolves hack for printing sep logic models. | ajreynol |
| 2016-07-05 | Refactor last call for theories, only create one model when quantifiers are e... | ajreynol |
| 2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
| 2016-04-09 | cardinality operation for finite sets (based on my thesis / ijcar16 paper) | Kshitij Bansal |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-03-23 | squash-merge from proof branch | Guy |
| 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-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
| 2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
| 2016-01-05 | Add SmtGlobals Class | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2014-11-17 | New, uniform checkTime statistic for all theories (as discussed in meeting). | Morgan Deters |
| 2014-09-03 | check() optimization | Kshitij Bansal |
| 2014-08-18 | Add support for quantifier-specific instantiation levels. Add option for set... | ajreynol |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-04-30 | T-entailment work, and QCF (quant conflict find) work that uses it. | Tim King |
| 2014-04-09 | more | Kshitij Bansal |
