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

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

2015-02-06	Tianyi Liang	Improved string performance, thanks to Peter's benchmarks.	blob \| commitdiff \| raw
2014-12-03	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	add more functions for regular expressions	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	add more functions for regular expressions	blob \| commitdiff \| raw \| diff to current
2014-11-20	ajreynol	Disable constants sharing in eq engine, disable hack...	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-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-06-30	Kshitij Bansal	Merge pull request #47 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #34 from mdeters/datatypes-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #37 from mdeters/quants-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-25	Andrew Reynolds	Merge pull request #38 from mdeters/uf-kinds	blob \| commitdiff \| raw \| diff to current
2014-06-24	Tianyi Liang	Merge pull request #41 from mdeters/tianyi-merge	blob \| commitdiff \| raw \| diff to current
2014-06-24	Morgan Deters	Squashed commit of the following:	blob \| commitdiff \| raw \| diff to current
2014-05-12	Tianyi Liang	Replace lemma sending with EQ assertions. Fix a typo...	blob \| commitdiff \| raw \| diff to current
2014-05-12	Tianyi Liang	Replace lemma sending with EQ assertions. Fix a typo...	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-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-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-24	Tianyi Liang	minor change: add a heuristic for preventing constant...	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-03-27	Tianyi Liang	deriv symbolic regexp	blob \| commitdiff \| raw \| diff to current
2014-03-27	Tianyi Liang	adds intersection	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Tianyi Liang	deriv symbolic regexp	blob \| commitdiff \| raw \| diff to current
2014-03-26	Tianyi Liang	adds intersection	blob \| commitdiff \| raw \| diff to current
2014-03-26	Tianyi Liang	deriv symbolic regexp	blob \| commitdiff \| raw \| diff to current
2014-03-25	Tianyi Liang	adds intersection	blob \| commitdiff \| raw \| diff to current
2014-03-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-19	Martin Brain	Refactor the theory specific parts of definition expans...	blob \| commitdiff \| raw \| diff to current
2014-03-17	Tianyi Liang	hot fix for pre-reg term caching in strings	blob \| commitdiff \| raw \| diff to current
2014-03-17	Tianyi Liang	hot fix for pre-reg term caching in strings	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-10	Tianyi Liang	adds intro vars length cache	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	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-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-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-02-14	Tianyi Liang	fix expanding def	blob \| commitdiff \| raw \| diff to current
2014-02-12	Tianyi Liang	bug fix for reverse check	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-30	Tianyi Liang	stats for eq/diseq splits	blob \| commitdiff \| raw \| diff to current
2014-01-30	Tianyi Liang	another name change	blob \| commitdiff \| raw \| diff to current
2014-01-30	Tianyi Liang	adds stats	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-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-24	Tianyi Liang	rev diseq	blob \| commitdiff \| raw \| diff to current
2014-01-24	Tianyi Liang	rev const split	blob \| commitdiff \| raw \| diff to current
2014-01-24	Tianyi Liang	optimize for the reverse direction	blob \| commitdiff \| raw \| diff to current
2014-01-24	Tianyi Liang	rev diseq	blob \| commitdiff \| raw \| diff to current
2014-01-24	Tianyi Liang	rev const split	blob \| commitdiff \| raw \| diff to current
2014-01-24	Tianyi Liang	optimize for the reverse direction	blob \| commitdiff \| raw \| diff to current
2014-01-23	Tianyi Liang	fix: constants are inferred to be the same	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-22	Morgan Deters	Delay QuantifiersEngine and UF strong solver initializa...	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-15	Tianyi Liang	adds smt2 print for strings	blob \| commitdiff \| raw \| diff to current
2014-01-15	Tianyi Liang	adds smt2 print for strings	blob \| commitdiff \| raw \| diff to current
2014-01-10	Tianyi Liang	normal form breaking	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	string contain changes	blob \| commitdiff \| raw \| diff to current
2013-12-26	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-12-24	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-24	Morgan Deters	Minor code cleanup.	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-12-04	Tianyi Liang	adds LB strategy	blob \| commitdiff \| raw \| diff to current
2013-12-04	Tianyi Liang	adds LB strategy	blob \| commitdiff \| raw \| diff to current
2013-12-03	Tianyi Liang	Last version for undelayed LB	blob \| commitdiff \| raw \| diff to current
2013-12-03	Tianyi Liang	Last version for undelayed LB	blob \| commitdiff \| raw \| diff to current
2013-12-03	Tianyi Liang	string fmf changes	blob \| commitdiff \| raw \| diff to current
2013-11-26	Tianyi Liang	string fmf changes	blob \| commitdiff \| raw \| diff to current
2013-11-21	Tianyi Liang	string fmf changes	blob \| commitdiff \| raw \| diff to current
2013-11-21	Tianyi Liang	string fmf changes	blob \| commitdiff \| raw \| diff to current
next

RSS Atom