summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-11-21Adding the changes needed to delete rewriter attributes. This includes being...Tim King
2013-11-20Changing the number of bits allocated per field in node values.Tim King
2013-11-19Bug fix for previous commitAndrew Reynolds
2013-11-19Add fair strategy for finite model finding multiple sorts --uf-ss-fair.Andrew Reynolds
2013-11-14Minor fixes for Mac OS MavericksMorgan Deters
2013-11-14Allow empty record literals (fixing an oversight in previous work on empty tu...Morgan Deters
2013-11-14Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ G...Morgan Deters
2013-11-14Datatype::getCardinality() cachingMorgan Deters
2013-11-13Add virtual destructors where missingMorgan Deters
2013-11-13Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google ...Morgan Deters
2013-11-13Another build fix; the dust should be settled now.Morgan Deters
2013-11-12Minor portfolio fixes for some platforms.Morgan Deters
2013-11-12Some additional explanation for a common configure error.Morgan Deters
2013-11-12lb changeTianyi Liang
2013-11-12add string progress measurementsTianyi Liang
2013-11-12Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-11-12add loop cacheTianyi Liang
2013-11-12add loop cacheTianyi Liang
2013-11-12Fix new-theory script for new, flattened build system.Morgan Deters
2013-11-12Minor build system cleanupMorgan Deters
2013-11-11length lemma is changed, var-split lemma is changedTianyi Liang
2013-11-11Merge branch 'master' of https://github.com/CVC4/CVC4Tianyi Liang
2013-11-11Expanded usefulness of (set-info :cvc4-logic ...)Morgan Deters
2013-11-11Some fixes to build system with dependency-tracking is off; should fix RPM/De...Morgan Deters
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan Deters
2013-11-10Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporti...Morgan Deters
2013-11-10Merge branch 'master' of https://github.com/CVC4/CVC4Tianyi Liang
2013-11-10Fix "make distclean", which should fix some of the build issues from last nightMorgan Deters
2013-11-10Minor fixups to last commitMorgan Deters
2013-11-10Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
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 de...Tianyi Liang
2013-11-07Adds the header file into makefile, solving building error; adds cache for de...Tianyi Liang
2013-11-06bug fixTianyi Liang
2013-11-06change optionsTianyi Liang
2013-11-06Bug fixes for bounded integer quantification. Current best strategy is to tu...Andrew Reynolds
2013-11-06bug fixTianyi Liang
2013-11-06Bug fixes for bounded integer quantification. Current best strategy is to tu...Andrew Reynolds
2013-11-06change optionsTianyi Liang
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback