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

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

2016-11-03	ajreynol	Add priorities to getNextDecision. Properly handle...	blob \| commitdiff \| raw
2016-10-13	ajreynol	Merging bv parts of ajr/bvExt branch, minor additions...	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-10-01	Tim King	Merge pull request #93 from timothy-king/clang-format	blob \| commitdiff \| raw \| diff to current
2016-10-01	ajreynol	Incorporate non-bv parts of ajr/bvExt branch	blob \| commitdiff \| raw \| diff to current
2016-08-24	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-08-16	ajreynol	Initial infrastructure for ExtTheory, generalize extend...	blob \| commitdiff \| raw \| diff to current
2016-08-12	guykatzz	Merge pull request #90 from 4tXJ7f/fewer_preproc_holes	blob \| commitdiff \| raw \| diff to current
2016-08-11	ajreynol	Minor change to strings, introduce proxy vars only...	blob \| commitdiff \| raw \| diff to current
2016-08-10	ajreynol	Improvements to strings: work on propagations for rever...	blob \| commitdiff \| raw \| diff to current
2016-08-03	barrettcw	Merge pull request #87 from 4tXJ7f/fix_oob_access	blob \| commitdiff \| raw \| diff to current
2016-07-30	ajreynol	Prioritize inferences when processing normal forms...	blob \| commitdiff \| raw \| diff to current
2016-07-26	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-07-26	ajreynol	Minor improvements to strings related to constant split...	blob \| commitdiff \| raw \| diff to current
2016-07-25	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-07-21	ajreynol	Fixes for strings, explanations for constant split...	blob \| commitdiff \| raw \| diff to current
2016-07-20	ajreynol	Infer conflicts in strings based on abstracting equalit...	blob \| commitdiff \| raw \| diff to current
2016-07-16	ajreynol	Refactor strings extf evaluation info. Ensure strings...	blob \| commitdiff \| raw \| diff to current
2016-07-15	ajreynol	Minor simplification to normal form explanations.	blob \| commitdiff \| raw \| diff to current
2016-07-08	ajreynol	Simplifications for strings normal forms, fix case...	blob \| commitdiff \| raw \| diff to current
2016-07-07	ajreynol	Refactoring of strings preprocess module. When enabled...	blob \| commitdiff \| raw \| diff to current
2016-07-06	ajreynol	Minor cleanup in strings, mostly related to negated...	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-05-20	ajreynol	Improvements to theory combination + strings: do not...	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
2016-03-01	ajreynol	Shorter explanations for strings based on tracking...	blob \| commitdiff \| raw \| diff to current
2016-02-26	ajreynol	Refactoring of inferences in strings. Add several options.	blob \| commitdiff \| raw \| diff to current
2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw \| diff to current
2016-01-06	Tim King	Add SmtGlobals Class	blob \| commitdiff \| raw \| diff to current
2015-10-21	ajreynol	Minor refactoring in strings related to length.	blob \| commitdiff \| raw \| diff to current
2015-10-20	ajreynol	Refactor strings, remove old cycle checks in normalize...	blob \| commitdiff \| raw \| diff to current
2015-10-19	ajreynol	Clean up explanations involving string length. Add...	blob \| commitdiff \| raw \| diff to current
2015-10-19	ajreynol	Improve stratification of strings extended function...	blob \| commitdiff \| raw \| diff to current
2015-10-19	ajreynol	Improve regexp rewriter, simplify regexp preprocess...	blob \| commitdiff \| raw \| diff to current
2015-10-15	ajreynol	Fix congruence check in strings, fixes bug 686.	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-10-15	ajreynol	Decompose string contains, minor refactoring.	blob \| commitdiff \| raw \| diff to current
2015-10-11	ajreynol	Fix strings preprocessing + incremental, fixes bug...	blob \| commitdiff \| raw \| diff to current
2015-10-08	ajreynol	Minor improvements to strings. Refactor rewriter. Enabl...	blob \| commitdiff \| raw \| diff to current
2015-10-06	ajreynol	More improvements to strings rewriter for regexps,...	blob \| commitdiff \| raw \| diff to current
2015-10-02	ajreynol	Fixes related to explanations for cycles, sym inference...	blob \| commitdiff \| raw \| diff to current
2015-10-01	ajreynol	Evaluate extended operators on partially concrete argum...	blob \| commitdiff \| raw \| diff to current
2015-10-01	ajreynol	More improvements to strings. More aggressive inference...	blob \| commitdiff \| raw \| diff to current
2015-09-30	ajreynol	Refactor strings, bug fix inferences vs lemmas.	blob \| commitdiff \| raw \| diff to current
2015-09-28	ajreynol	Minor fixes to strings, add regressions.	blob \| commitdiff \| raw \| diff to current
2015-09-28	ajreynol	Fix bug for trivial extf inferences in strings. Improve...	blob \| commitdiff \| raw \| diff to current
2015-09-27	ajreynol	Improved handling of extended operators. Do preprocess...	blob \| commitdiff \| raw \| diff to current
2015-09-26	ajreynol	Lazy preprocessing of extended operators in strings...	blob \| commitdiff \| raw \| diff to current
2015-07-30	ajreynol	Implement virtual term substitution for non-nested...	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
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
next

RSS Atom