projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add warning for using strings in ALL_SUPPORTED
2014-01-22
Tianyi Liang
add warning for using strings in ALL_SUPPORTED
commit
|
commitdiff
|
tree
2014-01-22
Tianyi Liang
Smarter options, but still have a bug
commit
|
commitdiff
|
tree
2014-01-21
Tianyi Liang
improve string contains
commit
|
commitdiff
|
tree
2014-01-20
Tianyi Liang
improve string contains
commit
|
commitdiff
|
tree
2014-01-18
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-01-18
Tianyi Liang
strings with new ideas
commit
|
commitdiff
|
tree
2014-01-17
Tianyi Liang
strings with new ideas
commit
|
commitdiff
|
tree
2014-01-16
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-01-16
Tianyi Liang
adds partial functions
commit
|
commitdiff
|
tree
2014-01-15
Tianyi Liang
adds smt2 print for strings
commit
|
commitdiff
|
tree
2014-01-15
Tianyi Liang
adds smt2 print for strings
commit
|
commitdiff
|
tree
2014-01-10
Tianyi Liang
normal form breaking
commit
|
commitdiff
|
tree
2014-01-10
Tianyi Liang
add repalce
commit
|
commitdiff
|
tree
2014-01-10
Tianyi Liang
move new functions under exp options
commit
|
commitdiff
|
tree
2014-01-09
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-01-09
Tianyi Liang
add constant replace, indexof
commit
|
commitdiff
|
tree
2014-01-09
Tianyi Liang
add constant replace, indexof
commit
|
commitdiff
|
tree
2014-01-09
Tianyi Liang
Another way to handle negative contain
commit
|
commitdiff
|
tree
2014-01-08
Tianyi Liang
clean some code
commit
|
commitdiff
|
tree
2014-01-08
Tianyi Liang
remove a warning in strings
commit
|
commitdiff
|
tree
2014-01-08
Tianyi Liang
minor fix, bring back the assertion.
commit
|
commitdiff
|
tree
2014-01-08
Tianyi Liang
string contain changes
commit
|
commitdiff
|
tree
2013-12-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2013-12-27
Tianyi Liang
minor fix
commit
|
commitdiff
|
tree
2013-12-27
Tianyi Liang
minor fix
commit
|
commitdiff
|
tree
2013-12-26
Tianyi Liang
new functions in strings
commit
|
commitdiff
|
tree
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2013-12-19
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2013-12-18
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2013-12-17
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
commit
|
commitdiff
|
tree
2013-12-15
Tianyi Liang
resolve merge issue.
commit
|
commitdiff
|
tree
2013-12-15
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2013-12-09
Kshitij Bansal
mv prp to regress1
commit
|
commitdiff
|
tree
2013-12-09
Kshitij Bansal
fix bug 542
commit
|
commitdiff
|
tree
2013-12-09
Morgan Deters
Initializing master for next version.
commit
|
commitdiff
|
tree
2013-12-09
Morgan Deters
Initializing 1.3.x branch.
commit
|
commitdiff
|
tree
2013-12-09
Morgan Deters
Cutting release 1.3.
commit
|
commitdiff
|
tree
2013-12-06
Tianyi Liang
disable substring in default mode
commit
|
commitdiff
|
tree
2013-12-04
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2013-12-04
Tianyi Liang
adds LB strategy
commit
|
commitdiff
|
tree
2013-12-04
Tianyi Liang
adds LB strategy
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
Last version for undelayed LB
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
Last version for undelayed LB
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
change string news
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
string fmf perfomance fix
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
string fmf changes
commit
|
commitdiff
|
tree
2013-12-03
Tianyi Liang
string fmf perfomance fix
commit
|
commitdiff
|
tree
2013-11-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2013-11-26
Tianyi Liang
string fmf changes
commit
|
commitdiff
|
tree
2013-11-21
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2013-11-21
Tianyi Liang
string fmf changes
commit
|
commitdiff
|
tree
2013-11-21
Tianyi Liang
string fmf changes
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
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
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-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
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-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-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
Tianyi Liang
removes some junks
commit
|
commitdiff
|
tree
2013-10-15
Tianyi Liang
bug fix: string cache cleaning
commit
|
commitdiff
|
tree
next