Age | Commit message (Expand) | Author |
2014-04-19 | fix warnings in strings/ | Kshitij Bansal |
2014-04-17 | Allow fmf-bound-int to be set with set-option and via API. | Morgan Deters |
2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
2014-04-17 | use internal skolem numbering | Kshitij Bansal |
2014-04-17 | Minor refactoring and optimizing. | Andrew Reynolds |
2014-04-14 | Fix bug in mbqi=fmc handling theory symbols. Fix mbqi=fmc models (Bug 557). ... | Andrew Reynolds |
2014-04-14 | Add initial support for co-datatypes. | Andrew Reynolds |
2014-04-11 | Better support for building with mingw64; thanks to Nicolas Roche @ Altran fo... | Morgan Deters |
2014-04-10 | setType -> setOfType, resolves bug 556 | Morgan Deters |
2014-04-10 | Fix the build; --check-proof works for UF but not for the new UFC logic. | Morgan Deters |
2014-04-10 | Expand definitions in theory datatypes, now has the expected semantics for in... | Andrew Reynolds |
2014-04-10 | Boolean terms conversion fix for datatypes, fixes a problem Andy discovered o... | Morgan Deters |
2014-04-10 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-04-10 | minor fix for strings | Tianyi Liang |
2014-04-10 | minor fix for strings | Tianyi Liang |
2014-04-10 | Add support for cardinality constraints logic UFC. Add regressions in fmf/. ... | Andrew Reynolds |
2014-04-10 | refactor .travis.yml | Kshitij Bansal |
2014-04-09 | Merge pull request #24 from kbansal/sets-model | Kshitij Bansal |
2014-04-09 | Minor change to better support parameterized partial/total kinds (for upcomin... | Morgan Deters |
2014-04-09 | Revert E-matching datatypes fix. | Andrew Reynolds |
2014-04-09 | Handle fmf.card as input from user, add support in SMT2 parser, as requested ... | Andrew Reynolds |
2014-04-09 | fix get-info error-behavior | Kshitij Bansal |
2014-04-09 | add tests | Kshitij Bansal |
2014-04-09 | fix | Kshitij Bansal |
2014-04-09 | prep for fix | Kshitij Bansal |
2014-04-09 | try foreach on CD datastructure | Kshitij Bansal |
2014-04-09 | inputs to trigger bug | Kshitij Bansal |
2014-04-09 | more | Kshitij Bansal |
2014-04-09 | some debugging changes | Kshitij Bansal |
2014-04-06 | Merge branch 'master' of https://github.com/CVC4/CVC4 | Kshitij Bansal |
2014-04-06 | Reduced example from pcc's bug report. | Tim King |
2014-04-06 | Merge pull request #21 from pcc/ite-fix | Tim King |
2014-04-06 | fix for hiding prompt/header in shell, error-behavior options as in SMTLIB | Kshitij Bansal |
2014-04-04 | For security, add --no-filesystem-access option, which disables SMT-LIB scrip... | Morgan Deters |
2014-04-04 | Allow turning off the interactive prompt while in interactive mode. | Morgan Deters |
2014-04-03 | Properly quote symbols in SMT-LIB printer. | Morgan Deters |
2014-04-03 | Some incremental bugs for Boolean terms, fixed. Thanks to Pantazis Deligiann... | Morgan Deters |
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-04-01 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-04-01 | windows build fix for UINT32_MAX | Tianyi Liang |
2014-04-01 | windows build fix for UINT32_MAX | Tianyi Liang |
2014-03-31 | Travis-CI test for new-theory script, also related bugfixes. | Morgan Deters |
2014-03-31 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
2014-03-31 | minor typo/bug fix | Tianyi Liang |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
2014-03-30 | Merge pull request #23 from kbansal/sets-model | Kshitij Bansal |
2014-03-28 | rm old unused code | Kshitij Bansal |
2014-03-28 | get-antlr error on missing config.guess | Kshitij Bansal |