| 2013-11-27 |
Andrew Reynolds | Bug fix for E-matching select terms, minor fix for... |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix a segfault in the printer infrastructure when calle... |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix C++-to-Java exception translation. |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix Java output stream adapter. |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix Java destruction order issue; thanks to Zheng Manch... |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Minor fix for swig bindings. |
commit | commitdiff | tree |
| 2013-11-25 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
commit | commitdiff | tree |
| 2013-11-25 |
Tim King | Substantial Changes: |
commit | commitdiff | tree |
| 2013-11-25 |
Clark Barrett | Array collectModelInfo fix for Andy |
commit | commitdiff | tree |
| 2013-11-21 |
Tim King | Adding the changes needed to delete rewriter attributes... |
commit | commitdiff | tree |
| 2013-11-20 |
Tim King | Changing the number of bits allocated per field in... |
commit | commitdiff | tree |
| 2013-11-19 |
Andrew Reynolds | Bug fix for previous commit |
commit | commitdiff | tree |
| 2013-11-19 |
Andrew Reynolds | Add fair strategy for finite model finding multiple... |
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Minor fixes for Mac OS Mavericks |
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Allow empty record literals (fixing an oversight in... |
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Some patches to CVC3 compatibility layer tests; Thanks... |
commit | commitdiff | tree |
| 2013-11-14 |
Morgan Deters | Datatype::getCardinality() caching |
commit | commitdiff | tree |
| 2013-11-13 |
Morgan Deters | Add virtual destructors where missing |
commit | commitdiff | tree |
| 2013-11-13 |
Morgan Deters | Some patches to CVC3 compatibility layer; Thanks to... |
commit | commitdiff | tree |
| 2013-11-13 |
Morgan Deters | Another build fix; the dust should be settled now. |
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Minor portfolio fixes for some platforms. |
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Some additional explanation for a common configure... |
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | lb change |
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | add string progress measurements |
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | add loop cache |
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | add loop cache |
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Fix new-theory script for new, flattened build system. |
commit | commitdiff | tree |
| 2013-11-12 |
Morgan Deters | Minor build system cleanup |
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | length lemma is changed, var-split lemma is changed |
commit | commitdiff | tree |
| 2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Expanded usefulness of (set-info :cvc4-logic ...) |
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Some fixes to build system with dependency-tracking... |
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Change exit status to be more consistent with other... |
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Fix compat-java library naming on Mac OS; thanks to... |
commit | commitdiff | tree |
| 2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Fix "make distclean", which should fix some of the... |
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Minor fixups to last commit |
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
commit | commitdiff | tree |
| 2013-11-08 |
Morgan Deters | Fix "make distclean", which should fix some of the... |
commit | commitdiff | tree |
| 2013-11-07 |
Morgan Deters | Minor fixups to last commit |
commit | commitdiff | tree |
| 2013-11-07 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
commit | commitdiff | tree |
| 2013-11-07 |
Tianyi Liang | Adds the header file into makefile, solving building... |
commit | commitdiff | tree |
| 2013-11-07 |
Tianyi Liang | Adds the header file into makefile, solving building... |
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | bug fix |
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | change options |
commit | commitdiff | tree |
| 2013-11-06 |
Andrew Reynolds | Bug fixes for bounded integer quantification. Current... |
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | bug fix |
commit | commitdiff | tree |
| 2013-11-06 |
Andrew Reynolds | Bug fixes for bounded integer quantification. Current... |
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | change options |
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | add seperate regular expression files |
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | add seperate regular expression files |
commit | commitdiff | tree |
| 2013-11-06 |
lianah | fixed proof regression script and added a new uf test... |
commit | commitdiff | tree |
| 2013-11-04 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
| 2013-10-28 |
Clark Barrett | Turn off model-based arrays (causing crashes in portfolio) |
commit | commitdiff | tree |
| 2013-10-24 |
Clark Barrett | Fix for bug515 |
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | add back eager approach |
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | bug fix for loop rule |
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | bug fix |
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | bug fixes: some issues remain, need more discussion... |
commit | commitdiff | tree |
| 2013-10-22 |
Tianyi Liang | remove nested re or; opt loop |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | string fix |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | add a string test case |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | bug fix for string special case |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | add a string test case |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | bug fix for string special case |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
commit | commitdiff | tree |
| 2013-10-17 |
Kshitij Bansal | minor fix to last commit (gitignore) |
commit | commitdiff | tree |
| 2013-10-17 |
Kshitij Bansal | .gitignore personal configuration files |
commit | commitdiff | tree |
| 2013-10-16 |
Tianyi Liang | adds fmf for strings |
commit | commitdiff | tree |
| 2013-10-16 |
Tianyi Liang | renames for strings fmf |
commit | commitdiff | tree |
| 2013-10-16 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-10-15 |
Tianyi Liang | bug fix in strings : change from assert to alwaysassert |
commit | commitdiff | tree |
| 2013-10-15 |
Tianyi Liang | removes some junks |
commit | commitdiff | tree |
| 2013-10-15 |
Andrew Reynolds | performance optimizations for quantifier instantiation |
commit | commitdiff | tree |
| 2013-10-15 |
Tianyi Liang | bug fix in strings : change from assert to alwaysassert |
commit | commitdiff | tree |
| 2013-10-15 |
Andrew Reynolds | performance optimizations for quantifier instantiation |
commit | commitdiff | tree |
| 2013-10-15 |
Tianyi Liang | removes some junks |
commit | commitdiff | tree |
| 2013-10-15 |
Tianyi Liang | bug fix: string cache cleaning |
commit | commitdiff | tree |
| 2013-10-14 |
Tianyi Liang | add another regexp test |
commit | commitdiff | tree |
| 2013-10-14 |
Tianyi Liang | Adds Regular Expression support. |
commit | commitdiff | tree |
| 2013-10-11 |
Tianyi Liang | Adds regular expression support, it is actually CFL... |
commit | commitdiff | tree |
| 2013-10-11 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-10-11 |
Tianyi Liang | add constant membership |
commit | commitdiff | tree |
| 2013-10-11 |
Tianyi Liang | adds native regexp. |
commit | commitdiff | tree |
| 2013-10-11 |
Tianyi Liang | add constant membership |
commit | commitdiff | tree |
| 2013-10-10 |
Andrew Reynolds | Minor bug fix to datatypes. |
commit | commitdiff | tree |
| 2013-10-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-10-10 |
Tianyi Liang | adds native regexp. |
commit | commitdiff | tree |
| 2013-10-10 |
Tianyi Liang | adds native regexp. |
commit | commitdiff | tree |
| 2013-10-09 |
lianah | fixed options::proof() segfault |
commit | commitdiff | tree |
| 2013-10-09 |
lianah | cleaned up proof code |
commit | commitdiff | tree |
| 2013-10-09 |
lianah | fixed uf proof bug: now storing deleted theory lemmas |
commit | commitdiff | tree |
| 2013-10-09 |
Andrew Reynolds | More improvements to datatypes, eager selector collapsi... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog