Age | Commit message (Expand) | Author |
2013-11-27 | Ignore config/compile file, which newer autotools create | Morgan Deters |
2013-11-27 | Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to Martin... | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-27 | Java bindings improvements for CASCADE, minor cleanup. | Morgan Deters |
2013-11-27 | Add missing template instanatiation in Java bindings | Morgan Deters |
2013-11-27 | Some versioning in advance of the 1.3 release. | Morgan Deters |
2013-11-27 | Incremental is now on by default when using from API, off for command-line dr... | Morgan Deters |
2013-11-26 | Bug fix for E-matching select terms, minor fix for bounded integers, bug fix ... | Andrew Reynolds |
2013-11-26 | Fix a segfault in the printer infrastructure when called from API and no lang... | Morgan Deters |
2013-11-26 | Fix C++-to-Java exception translation. | Morgan Deters |
2013-11-26 | Fix Java output stream adapter. | Morgan Deters |
2013-11-26 | Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ... | Morgan Deters |
2013-11-26 | Minor fix for swig bindings. | Morgan Deters |
2013-11-25 | Merge remote-tracking branch 'CVC4root/master' | Tim King |
2013-11-25 | Substantial Changes: | Tim King |
2013-11-25 | Array collectModelInfo fix for Andy | Clark Barrett |
2013-11-21 | Adding the changes needed to delete rewriter attributes. This includes being... | Tim King |
2013-11-20 | Changing the number of bits allocated per field in node values. | Tim King |
2013-11-19 | Bug fix for previous commit | Andrew Reynolds |
2013-11-19 | Add fair strategy for finite model finding multiple sorts --uf-ss-fair. | Andrew Reynolds |
2013-11-14 | Minor fixes for Mac OS Mavericks | Morgan Deters |
2013-11-14 | Allow empty record literals (fixing an oversight in previous work on empty tu... | Morgan Deters |
2013-11-14 | Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ G... | Morgan Deters |
2013-11-14 | Datatype::getCardinality() caching | Morgan Deters |
2013-11-13 | Add virtual destructors where missing | Morgan Deters |
2013-11-13 | Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google ... | Morgan Deters |
2013-11-13 | Another build fix; the dust should be settled now. | Morgan Deters |
2013-11-12 | Minor portfolio fixes for some platforms. | Morgan Deters |
2013-11-12 | Some additional explanation for a common configure error. | Morgan Deters |
2013-11-12 | lb change | Tianyi Liang |
2013-11-12 | add string progress measurements | Tianyi Liang |
2013-11-12 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2013-11-12 | add loop cache | Tianyi Liang |
2013-11-12 | add loop cache | Tianyi Liang |
2013-11-12 | Fix new-theory script for new, flattened build system. | Morgan Deters |
2013-11-12 | Minor build system cleanup | Morgan Deters |
2013-11-11 | length lemma is changed, var-split lemma is changed | Tianyi Liang |
2013-11-11 | Merge branch 'master' of https://github.com/CVC4/CVC4 | Tianyi Liang |
2013-11-11 | Expanded usefulness of (set-info :cvc4-logic ...) | Morgan Deters |
2013-11-11 | Some fixes to build system with dependency-tracking is off; should fix RPM/De... | Morgan Deters |
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2013-11-10 | Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporti... | Morgan Deters |
2013-11-10 | Merge branch 'master' of https://github.com/CVC4/CVC4 | Tianyi Liang |
2013-11-10 | Fix "make distclean", which should fix some of the build issues from last night | Morgan Deters |
2013-11-10 | Minor fixups to last commit | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-11-08 | Fix "make distclean", which should fix some of the build issues from last night | Morgan Deters |
2013-11-07 | Minor fixups to last commit | Morgan Deters |
2013-11-07 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-11-07 | Adds the header file into makefile, solving building error; adds cache for de... | Tianyi Liang |