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

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

2018-08-09	Andrew Reynolds	Fix char overflow issues in regular expression solver...	blob \| commitdiff \| raw
2018-07-04	Andrew Reynolds	More cleanup in strings (#2138)	blob \| commitdiff \| raw \| diff to current
2018-07-02	Andrew Reynolds	Remove some dead code from theory strings (#2125)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-04-16	Andrew Reynolds	Make 256 the default cardinality for strings (#1783)	blob \| commitdiff \| raw \| diff to current
2017-11-14	Tim King	Initializes RegExpOpr::d_char_start and d_char_end...	blob \| commitdiff \| raw \| diff to current
2017-08-24	Andrew Reynolds	Merge pull request #191 from timothy-king/cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-07-21	Tim King	Merge branch 'master' into cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-07-17	Tim King	Merge branch 'master' into cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-07-14	Tim King	Cleaning up the CVC4::String class.	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-06-08	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-06	guykatzz	Merge pull request #85 from CVC4/master_for_proof_merge	blob \| commitdiff \| raw \| diff to current
2016-06-03	ajreynol	Remove NodeListMap from strings, fixes memory leaks...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-10-15	ajreynol	Change semantics of str.substr to allow endpoint out...	blob \| commitdiff \| raw \| diff to current
2015-05-12	barrettcw	Merge pull request #74 from finnhaedicke/namespace_minisat	blob \| commitdiff \| raw \| diff to current
2015-04-23	Clark Barrett	Merge branch 'master' into google	blob \| commitdiff \| raw \| diff to current
2015-04-21	Clark Barrett	Changes needed to compile at Google, plus some bug...	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-25	Tianyi Liang	minor fix for internal string print	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
2014-12-11	Tianyi Liang	bug fix, thanks to Guy's example.	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-04	Tianyi Liang	clean up and improve intersection	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 functions for regular expressions	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 functions for regular expressions	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	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-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-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	dos2unix-convert some sources.	blob \| commitdiff \| raw \| diff to current
2014-06-16	Morgan Deters	dos2unix-convert some sources.	blob \| commitdiff \| raw \| diff to current
2014-05-30	Morgan Deters	Bug fix for string-opt2 (copied from Tianyi's branch).	blob \| commitdiff \| raw \| diff to current
2014-05-05	Tianyi Liang	add constant regular expression check for intersection.	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	minor change with kshitij's change	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 pull request #25 from kbansal/sets	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-17	Kshitij Bansal	simplify mkSkolem naming system: don't use $$	blob \| commitdiff \| raw \| diff to current
2014-04-10	Tianyi Liang	minor fix for strings	blob \| commitdiff \| raw \| diff to current
2014-04-10	Tianyi Liang	minor fix for strings	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-28	Tianyi Liang	minor printer fix; intersection fix	blob \| commitdiff \| raw \| diff to current
2014-03-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	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 intersection	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
next

RSS Atom