git.libre-soc.org Git - cvc5.git/history - src/theory/strings/theory_strings

[cvc5.git] / src / theory / strings / theory_strings_rewriter.cpp

2015-10-01	ajreynol	Evaluate extended operators on partially concrete argum...	blob \| commitdiff \| raw
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
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Tianyi Liang	add more tests, and define int.to.str(NEGATIVE)=""	blob \| commitdiff \| raw \| diff to current
2014-02-19	Tim King	Merge branch 'master' of github.com:CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2014-02-19	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-18	Tianyi Liang	missed files for the latter commit	blob \| commitdiff \| raw \| diff to current
2014-02-18	Tianyi Liang	switch to total function str.to.int: maps invalid and...	blob \| commitdiff \| raw \| diff to current
2014-02-18	Tianyi Liang	add str2int	blob \| commitdiff \| raw \| diff to current
2014-02-17	Tianyi Liang	type conversion	blob \| commitdiff \| raw \| diff to current
2014-02-17	Tianyi Liang	type conversion	blob \| commitdiff \| raw \| diff to current
2014-02-14	Tianyi Liang	partial function charat	blob \| commitdiff \| raw \| diff to current
2014-02-14	Tianyi Liang	fix expanding def	blob \| commitdiff \| raw \| diff to current
2014-01-29	Tianyi Liang	roll back to uf implementation for substr and charat	blob \| commitdiff \| raw \| diff to current
2014-01-29	Tianyi Liang	add prefixof, suffixof	blob \| commitdiff \| raw \| diff to current
2014-01-28	Tianyi Liang	merge internal and user of charat & substr into one	blob \| commitdiff \| raw \| diff to current
2014-01-27	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-25	Tianyi Liang	replace charat uf with internal one	blob \| commitdiff \| raw \| diff to current
2014-01-21	Tianyi Liang	improve string contains	blob \| commitdiff \| raw \| diff to current
2014-01-18	Tianyi Liang	strings with new ideas	blob \| commitdiff \| raw \| diff to current
next

RSS Atom