git.libre-soc.org Git - cvc5.git/search

2014-01-16	Tianyi Liang	adds partial functions	commit \| commitdiff \| tree
2014-01-15	Tianyi Liang	adds smt2 print for strings	commit \| commitdiff \| tree
2014-01-10	Tianyi Liang	normal form breaking	commit \| commitdiff \| tree
2014-01-10	Tianyi Liang	add repalce	commit \| commitdiff \| tree
2014-01-10	Tianyi Liang	move new functions under exp options	commit \| commitdiff \| tree
2014-01-09	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2014-01-09	Tianyi Liang	add constant replace, indexof	commit \| commitdiff \| tree
2014-01-09	Tianyi Liang	add constant replace, indexof	commit \| commitdiff \| tree
2014-01-09	Tianyi Liang	Another way to handle negative contain	commit \| commitdiff \| tree
2014-01-08	Tianyi Liang	clean some code	commit \| commitdiff \| tree
2014-01-08	Tianyi Liang	remove a warning in strings	commit \| commitdiff \| tree
2014-01-08	Tianyi Liang	minor fix, bring back the assertion.	commit \| commitdiff \| tree
2014-01-08	Tianyi Liang	string contain changes	commit \| commitdiff \| tree
2013-12-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-12-27	Tianyi Liang	minor fix	commit \| commitdiff \| tree
2013-12-27	Tianyi Liang	minor fix	commit \| commitdiff \| tree
2013-12-26	Tianyi Liang	new functions in strings	commit \| commitdiff \| tree
2013-12-26	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-12-19	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-12-18	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-12-17	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-12-15	Tianyi Liang	resolve merge issue.	commit \| commitdiff \| tree
2013-12-15	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-12-09	Kshitij Bansal	mv prp to regress1	commit \| commitdiff \| tree
2013-12-09	Kshitij Bansal	fix bug 542	commit \| commitdiff \| tree
2013-12-09	Morgan Deters	Initializing master for next version.	commit \| commitdiff \| tree
2013-12-09	Morgan Deters	Initializing 1.3.x branch.	commit \| commitdiff \| tree
2013-12-09	Morgan Deters	Cutting release 1.3.	commit \| commitdiff \| tree
2013-12-06	Tianyi Liang	disable substring in default mode	commit \| commitdiff \| tree
2013-12-04	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-12-04	Tianyi Liang	adds LB strategy	commit \| commitdiff \| tree
2013-12-04	Tianyi Liang	adds LB strategy	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	Last version for undelayed LB	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	Last version for undelayed LB	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	change string news	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	string fmf perfomance fix	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	string fmf changes	commit \| commitdiff \| tree
2013-12-03	Tianyi Liang	string fmf perfomance fix	commit \| commitdiff \| tree
2013-11-26	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-11-26	Tianyi Liang	string fmf changes	commit \| commitdiff \| tree
2013-11-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-11-21	Tianyi Liang	string fmf changes	commit \| commitdiff \| tree
2013-11-21	Tianyi Liang	string fmf changes	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	lb change	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	add string progress measurements	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	add loop cache	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	add loop cache	commit \| commitdiff \| tree
2013-11-12	Tianyi Liang	length lemma is changed, var-split lemma is changed	commit \| commitdiff \| tree
2013-11-11	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-11-11	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Fix "make distclean", which should fix some of the...	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Minor fixups to last commit	commit \| commitdiff \| tree
2013-11-11	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	commit \| commitdiff \| tree
2013-11-07	Tianyi Liang	Adds the header file into makefile, solving building...	commit \| commitdiff \| tree
2013-11-07	Tianyi Liang	Adds the header file into makefile, solving building...	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	bug fix	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	change options	commit \| commitdiff \| tree
2013-11-06	Andrew Reynolds	Bug fixes for bounded integer quantification. Current...	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	bug fix	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	change options	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	add seperate regular expression files	commit \| commitdiff \| tree
2013-11-06	Tianyi Liang	add seperate regular expression files	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	add back eager approach	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	bug fix for loop rule	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	bug fix	commit \| commitdiff \| tree
2013-10-23	Tianyi Liang	bug fixes: some issues remain, need more discussion...	commit \| commitdiff \| tree
2013-10-22	Tianyi Liang	remove nested re or; opt loop	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	string fix	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	add a string test case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	bug fix for string special case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	add a string test case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	bug fix for string special case	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	adds regular expression range	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	adds regular expression range	commit \| commitdiff \| tree
2013-10-21	Tianyi Liang	adds regular expression range	commit \| commitdiff \| tree
2013-10-16	Tianyi Liang	adds fmf for strings	commit \| commitdiff \| tree
2013-10-16	Tianyi Liang	renames for strings fmf	commit \| commitdiff \| tree
2013-10-16	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	bug fix in strings : change from assert to alwaysassert	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	removes some junks	commit \| commitdiff \| tree
2013-10-15	Andrew Reynolds	performance optimizations for quantifier instantiation	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	bug fix in strings : change from assert to alwaysassert	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	removes some junks	commit \| commitdiff \| tree
2013-10-15	Tianyi Liang	bug fix: string cache cleaning	commit \| commitdiff \| tree
2013-10-14	Tianyi Liang	add another regexp test	commit \| commitdiff \| tree
2013-10-14	Tianyi Liang	Adds Regular Expression support.	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	Adds regular expression support, it is actually CFL...	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	add constant membership	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	adds native regexp.	commit \| commitdiff \| tree
2013-10-11	Tianyi Liang	add constant membership	commit \| commitdiff \| tree
2013-10-10	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	commit \| commitdiff \| tree
2013-10-10	Tianyi Liang	adds native regexp.	commit \| commitdiff \| tree
next

RSS Atom