summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2013-11-11Change exit status to be more consistent with other command-line tools: 0 ↵Morgan Deters
success, nonzero error
2013-11-10Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for ↵Morgan Deters
reporting this issue
2013-11-08Fix "make distclean", which should fix some of the build issues from last nightMorgan Deters
2013-11-07Minor fixups to last commitMorgan Deters
2013-11-07Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
2013-11-07Adds the header file into makefile, solving building error; adds cache for ↵Tianyi Liang
derivative; disables loop detection when finite model finding is enabled.
2013-11-06bug fixTianyi Liang
2013-11-06change optionsTianyi Liang
2013-11-06Bug fixes for bounded integer quantification. Current best strategy is to ↵Andrew Reynolds
turn off MBQI. Disable relevant triggers by default.
2013-11-06Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-11-06add seperate regular expression filesTianyi Liang
2013-11-06add seperate regular expression filesTianyi Liang
2013-11-05fixed proof regression script and added a new uf test caselianah
2013-11-04Merge branch 'master' of https://github.com/CVC4/CVC4lianah
2013-10-28Turn off model-based arrays (causing crashes in portfolio)Clark Barrett
2013-10-24Fix for bug515Clark Barrett
2013-10-23add back eager approachTianyi Liang
2013-10-23bug fix for loop ruleTianyi Liang
2013-10-23bug fixTianyi Liang
2013-10-22bug fixes: some issues remain, need more discussion laterTianyi Liang
2013-10-21remove nested re or; opt loopTianyi Liang
2013-10-21string fixTianyi Liang
2013-10-21Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-10-21add a string test caseTianyi Liang
2013-10-21bug fix for string special caseTianyi Liang
2013-10-21add a string test caseTianyi Liang
2013-10-21Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-10-21bug fix for string special caseTianyi Liang
2013-10-20adds regular expression rangeTianyi Liang
2013-10-20Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-10-20adds regular expression rangeTianyi Liang
2013-10-20adds regular expression rangeTianyi Liang
2013-10-17minor fix to last commit (gitignore)Kshitij Bansal
2013-10-17.gitignore personal configuration filesKshitij Bansal
2013-10-16adds fmf for stringsTianyi Liang
2013-10-16renames for strings fmfTianyi Liang
2013-10-16Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-10-15bug fix in strings : change from assert to alwaysassertTianyi Liang
2013-10-15removes some junksTianyi Liang
2013-10-15performance optimizations for quantifier instantiationAndrew Reynolds
2013-10-15bug fix in strings : change from assert to alwaysassertTianyi Liang
2013-10-15performance optimizations for quantifier instantiationAndrew Reynolds
2013-10-15removes some junksTianyi Liang
2013-10-15bug fix: string cache cleaningTianyi Liang
2013-10-14add another regexp testTianyi Liang
2013-10-14Adds Regular Expression support.Tianyi Liang
2013-10-11Adds regular expression support, it is actually CFL because of variables.Tianyi Liang
2013-10-11Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-10-11add constant membershipTianyi Liang
2013-10-11adds native regexp.Tianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback