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

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

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-08-16	Andrew Reynolds	Add non-emptiness to conclusion of positive RE star...	blob \| commitdiff \| raw \| diff to current
2020-08-06	Andrew Reynolds	(proof-new) Refactor regular expression operation ...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Move regular expression inclusion test to RegExpEntail...	blob \| commitdiff \| raw \| diff to current
2020-04-03	Andrew Reynolds	Split sequences rewriter (#4194)	blob \| commitdiff \| raw \| diff to current
2020-03-27	Andrew Reynolds	Move string utility file (#4164)	blob \| commitdiff \| raw \| diff to current
2020-02-26	Andrew Reynolds	Basic support for regular expression complement (#3437)	blob \| commitdiff \| raw \| diff to current
2020-02-22	Andrew Reynolds	Move cardinality inference scheme to base solver in...	blob \| commitdiff \| raw \| diff to current
2019-10-23	Andrew Reynolds	Fixes for SyGuS + regular expressions (#3313)	blob \| commitdiff \| raw \| diff to current
2019-08-30	Andres Noetzli	Infer conflicts based on regular expression inclusion...	blob \| commitdiff \| raw \| diff to current
2019-08-01	Andrew Reynolds	Regular expression intersection modes (#3134)	blob \| commitdiff \| raw \| diff to current
2019-07-30	Andrew Reynolds	Handle RE intersections modulo equality (#3120)	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-08-26	Andres Noetzli	Use uniform length limit for String constants (#2381)	blob \| commitdiff \| raw \| diff to current
2018-08-26	Andrew Reynolds	Fix unsigned integer type issues in strings (#2380)	blob \| commitdiff \| raw \| diff to current
2018-08-09	Andrew Reynolds	Fix char overflow issues in regular expression solver...	blob \| commitdiff \| raw \| diff to current
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
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-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-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-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-11-27	Tianyi Liang	add intersection 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 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	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-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	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-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-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	Merge branch 'master' of github.com:tiliang/CVC4	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
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-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-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-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
2013-12-26	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
next

RSS Atom