Age | Commit message (Expand) | Author |
2017-11-13 | Implement enumerator for functions. (#1243) | Andrew Reynolds |
2017-10-27 | Implement Hilbert choice operator (#1291) | Andrew Reynolds |
2017-10-10 | Ho node manager types (#1203) | Andrew Reynolds |
2017-09-14 | Remove unhandled subtypes (#1098) | Andrew Reynolds |
2017-09-13 | Add isConst check for lambda expressions. (#1084) | Andrew Reynolds |
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-05 | Fix several spelling errors | Fabian Wolff |
2017-03-27 | Remove throw qualifiers in type enumerators | Andres Notzli |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-04-20 | update from the master | PaulMeng |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-15 | Type enumerators take optional argument indicating fixed cardinalities of uni... | ajreynol |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-09-24 | Partial support for codatatype models. | ajreynol |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-21 | Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, ... | Morgan Deters |
2014-04-28 | Merge remote-tracking branch 'upstream/master' into sets | Kshitij Bansal |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-04-14 | Add initial support for co-datatypes. | Andrew Reynolds |
2014-04-09 | Minor change to better support parameterized partial/total kinds (for upcomin... | Morgan Deters |
2014-01-22 | Delay QuantifiersEngine and UF strong solver initialization until after final... | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |
2013-03-19 | Minor cleanup of sources | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-12-01 | Fix the way abstract values are typed; fixes some compliance issues. | Morgan Deters |
2012-11-29 | Fixing function models with Boolean terms. Also, LAMBDA's should not be const. | Clark Barrett |
2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-09-26 | Fix type checking for define-funs (resolves bug 398). | Morgan Deters |
2012-09-26 | The Tuesday Afternoon Catch-All Commit (TACAC): | Morgan Deters |
2012-09-24 | some api changes | Dejan Jovanović |
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-09-12 | Adding model assertions after SAT responses. | Morgan Deters |
2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
2012-08-27 | * Reversing commit r4258 (which disabled failing regressions). Fixed the pro... | Morgan Deters |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-08-24 | fix get-value output in a couple ways; this fixes bug #378 | Morgan Deters |
2012-08-16 | Replace propagateAsDecision() with Theory::getNextDecisionRequest(): | Morgan Deters |
2012-08-13 | Minor cleanup. No performance difference expected. | Morgan Deters |