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

[cvc5.git] / src / theory / strings / theory_strings_type_rules.h

2014-03-31	Tianyi Liang	add str to u16/u32, and u16/u32 to str	blob \| commitdiff \| raw
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	a new regular expression engine for solving both positi...	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-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-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-01-29	Tianyi Liang	add prefixof, suffixof	blob \| commitdiff \| raw \| diff to current
2014-01-27	Morgan Deters	Merge branch '1.3.x'	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	Kshitij Bansal	Merge branch '1.3.x'	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-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-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-21	Tianyi Liang	adds regular expression range	blob \| commitdiff \| raw \| diff to current
2013-10-21	Tianyi Liang	adds regular expression range	blob \| commitdiff \| raw \| diff to current
2013-10-21	Tianyi Liang	adds regular expression range	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	Adds regular expression support, it is actually CFL...	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
2013-09-13	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-09-11	Tianyi Liang	Theory of strings.	blob \| commitdiff \| raw \| diff to current

RSS Atom