Age | Commit message (Expand) | Author |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-03-24 | Refactor model building for quantifiers to be a single pass, simplification. ... | ajreynol |
2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
2016-10-11 | Merge branch 'origin' of https://github.com/CVC4/CVC4.git | Paul Meng |
2016-09-15 | Refactor setIncomplete in quantifiers. | ajreynol |
2016-07-05 | Merge branch 'master' of https://github.com/CVC4/CVC4.git | PaulMeng |
2016-04-20 | update from the master | PaulMeng |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-02-08 | Updates related to finite model finding and (co)datatypes. Bug fix enumerator... | ajreynol |
2015-04-28 | Fix smt2 printing of fun-def. Simplification of mbqi interface. | ajreynol |
2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
2014-04-29 | Mostly resolves bug #561 memory leaks, and more. | Morgan Deters |
2014-01-03 | Added support for proof production in Equality Engine. Cleaned up existing p... | Andrew Reynolds |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-06 | Bug fixes for bounded integer quantification. Current best strategy is to tu... | Andrew Reynolds |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-08-13 | Minor cleanup. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-07-22 | Bug fix for --fmf-fmc for non-uninterpreted sort quantifiers, added infrastru... | Andrew Reynolds |
2013-06-28 | More bug fixes for interval models. | Andrew Reynolds |
2013-06-26 | Add support for interval models in bounded integers MBQI (in progress). | Andrew Reynolds |
2013-06-25 | Refactoring of model engine to separate individual implementations of model b... | Andrew Reynolds |
2013-06-24 | Add options for symmetry breaking in uf+ss totality axiom approach, option fo... | Andrew Reynolds |
2013-06-04 | Add partial support for MBQI with arrays when using --fmf-fmc. Fix constant ... | Andrew Reynolds |
2013-05-23 | Refactoring to prepare for MBQI with integer quantification. Minor bug fixes. | Andrew Reynolds |
2013-05-22 | Significant work on bounded integer quantification to handle non-trivial boun... | Andrew Reynolds |
2013-05-14 | Refactoring to separate old and new model building/checking code. | Andrew Reynolds |
2013-05-09 | Add simplification option --fo-prop-quant. Add model support for new model-c... | Andrew Reynolds |
2013-05-08 | Add new method for checking candidate models, --fmf-fmc. Add infrastructure ... | Andrew Reynolds |