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

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

2014-04-17	Kshitij Bansal	simplify mkSkolem naming system: don't use $$	blob \| commitdiff \| raw
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	minor typo/bug fix	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-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-07	Tianyi Liang	adds incremental for strings; clean-up codes	blob \| commitdiff \| raw \| diff to current
2014-03-07	Tianyi Liang	adds incremental for strings; clean-up codes	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	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	a new regular expression engine for solving both positi...	blob \| commitdiff \| raw \| diff to current
2014-02-24	Tianyi Liang	bug fix: strings preprocess for the orignal term, causi...	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	reorganize substr, fix some potential bugs, adds cache...	blob \| commitdiff \| raw \| diff to current
2014-02-21	Tianyi Liang	reorganize substr, fix some potential bugs, adds cache...	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-20	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-02-20	Tianyi Liang	hot fix for str2int/int2str	blob \| commitdiff \| raw \| diff to current
2014-02-20	Tianyi Liang	add negative int2str	blob \| commitdiff \| raw \| diff to current
2014-02-20	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-02-20	Tianyi Liang	hot fix for str2int/int2str	blob \| commitdiff \| raw \| diff to current
2014-02-20	Tianyi Liang	add negative int2str	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	Tianyi Liang	Merge branch 'master' of github.com:tiliang/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-19	Tianyi Liang	add negative int2str	blob \| commitdiff \| raw \| diff to current
2014-02-18	Tianyi Liang	str.to.int(INVALID) = -1	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	bring back the commits which is lost accidentally.	blob \| commitdiff \| raw \| diff to current
2014-02-18	Tianyi Liang	add str2int	blob \| commitdiff \| raw \| diff to current
2014-02-17	Morgan Deters	Fix strings preprocessing for justification heuristic	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-31	Tianyi Liang	Substr fix: (= (str.substr "" 0 3) "xxx") should be...	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-25	Tianyi Liang	minor fix, indexof rewriter opt	blob \| commitdiff \| raw \| diff to current
2014-01-24	Tianyi Liang	fix: indexof, replace rewriting	blob \| commitdiff \| raw \| diff to current
2014-01-22	Tianyi Liang	solve string exp issue for regexp	blob \| commitdiff \| raw \| diff to current
2014-01-22	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-01-22	Tianyi Liang	add warning for using strings in ALL_SUPPORTED	blob \| commitdiff \| raw \| diff to current
2014-01-21	Tianyi Liang	improve string contains	blob \| commitdiff \| raw \| diff to current
2014-01-20	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
2014-01-18	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-17	Tianyi Liang	strings with new ideas	blob \| commitdiff \| raw \| diff to current
2014-01-17	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-16	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-01-16	Tianyi Liang	adds partial functions	blob \| commitdiff \| raw \| diff to current
2014-01-10	Tianyi Liang	add repalce	blob \| commitdiff \| raw \| diff to current
2014-01-10	Tianyi Liang	move new functions under exp options	blob \| commitdiff \| raw \| diff to current
2014-01-09	Tianyi Liang	add constant replace, indexof	blob \| commitdiff \| raw \| diff to current
2014-01-09	Tianyi Liang	add constant replace, indexof	blob \| commitdiff \| raw \| diff to current
2014-01-09	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-08	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-08	Tianyi Liang	clean some code	blob \| commitdiff \| raw \| diff to current
2014-01-08	Tianyi Liang	string contain changes	blob \| commitdiff \| raw \| diff to current
2014-01-02	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-27	Tianyi Liang	minor fix	blob \| commitdiff \| raw \| diff to current
2013-12-27	Tianyi Liang	minor fix	blob \| commitdiff \| raw \| diff to current
2013-12-27	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-26	Tianyi Liang	new functions in strings	blob \| commitdiff \| raw \| diff to current
2013-12-06	Tianyi Liang	disable substring in default mode	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-11-04	lianah	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-10-15	Tianyi Liang	removes some junks	blob \| commitdiff \| raw \| diff to current
2013-10-15	Tianyi Liang	removes some junks	blob \| commitdiff \| raw \| diff to current
2013-10-14	Tianyi Liang	Adds Regular Expression support.	blob \| commitdiff \| raw \| diff to current
2013-10-11	Tianyi Liang	add constant membership	blob \| commitdiff \| raw \| diff to current
2013-10-11	Tianyi Liang	adds native regexp.	blob \| commitdiff \| raw \| diff to current
2013-10-11	Tianyi Liang	add constant membership	blob \| commitdiff \| raw \| diff to current
2013-10-10	Tianyi Liang	adds native regexp.	blob \| commitdiff \| raw \| diff to current
2013-10-10	Tianyi Liang	adds native regexp.	blob \| commitdiff \| raw \| diff to current
2013-10-07	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-10-03	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-10-02	Tianyi Liang	adds partial function substr. the use of this function...	blob \| commitdiff \| raw \| diff to current
2013-10-02	Tianyi Liang	adds partial function substr. the use of this function...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-27	Morgan Deters	Some fixes to recent strings commits.	blob \| commitdiff \| raw \| diff to current
2013-09-27	Morgan Deters	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-09-27	Tianyi Liang	removes unsound cases, adds unrolling	blob \| commitdiff \| raw \| diff to current
2013-09-27	Tianyi Liang	removes unsound cases, adds unrolling	blob \| commitdiff \| raw \| diff to current

RSS Atom