summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-04-27rm undocument/non-working* "feature"Kshitij Bansal
2014-04-24minor change: add a heuristic for preventing constant splitting.Tianyi Liang
2014-04-24optimizationKshitij Bansal
2014-04-24Avoid assigning constructor terms to 1-constructor datatype eqcs, when possib...ajreynol
2014-04-24Compute care graph for datatypes. Preliminary results show 20x speed up on l...Andrew Reynolds
2014-04-24Add --inst-max-level=N option for Kshitij. Support define-const command in S...Andrew Reynolds
2014-04-22Minor fix to avoid rewriting datatype equalities into non-equalitiers, as req...Andrew Reynolds
2014-04-19Eh, what?Kshitij Bansal
2014-04-19fix warnings in strings/Kshitij Bansal
2014-04-17Allow fmf-bound-int to be set with set-option and via API.Morgan Deters
2014-04-17simplify mkSkolem naming system: don't use $$Kshitij Bansal
2014-04-17use internal skolem numberingKshitij Bansal
2014-04-17Minor refactoring and optimizing.Andrew Reynolds
2014-04-14Fix bug in mbqi=fmc handling theory symbols. Fix mbqi=fmc models (Bug 557). ...Andrew Reynolds
2014-04-14Add initial support for co-datatypes.Andrew Reynolds
2014-04-11Better support for building with mingw64; thanks to Nicolas Roche @ Altran fo...Morgan Deters
2014-04-10setType -> setOfType, resolves bug 556Morgan Deters
2014-04-10Fix the build; --check-proof works for UF but not for the new UFC logic.Morgan Deters
2014-04-10Expand definitions in theory datatypes, now has the expected semantics for in...Andrew Reynolds
2014-04-10Boolean terms conversion fix for datatypes, fixes a problem Andy discovered o...Morgan Deters
2014-04-10minor fix for stringsTianyi Liang
2014-04-10Add support for cardinality constraints logic UFC. Add regressions in fmf/. ...Andrew Reynolds
2014-04-09Merge pull request #24 from kbansal/sets-modelKshitij Bansal
2014-04-09Minor change to better support parameterized partial/total kinds (for upcomin...Morgan Deters
2014-04-09Revert E-matching datatypes fix.Andrew Reynolds
2014-04-09Handle fmf.card as input from user, add support in SMT2 parser, as requested ...Andrew Reynolds
2014-04-09fix get-info error-behaviorKshitij Bansal
2014-04-09fixKshitij Bansal
2014-04-09prep for fixKshitij Bansal
2014-04-09try foreach on CD datastructureKshitij Bansal
2014-04-09moreKshitij Bansal
2014-04-09some debugging changesKshitij Bansal
2014-04-06Merge branch 'master' of https://github.com/CVC4/CVC4Kshitij Bansal
2014-04-06Merge pull request #21 from pcc/ite-fixTim King
2014-04-06fix for hiding prompt/header in shell, error-behavior options as in SMTLIBKshitij Bansal
2014-04-04For security, add --no-filesystem-access option, which disables SMT-LIB scrip...Morgan Deters
2014-04-04Allow turning off the interactive prompt while in interactive mode.Morgan Deters
2014-04-03Properly quote symbols in SMT-LIB printer.Morgan Deters
2014-04-03Some incremental bugs for Boolean terms, fixed. Thanks to Pantazis Deligiann...Morgan Deters
2014-04-01Merge branch '1.3.x'Tim King
2014-04-01Fixing bug 552. There was a bug when integers are made using a string with a...1.3.xTim King
2014-04-01windows build fix for UINT32_MAXTianyi Liang
2014-03-31add str to u16/u32, and u16/u32 to strTianyi Liang
2014-03-28rm old unused codeKshitij Bansal
2014-03-28add construles, type_rules rm redundant, kinds cleanupKshitij Bansal
2014-03-28minor printer fix; intersection fixTianyi Liang
2014-03-27Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-03-27adds new feature: re.loopTianyi Liang
2014-03-27adds intersectionTianyi Liang
2014-03-27deriv symbolic regexpTianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback