projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
adds partial functions
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-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-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-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
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
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
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
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-03
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
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-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
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-27
Tianyi Liang
adds communication with arith engine
commit
|
commitdiff
|
tree
next