| 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 |
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 |
| 2013-10-08 |
lianah | added currying for uf proofs; still needs debugging |
commit | commitdiff | tree |
| 2013-10-08 |
lianah | fixed uf proof with holes bugs |
commit | commitdiff | tree |
| 2013-10-08 |
Andrew Reynolds | Optimizations for datatypes theory. There seems to... |
commit | commitdiff | tree |
| 2013-10-08 |
Liana Hadarean | fixed some bugs |
commit | commitdiff | tree |
| 2013-10-08 |
Liana Hadarean | first draft implementation of uf proofs with holes |
commit | commitdiff | tree |
| 2013-10-07 |
Liana Hadarean | merged golden |
commit | commitdiff | tree |
| 2013-10-07 |
Andrew Reynolds | Multiple fixes for datatypes theory solver: add support... |
commit | commitdiff | tree |
| 2013-10-03 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
| 2013-10-03 |
Andrew Reynolds | Adding example proof signatures for LFSC. |
commit | commitdiff | tree |
| 2013-10-03 |
Andrew Reynolds | Added support for converting unsorted problems to multi... |
commit | commitdiff | tree |
| 2013-10-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-10-03 |
Tianyi Liang | adds some fixes. it solves kaluza problems |
commit | commitdiff | tree |
| 2013-10-03 |
Andrew Reynolds | Adding example proof signatures for LFSC. |
commit | commitdiff | tree |
| 2013-10-02 |
Andrew Reynolds | Added support for converting unsorted problems to multi... |
commit | commitdiff | tree |
| 2013-10-02 |
Tianyi Liang | adds partial function substr. the use of this function... |
commit | commitdiff | tree |
| 2013-10-02 |
Tianyi Liang | adds partial function substr. the use of this function... |
commit | commitdiff | tree |
| 2013-10-01 |
Andrew Reynolds | Fix a bug in smt2 parser for quantified formulas with... |
commit | commitdiff | tree |
| 2013-10-01 |
Tianyi Liang | replace with a new method for disequality, move to... |
commit | commitdiff | tree |
| 2013-09-30 |
Tianyi Liang | add x=y |
commit | commitdiff | tree |
| 2013-09-30 |
Tianyi Liang | fixed a loop bug |
commit | commitdiff | tree |
| 2013-09-30 |
Liana Hadarean | merged golden |
commit | commitdiff | tree |
| 2013-09-30 |
Andrew Reynolds | Bug fixes and improvements for symmetry breaking, it... |
commit | commitdiff | tree |
| 2013-09-27 |
Morgan Deters | Some fixes to recent strings commits. |
commit | commitdiff | tree |
| 2013-09-27 |
Morgan Deters | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | adds communication with arith engine |
commit | commitdiff | tree |
| 2013-09-27 |
Andrew Reynolds | Add new symmetry breaking technique for finite model... |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | removes unsound cases, adds unrolling |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | fix the infinite issue |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | for morgan to see the regression problems |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | fix loop detection for multi-vars |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | optimizing model generation for strings |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
commit | commitdiff | tree |
| 2013-09-27 |
Tianyi Liang | removes unsound cases, adds unrolling |
commit | commitdiff | tree |
| 2013-09-25 |
Tianyi Liang | fix the infinite issue |
commit | commitdiff | tree |
| 2013-09-25 |
Tianyi Liang | for morgan to see the regression problems |
commit | commitdiff | tree |
| 2013-09-24 |
Clark Barrett | Reduce compiler dependencies on substitutions.h, |
commit | commitdiff | tree |
| 2013-09-24 |
Clark Barrett | Better fix for bug 528 |
commit | commitdiff | tree |
| 2013-09-24 |
Tianyi Liang | fix loop detection for multi-vars |
commit | commitdiff | tree |
| 2013-09-24 |
Tianyi Liang | optimizing model generation for strings |
commit | commitdiff | tree |
| 2013-09-24 |
Tianyi Liang | adds model generation for strings, and a hacked way... |
commit | commitdiff | tree |
| 2013-09-23 |
Morgan Deters | Revert Clark's last commit, at his request; there are... |
commit | commitdiff | tree |
| 2013-09-23 |
Clark Barrett | Cleaner version of bug-fix for 528, also moved substitu... |
commit | commitdiff | tree |
| 2013-09-19 |
Clark Barrett | Fix for bug 528 |
commit | commitdiff | tree |
| 2013-09-18 |
Morgan Deters | Support a personal build configuration and make rules. |
commit | commitdiff | tree |
| 2013-09-18 |
Morgan Deters | Support for bv2nat/int2bv in parser and BV rewriter. |
commit | commitdiff | tree |
| 2013-09-18 |
Morgan Deters | Fixes to theoryof-mode; no longer static in Theory... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog