| 2016-08-10 |
ajreynol | Improvements to strings: work on propagations for rever... |
blob | commitdiff | raw |
| 2016-07-26 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2016-07-26 |
ajreynol | Minor improvements to strings related to constant split... |
blob | commitdiff | raw | diff to current |
| 2016-07-25 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2016-07-21 |
ajreynol | Fixes for strings, explanations for constant split... |
blob | commitdiff | raw | diff to current |
| 2016-07-20 |
ajreynol | Infer conflicts in strings based on abstracting equalit... |
blob | commitdiff | raw | diff to current |
| 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-10-24 |
ajreynol | Fixes related to string contains. |
blob | commitdiff | raw | diff to current |
| 2015-10-19 |
ajreynol | Clean up explanations involving string length. Add... |
blob | commitdiff | raw | diff to current |
| 2015-10-19 |
ajreynol | Improve regexp rewriter, simplify regexp preprocess... |
blob | commitdiff | raw | diff to current |
| 2015-10-15 |
ajreynol | Change semantics of str.substr to allow endpoint out... |
blob | commitdiff | raw | diff to current |
| 2015-10-08 |
ajreynol | Minor improvements to strings. Refactor rewriter. Enabl... |
blob | commitdiff | raw | diff to current |
| 2015-10-07 |
ajreynol | Minor improvements, add endpoint eq inference to strings. |
blob | commitdiff | raw | diff to current |
| 2015-10-06 |
ajreynol | More improvements to strings rewriter for regexps,... |
blob | commitdiff | raw | diff to current |
| 2015-10-02 |
ajreynol | Fixes related to explanations for cycles, sym inference... |
blob | commitdiff | raw | diff to current |
| 2015-10-02 |
ajreynol | Improvements to rewriter for regexp, contains, indexof... |
blob | commitdiff | raw | diff to current |
| 2015-10-01 |
ajreynol | Evaluate extended operators on partially concrete argum... |
blob | commitdiff | raw | diff to current |
| 2015-09-09 |
ajreynol | Fix bug in strings rewriter regarding lengths of substr... |
blob | commitdiff | raw | diff to current |
| 2015-09-02 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
| 2015-08-27 |
ajreynol | Do ITE term bookkeeping when solving Sygus inputs.... |
blob | commitdiff | raw | diff to current |
| 2015-07-30 |
ajreynol | Implement virtual term substitution for non-nested... |
blob | commitdiff | raw | diff to current |
| 2015-07-28 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2015-07-28 |
Tianyi Liang | Hotfix for substr function. |
blob | commitdiff | raw | diff to current |
| 2015-02-25 |
Tianyi Liang | Switch back to eager loop temporarily. |
blob | commitdiff | raw | diff to current |
| 2015-02-06 |
Tianyi Liang | Improved string performance, thanks to Peter's benchmarks. |
blob | commitdiff | raw | diff to current |
| 2015-02-06 |
Tianyi Liang | Improved string performance, thanks to Peter's benchmarks. |
blob | commitdiff | raw | diff to current |
| 2015-01-08 |
Tianyi Liang | switch ascii encoding to unsigned char |
blob | commitdiff | raw | diff to current |
| 2015-01-07 |
Tianyi Liang | patch to the last commit |
blob | commitdiff | raw | diff to current |
| 2015-01-07 |
Tianyi Liang | bug fix, thanks to Pierre's report |
blob | commitdiff | raw | diff to current |
| 2015-01-07 |
Tianyi Liang | added initial AX rules; |
blob | commitdiff | raw | diff to current |
| 2015-01-07 |
Tianyi Liang | added initial AX rules; |
blob | commitdiff | raw | diff to current |
| 2014-12-22 |
Tianyi Liang | bug fix for constant regular expression model building |
blob | commitdiff | raw | diff to current |
| 2014-12-22 |
Tianyi Liang | bug fix for constant regular expression model building |
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-12-05 |
Tianyi Liang | Relaxed the constant requirement for regular expression... |
blob | commitdiff | raw | diff to current |
| 2014-12-03 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2014-12-03 |
Tianyi Liang | disable inter cache |
blob | commitdiff | raw | diff to current |
| 2014-11-27 |
Tianyi Liang | add intersection rewriting |
blob | commitdiff | raw | diff to current |
| 2014-11-27 |
Tianyi Liang | add more regexp rewriting |
blob | commitdiff | raw | diff to current |
| 2014-11-27 |
Tianyi Liang | add more regexp rewriting |
blob | commitdiff | raw | diff to current |
| 2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-22 |
Tianyi Liang | Fixed bug 589 |
blob | commitdiff | raw | diff to current |
| 2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
blob | commitdiff | raw | diff to current |
| 2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw | diff to current |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-19 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-08-18 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
| 2014-07-25 |
Tianyi Liang | bug fix for pierre 0717 |
blob | commitdiff | raw | diff to current |
| 2014-07-25 |
Tianyi Liang | fix for regexp union rewriting |
blob | commitdiff | raw | diff to current |
| 2014-07-25 |
Tianyi Liang | patch for regular expression intersection caching |
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-05-06 |
Tianyi Liang | fix a bug in replace and contains |
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-29 |
Tianyi Liang | add leading zeros support for str.to.int |
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-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-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX |
blob | commitdiff | raw | diff to current |
| 2014-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX |
blob | commitdiff | raw | diff to current |
| 2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
blob | commitdiff | raw | diff to current |
| 2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
blob | commitdiff | raw | diff to current |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
blob | commitdiff | raw | diff to current |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
blob | commitdiff | raw | diff to current |
| 2014-03-26 |
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-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-03-01 |
Tianyi Liang | add re.nostr for the empty regular expression; add... |
blob | commitdiff | raw | diff to current |
| 2014-03-01 |
Tianyi Liang | minor clean-up, bring back derivatives |
blob | commitdiff | raw | diff to current |
| 2014-03-01 |
Tianyi Liang | a new regular expression engine for solving both positi... |
blob | commitdiff | raw | diff to current |
| 2014-03-01 |
Tianyi Liang | add re.nostr for the empty regular expression; add... |
blob | commitdiff | raw | diff to current |
| 2014-02-28 |
Tianyi Liang | minor clean-up, bring back derivatives |
blob | commitdiff | raw | diff to current |
| 2014-02-28 |
Tianyi Liang | a new regular expression engine for solving both positi... |
blob | commitdiff | raw | diff to current |
| 2014-02-26 |
Tianyi Liang | for merging |
blob | commitdiff | raw | diff to current |
| 2014-02-26 |
Tianyi Liang | for merging |
blob | commitdiff | raw | diff to current |
| 2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| next |
projects / cvc5.git / history