summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-04-10refactor .travis.ymlKshitij Bansal
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-09add testsKshitij Bansal
2014-04-09fixKshitij Bansal
2014-04-09prep for fixKshitij Bansal
2014-04-09try foreach on CD datastructureKshitij Bansal
2014-04-09inputs to trigger bugKshitij 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-06Reduced example from pcc's bug report.Tim King
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-01Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-04-01windows build fix for UINT32_MAXTianyi Liang
2014-04-01windows build fix for UINT32_MAXTianyi Liang
2014-03-31Travis-CI test for new-theory script, also related bugfixes.Morgan Deters
2014-03-31Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-03-31add str to u16/u32, and u16/u32 to strTianyi Liang
2014-03-31minor typo/bug fixTianyi Liang
2014-03-31add str to u16/u32, and u16/u32 to strTianyi Liang
2014-03-30Merge pull request #23 from kbansal/sets-modelKshitij Bansal
2014-03-28rm old unused codeKshitij Bansal
2014-03-28get-antlr error on missing config.guessKshitij 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
2014-03-27adds intersectionTianyi Liang
2014-03-27adds new feature: re.loopTianyi Liang
2014-03-26Merge branch '1.3.x'Morgan Deters
2014-03-26Win32 build script fixes (to allow portfolio builds).Morgan Deters
2014-03-26Fix an off-the-end string pointer bug (showed up only in some Win32 builds).Morgan Deters
2014-03-26Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2014-03-26deriv symbolic regexpTianyi Liang
2014-03-26adds intersectionTianyi Liang
2014-03-26deriv symbolic regexpTianyi Liang
2014-03-26Merging in a fix from 1.3.x.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback