Age | Commit message (Expand) | Author |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-04-01 | Merge branch '1.3.x' | Tim King |
2014-04-01 | Fixing bug 552. There was a bug when integers are made using a string with a...1.3.x | Tim King |
2014-03-28 | minor printer fix; intersection fix | Tianyi Liang |
2014-03-27 | deriv symbolic regexp | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-20 | Merge pull request #22 from kbansal/sets-model | Kshitij Bansal |
2014-03-20 | work on set model | Kshitij Bansal |
2014-03-19 | Set dumping options from (set-option..) and API more directly. | Morgan Deters |
2014-03-08 | Re-fix bug 551 by adding a check to the arith ITE simplifier to ignore non-gr... | Morgan Deters |
2014-03-08 | Merge remote-tracking branch 'CVC4root/master' | Tim King |
2014-03-07 | Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodi... | Morgan Deters |
2014-03-07 | Fixing a SWIG problem for RationalFromDoubleException. | Tim King |
2014-03-07 | Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into m... | Tim King |
2014-03-07 | Add swig renames for new Z3STR language. | Thomas Hunger |
2014-03-04 | Don't theory-preprocess under quantifiers; but DO theory-preprocess lemmas (r... | Morgan Deters |
2014-02-28 | add re.nostr for the empty regular expression; add re.allchar for the regular... | Tianyi Liang |
2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
2014-02-26 | add a new file | Tianyi Liang |
2014-02-26 | for merging | Tianyi Liang |
2014-02-25 | New translation work, support Z3-str-style string constraints. | Morgan Deters |
2014-02-25 | Fix quotes in string constants. | Morgan Deters |
2014-02-21 | add new theory (sets) | Kshitij Bansal |
2014-02-20 | hot fix for str2int/int2str | Tianyi Liang |
2014-02-20 | portfolio: add stat to track time spent waiting for interrupted threads to stop | Kshitij Bansal |
2014-02-18 | missed files for the latter commit | Tianyi Liang |
2014-02-17 | add str2int | Tianyi Liang |
2014-02-11 | lexer fix: disable smt-lib conversion for string literals | Tianyi Liang |
2014-02-11 | minor fix for recognizing the tail backslash, still have smt-lib compliance i... | Tianyi Liang |
2014-02-11 | escaped characters, having an issue with smt-lib defintion, further repair is... | Tianyi Liang |
2014-01-24 | rev const split | Tianyi Liang |
2014-01-09 | add constant replace, indexof | Tianyi Liang |
2014-01-02 | Merge branch '1.3.x' | Morgan Deters |
2014-01-02 | Update copyright year. | Morgan Deters |
2013-12-26 | new functions in strings | Tianyi Liang |
2013-12-25 | fix for some nightly build failures | Morgan Deters |
2013-12-24 | Merge branch '1.3.x' | Morgan Deters |
2013-12-24 | Minor code cleanup. | Morgan Deters |
2013-12-24 | Java datatype API fixups, datatype API examples | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-12-13 | Fix link error when using clang. | Morgan Deters |
2013-12-10 | Fix timer statistics to report correct time even on process abort. | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-04 | More Java bindings fixes | Morgan Deters |
2013-12-03 | Some fixes for swig warnings. | Morgan Deters |
2013-12-03 | Work around a swig segfault issue when building on Mac OS | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-27 | Java bindings improvements for CASCADE, minor cleanup. | Morgan Deters |
2013-11-25 | Substantial Changes: | Tim King |
2013-11-14 | Datatype::getCardinality() caching | Morgan Deters |