projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
added initial AX rules;
2015-01-07
Tianyi Liang
added initial AX rules;
commit
|
commitdiff
|
tree
2014-12-22
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-12-22
Tianyi Liang
bug fix for constant regular expression model building
commit
|
commitdiff
|
tree
2014-12-22
Tianyi Liang
bug fix for constant regular expression model building
commit
|
commitdiff
|
tree
2014-12-11
Tianyi Liang
bug fix, thanks to Guy's example.
commit
|
commitdiff
|
tree
2014-12-06
Tianyi Liang
Added string constant in java api example.
commit
|
commitdiff
|
tree
2014-12-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-12-06
Tianyi Liang
Added C++/Java api examples;
commit
|
commitdiff
|
tree
2014-12-06
Tianyi Liang
Added C++/Java api examples;
commit
|
commitdiff
|
tree
2014-12-05
Tianyi Liang
Relaxed the constant requirement for regular expression...
commit
|
commitdiff
|
tree
2014-12-04
Tianyi Liang
clean up and improve intersection
commit
|
commitdiff
|
tree
2014-12-03
Tianyi Liang
disable inter cache
commit
|
commitdiff
|
tree
2014-11-27
Tianyi Liang
add intersection rewriting
commit
|
commitdiff
|
tree
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-11-27
Tianyi Liang
add more regexp rewriting
commit
|
commitdiff
|
tree
2014-11-27
Tianyi Liang
add more functions for regular expressions
commit
|
commitdiff
|
tree
2014-11-27
Tianyi Liang
add more regexp rewriting
commit
|
commitdiff
|
tree
2014-11-27
Tianyi Liang
add more functions for regular expressions
commit
|
commitdiff
|
tree
2014-11-10
Tianyi Liang
Merge pull request #63 from mdeters/theorystrings-hashset...
commit
|
commitdiff
|
tree
2014-10-22
Tianyi Liang
Fixed bug 589
commit
|
commitdiff
|
tree
2014-10-17
Tianyi Liang
Minor change for performance according to Andy's suggestion.
commit
|
commitdiff
|
tree
2014-07-25
Tianyi Liang
bug fix for pierre 0717
commit
|
commitdiff
|
tree
2014-07-25
Tianyi Liang
fix for regexp union rewriting
commit
|
commitdiff
|
tree
2014-07-25
Tianyi Liang
patch for regular expression intersection caching
commit
|
commitdiff
|
tree
2014-07-24
Tianyi Liang
merging...
commit
|
commitdiff
|
tree
2014-07-24
Tianyi Liang
add delayed length lemmas
commit
|
commitdiff
|
tree
2014-06-24
Tianyi Liang
Merge pull request #41 from mdeters/tianyi-merge
commit
|
commitdiff
|
tree
2014-05-19
Tianyi Liang
minor fix for string equality engine assertion.
commit
|
commitdiff
|
tree
2014-05-13
Tianyi Liang
Reject native extended ASCII characters. It requires...
commit
|
commitdiff
|
tree
2014-05-13
Tianyi Liang
Reject un-escaped extended ASCII characters
commit
|
commitdiff
|
tree
2014-05-13
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-05-13
Tianyi Liang
Fix a bug in the IndexOf function.
commit
|
commitdiff
|
tree
2014-05-13
Tianyi Liang
Fix a bug in the IndexOf function.
commit
|
commitdiff
|
tree
2014-05-12
Tianyi Liang
Add a benchmark that detects a bug in parsing. Thank...
commit
|
commitdiff
|
tree
2014-05-12
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-05-12
Tianyi Liang
Replace lemma sending with EQ assertions. Fix a typo...
commit
|
commitdiff
|
tree
2014-05-12
Tianyi Liang
Replace lemma sending with EQ assertions. Fix a typo...
commit
|
commitdiff
|
tree
2014-05-08
Tianyi Liang
patch to the last commit: add a single character case
commit
|
commitdiff
|
tree
2014-05-07
Tianyi Liang
fix a bug in contain
commit
|
commitdiff
|
tree
2014-05-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-05-07
Tianyi Liang
add splits
commit
|
commitdiff
|
tree
2014-05-07
Tianyi Liang
add splits
commit
|
commitdiff
|
tree
2014-05-06
Tianyi Liang
fix a bug in replace and contains
commit
|
commitdiff
|
tree
2014-05-05
Tianyi Liang
add constant regular expression check for intersection.
commit
|
commitdiff
|
tree
2014-04-29
Tianyi Liang
fix a typo: --string-exp => --strings-exp; fix a signed...
commit
|
commitdiff
|
tree
2014-04-29
Tianyi Liang
add leading zeros support for str.to.int
commit
|
commitdiff
|
tree
2014-04-28
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-04-28
Tianyi Liang
add strings-opt2 for regular splitting
commit
|
commitdiff
|
tree
2014-04-28
Tianyi Liang
minor change with kshitij's change
commit
|
commitdiff
|
tree
2014-04-28
Tianyi Liang
add strings-opt2 for regular splitting
commit
|
commitdiff
|
tree
2014-04-24
Tianyi Liang
minor change: add a heuristic for preventing constant...
commit
|
commitdiff
|
tree
2014-04-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-04-10
Tianyi Liang
minor fix for strings
commit
|
commitdiff
|
tree
2014-04-10
Tianyi Liang
minor fix for strings
commit
|
commitdiff
|
tree
2014-04-01
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-04-01
Tianyi Liang
windows build fix for UINT32_MAX
commit
|
commitdiff
|
tree
2014-04-01
Tianyi Liang
windows build fix for UINT32_MAX
commit
|
commitdiff
|
tree
2014-03-31
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-31
Tianyi Liang
add str to u16/u32, and u16/u32 to str
commit
|
commitdiff
|
tree
2014-03-31
Tianyi Liang
minor typo/bug fix
commit
|
commitdiff
|
tree
2014-03-31
Tianyi Liang
add str to u16/u32, and u16/u32 to str
commit
|
commitdiff
|
tree
2014-03-28
Tianyi Liang
minor printer fix; intersection fix
commit
|
commitdiff
|
tree
2014-03-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-27
Tianyi Liang
adds new feature: re.loop
commit
|
commitdiff
|
tree
2014-03-27
Tianyi Liang
adds intersection
commit
|
commitdiff
|
tree
2014-03-27
Tianyi Liang
deriv symbolic regexp
commit
|
commitdiff
|
tree
2014-03-27
Tianyi Liang
adds intersection
commit
|
commitdiff
|
tree
2014-03-27
Tianyi Liang
adds new feature: re.loop
commit
|
commitdiff
|
tree
2014-03-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-26
Tianyi Liang
deriv symbolic regexp
commit
|
commitdiff
|
tree
2014-03-26
Tianyi Liang
adds intersection
commit
|
commitdiff
|
tree
2014-03-26
Tianyi Liang
deriv symbolic regexp
commit
|
commitdiff
|
tree
2014-03-25
Tianyi Liang
adds intersection
commit
|
commitdiff
|
tree
2014-03-17
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-17
Tianyi Liang
hot fix for pre-reg term caching in strings
commit
|
commitdiff
|
tree
2014-03-17
Tianyi Liang
hot fix for pre-reg term caching in strings
commit
|
commitdiff
|
tree
2014-03-10
Tianyi Liang
adds intro vars length cache
commit
|
commitdiff
|
tree
2014-03-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-10
Tianyi Liang
minor change for strings-fmf
commit
|
commitdiff
|
tree
2014-03-10
Tianyi Liang
minor change for strings-fmf
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
remove unrolling depth
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
bring back D-Norm
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
remove unrolling depth
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
bring back D-Norm
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
adds incremental for strings; clean-up codes
commit
|
commitdiff
|
tree
2014-03-07
Tianyi Liang
adds incremental for strings; clean-up codes
commit
|
commitdiff
|
tree
2014-03-01
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-03-01
Tianyi Liang
add re.nostr for the empty regular expression; add...
commit
|
commitdiff
|
tree
2014-03-01
Tianyi Liang
minor clean-up, bring back derivatives
commit
|
commitdiff
|
tree
2014-03-01
Tianyi Liang
a new regular expression engine for solving both positive...
commit
|
commitdiff
|
tree
2014-03-01
Tianyi Liang
add re.nostr for the empty regular expression; add...
commit
|
commitdiff
|
tree
2014-02-28
Tianyi Liang
minor clean-up, bring back derivatives
commit
|
commitdiff
|
tree
2014-02-28
Tianyi Liang
a new regular expression engine for solving both positive...
commit
|
commitdiff
|
tree
2014-02-26
Tianyi Liang
sorry for the missing file
commit
|
commitdiff
|
tree
2014-02-26
Tianyi Liang
bug fix (caused by merge), move cardinality option...
commit
|
commitdiff
|
tree
2014-02-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
commit
|
commitdiff
|
tree
2014-02-26
Tianyi Liang
add a new file
commit
|
commitdiff
|
tree
2014-02-26
Tianyi Liang
for merging
commit
|
commitdiff
|
tree
next