Age | Commit message (Expand) | Author |
2014-01-28 | merge internal and user of charat & substr into one | Tianyi Liang |
2014-01-22 | Some minor fixes to SmtEngine strings settings. | Morgan Deters |
2014-01-22 | add warning for using strings in ALL_SUPPORTED | Tianyi Liang |
2014-01-22 | Smarter options, but still have a bug | Tianyi Liang |
2014-01-18 | strings with new ideas | Tianyi Liang |
2014-01-16 | adds partial functions | Tianyi Liang |
2014-01-10 | Add new method --quant-cf for finding conflicts eagerly for quantified formul... | Andrew Reynolds |
2014-01-03 | Removing and consolidating options for uf-ss and quantifiers. Bug fix for in... | Andrew Reynolds |
2014-01-03 | Added support for proof production in Equality Engine. Cleaned up existing p... | Andrew Reynolds |
2013-12-24 | Java datatype API fixups, datatype API examples | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-16 | First attempt at incorporating LFSC proof checker into CVC4. | Morgan Deters |
2013-12-16 | Fix for bug 544. | Morgan Deters |
2013-12-10 | Whitespace. | Morgan Deters |
2013-12-10 | Remove "NodeValue width" output | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-05 | Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now wor... | Morgan Deters |
2013-12-04 | Partial kind branch merge, including new --rewrite-apply-to-const feature. | Morgan Deters |
2013-12-04 | Don't put define-funs in model output; bug 411 testcase no longer relevant. | Morgan Deters |
2013-12-02 | Another fix to Java destruction order issues. Thanks to Zheng Manchun for th... | Morgan Deters |
2013-11-29 | Fix proofs build. | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-27 | Incremental is now on by default when using from API, off for command-line dr... | Morgan Deters |
2013-11-26 | Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ... | Morgan Deters |
2013-11-25 | Substantial Changes: | Tim King |
2013-11-20 | Changing the number of bits allocated per field in node values. | Tim King |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-11-05 | fixed proof regression script and added a new uf test case | lianah |
2013-11-04 | Merge branch 'master' of https://github.com/CVC4/CVC4 | lianah |
2013-10-28 | Turn off model-based arrays (causing crashes in portfolio) | Clark Barrett |
2013-10-09 | fixed options::proof() segfault | lianah |
2013-10-09 | cleaned up proof code | lianah |
2013-10-09 | fixed uf proof bug: now storing deleted theory lemmas | lianah |
2013-10-09 | More improvements to datatypes, eager selector collapsing, improved collect m... | Andrew Reynolds |
2013-10-08 | added currying for uf proofs; still needs debugging | lianah |
2013-10-07 | Multiple fixes for datatypes theory solver: add support for parametric dataty... | Andrew Reynolds |
2013-10-03 | Added support for converting unsorted problems to multi-sorted problems via s... | Andrew Reynolds |
2013-09-30 | replace with a new method for disequality, move to QF_S | Tianyi Liang |
2013-09-27 | Some fixes to recent strings commits. | Morgan Deters |
2013-09-27 | Merge branch 'master' of github.com:tiliang/CVC4 | Morgan Deters |
2013-09-27 | adds communication with arith engine | Tianyi Liang |
2013-09-27 | Add new symmetry breaking technique for finite model finding. Improvements t... | Andrew Reynolds |
2013-09-27 | removes unsound cases, adds unrolling | Tianyi Liang |
2013-09-24 | Better fix for bug 528 | Clark Barrett |
2013-09-23 | Revert Clark's last commit, at his request; there are some bugs. | Morgan Deters |
2013-09-23 | Cleaner version of bug-fix for 528, also moved substitutions.h out of theory.h | Clark Barrett |
2013-09-19 | Fix for bug 528 | Clark Barrett |
2013-09-18 | Fixes to theoryof-mode; no longer static in Theory class. | Morgan Deters |
2013-09-16 | Fix (extraneous) command dumping. | Morgan Deters |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |