projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Improvements to strings: work on propagations for reverse normal form processing...
[cvc5.git]
/
src
/
util
/
regexp.cpp
2016-08-10
ajreynol
Improvements to strings: work on propagations for rever...
blob
|
commitdiff
|
raw
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2015-04-02
Kshitij Bansal
Merge pull request #71 from kbansal/const-are-triggers
blob
|
commitdiff
|
raw
|
diff to current
2015-03-28
Tianyi Liang
printer change for string smtlib2
blob
|
commitdiff
|
raw
|
diff to current
2015-01-11
Tianyi Liang
adjusted to both v2.0 and v2.5 string literals
blob
|
commitdiff
|
raw
|
diff to current
2015-01-08
Tianyi Liang
switch ascii encoding to unsigned char
blob
|
commitdiff
|
raw
|
diff to current
2014-12-06
Tianyi Liang
Added C++/Java api examples;
blob
|
commitdiff
|
raw
|
diff to current
2014-12-06
Tianyi Liang
Added C++/Java api examples;
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Update copyrights.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
dos2unix-convert some sources.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Morgan Deters
dos2unix-convert some sources.
blob
|
commitdiff
|
raw
|
diff to current
2014-05-20
Morgan Deters
Fix compiler warning (missing virtual dtor)
blob
|
commitdiff
|
raw
|
diff to current
2014-05-13
Tianyi Liang
Reject un-escaped extended ASCII characters
blob
|
commitdiff
|
raw
|
diff to current
2014-05-12
Tianyi Liang
Replace lemma sending with EQ assertions. Fix a typo...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-12
Tianyi Liang
Replace lemma sending with EQ assertions. Fix a typo...
blob
|
commitdiff
|
raw
|
diff to current
2014-05-07
Tianyi Liang
add splits
blob
|
commitdiff
|
raw
|
diff to current
2014-05-07
Tianyi Liang
add splits
blob
|
commitdiff
|
raw
|
diff to current
2014-04-29
Tianyi Liang
fix a typo: --string-exp => --strings-exp; fix a signed...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Tianyi Liang
add strings-opt2 for regular splitting
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Tianyi Liang
add strings-opt2 for regular splitting
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-24
Tianyi Liang
minor change: add a heuristic for preventing constant...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-28
Tianyi Liang
minor printer fix; intersection fix
blob
|
commitdiff
|
raw
|
diff to current
2014-03-27
Tianyi Liang
adds intersection
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Tianyi Liang
adds intersection
blob
|
commitdiff
|
raw
|
diff to current
2014-03-25
Tianyi Liang
adds intersection
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-26
Tianyi Liang
bug fix (caused by merge), move cardinality option...
blob
|
commitdiff
|
raw
|
diff to current
2014-02-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-02-26
Tianyi Liang
add a new file
blob
|
commitdiff
|
raw
|
diff to current