projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #73 from kbansal/parser-dont-tokenize
[cvc5.git]
/
src
/
theory
/
strings
/
2015-04-22
Kshitij Bansal
Merge pull request #73 from kbansal/parser-dont-tokenize
tree
|
commitdiff
2015-04-17
Tianyi Liang
Patch for Kshitij's fix on requriePhase
tree
|
commitdiff
2015-04-17
Kshitij Bansal
Merge pull request #72 from kbansal/decision-requirephase
tree
|
commitdiff
2015-04-09
ajreynol
Fix unsat-core issues related to rewrite rules, quantif...
tree
|
commitdiff
2015-04-09
ajreynol
Bug fix negative contains cache.
tree
|
commitdiff
2015-04-02
Kshitij Bansal
Merge pull request #71 from kbansal/const-are-triggers
tree
|
commitdiff
2015-03-25
Kshitij Bansal
change const are triggers from false to true in equalit...
tree
|
commitdiff
2015-03-16
Tianyi Liang
Add requirePhase len(x) = 0.
tree
|
commitdiff
2015-03-11
ajreynol
Strings split on constant lengths, add length=0 to...
tree
|
commitdiff
2015-02-25
Tianyi Liang
Switch back to eager loop temporarily.
tree
|
commitdiff
2015-02-25
Tianyi Liang
minor fix for internal string print
tree
|
commitdiff
2015-02-06
Tianyi Liang
Improved string performance, thanks to Peter's benchmarks.
tree
|
commitdiff
2015-02-06
Tianyi Liang
Improved string performance, thanks to Peter's benchmarks.
tree
|
commitdiff
2015-01-08
Tianyi Liang
switch ascii encoding to unsigned char
tree
|
commitdiff
2015-01-07
Tianyi Liang
patch to the last commit
tree
|
commitdiff
2015-01-07
Tianyi Liang
bug fix, thanks to Pierre's report
tree
|
commitdiff
2015-01-07
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2015-01-07
Tianyi Liang
added initial AX rules;
tree
|
commitdiff
2015-01-07
Tianyi Liang
added initial AX rules;
tree
|
commitdiff
2014-12-27
Dejan Jovanovic
Adding an option to the equality engine constructor...
tree
|
commitdiff
2014-12-22
Tianyi Liang
bug fix for constant regular expression model building
tree
|
commitdiff
2014-12-22
Tianyi Liang
bug fix for constant regular expression model building
tree
|
commitdiff
2014-12-11
Tianyi Liang
bug fix, thanks to Guy's example.
tree
|
commitdiff
2014-12-06
Tianyi Liang
Added C++/Java api examples;
tree
|
commitdiff
2014-12-06
Tianyi Liang
Added C++/Java api examples;
tree
|
commitdiff
2014-12-05
Tianyi Liang
Relaxed the constant requirement for regular expression...
tree
|
commitdiff
2014-12-04
Tianyi Liang
clean up and improve intersection
tree
|
commitdiff
2014-12-03
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2014-12-03
Tianyi Liang
disable inter cache
tree
|
commitdiff
2014-11-27
Tianyi Liang
add intersection rewriting
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-27
Tianyi Liang
add more regexp rewriting
tree
|
commitdiff
2014-11-27
Tianyi Liang
add more functions for regular expressions
tree
|
commitdiff
2014-11-27
Tianyi Liang
add more regexp rewriting
tree
|
commitdiff
2014-11-27
Tianyi Liang
add more functions for regular expressions
tree
|
commitdiff
2014-11-20
ajreynol
Disable constants sharing in eq engine, disable hack...
tree
|
commitdiff
2014-11-17
Morgan Deters
New, uniform checkTime statistic for all theories ...
tree
|
commitdiff
2014-11-11
Kshitij Bansal
Merge pull request #64 from mdeters/theorysets-hashset...
tree
|
commitdiff
2014-11-10
Tianyi Liang
Merge pull request #63 from mdeters/theorystrings-hashs...
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-09
Morgan Deters
Update TheoryStrings to use CDHashSet<>::key_begin...
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-22
Tianyi Liang
Fixed bug 589
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-17
Tianyi Liang
Minor change for performance according to Andy's sugges...
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
tree
|
commitdiff
2014-09-30
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-27
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-26
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-03
Kshitij Bansal
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2014-09-03
Kshitij Bansal
check() optimization
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-22
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-19
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-18
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-07-25
Tianyi Liang
bug fix for pierre 0717
tree
|
commitdiff
2014-07-25
Tianyi Liang
fix for regexp union rewriting
tree
|
commitdiff
2014-07-25
Tianyi Liang
patch for regular expression intersection caching
tree
|
commitdiff
2014-07-24
Tianyi Liang
merging...
tree
|
commitdiff
2014-07-24
Tianyi Liang
add delayed length lemmas
tree
|
commitdiff
2014-07-11
Morgan Deters
Spelling.
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
tree
|
commitdiff
2014-06-24
Tianyi Liang
Merge pull request #41 from mdeters/tianyi-merge
tree
|
commitdiff
2014-06-24
Morgan Deters
Squashed commit of the following:
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
tree
|
commitdiff
2014-06-21
Morgan Deters
Slightly-improved kinds documentation for builtin,...
tree
|
commitdiff
2014-06-19
Morgan Deters
dos2unix-convert some sources.
tree
|
commitdiff
2014-06-16
Morgan Deters
dos2unix-convert some sources.
tree
|
commitdiff
2014-05-30
Morgan Deters
Bug fix for string-opt2 (copied from Tianyi's branch).
tree
|
commitdiff
2014-05-19
Tianyi Liang
minor fix for string equality engine assertion.
tree
|
commitdiff
2014-05-13
Tianyi Liang
Fix a bug in the IndexOf function.
tree
|
commitdiff
2014-05-13
Tianyi Liang
Fix a bug in the IndexOf function.
tree
|
commitdiff
2014-05-12
Tianyi Liang
Replace lemma sending with EQ assertions. Fix a typo...
tree
|
commitdiff
2014-05-12
Tianyi Liang
Replace lemma sending with EQ assertions. Fix a typo...
tree
|
commitdiff
2014-05-08
Tianyi Liang
patch to the last commit: add a single character case
tree
|
commitdiff
2014-05-07
Tianyi Liang
fix a bug in contain
tree
|
commitdiff
2014-05-07
Tianyi Liang
add splits
tree
|
commitdiff
2014-05-07
Tianyi Liang
add splits
tree
|
commitdiff
2014-05-06
Tianyi Liang
fix a bug in replace and contains
tree
|
commitdiff
next