git.libre-soc.org Git - cvc5.git/history - src/decision/decision

[cvc5.git] / src / decision / decision_engine.cpp

2020-04-10	Andrew Reynolds	Towards proper use of resource managers (#4233)	blob \| commitdiff \| raw
2020-03-16	Aina Niemetz	DecisionEngine: Use single unique pointer for ITE strat...	blob \| commitdiff \| raw \| diff to current
2020-03-09	Aina Niemetz	DecisionEngine: Use unique_ptr for enabled strategies...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Aina Niemetz	Move ownership of DecisionEngine into PropEngine. ...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Aina Niemetz	Revert "Move ownership of DecisionEngine into PropEngin...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Andrew Reynolds	Move ownership of DecisionEngine into PropEngine. ...	blob \| commitdiff \| raw \| diff to current
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-09-15	Andres Noetzli	Refactor how assertions are added to decision engine...	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-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
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-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	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-10-07	Kshitij Bansal	whitespace fixes	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
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-19	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-06-04	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-29	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-21	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-21	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-09	Kshitij Bansal	Merge branch 'master' of ssh://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-05-08	Kshitij Bansal	rm decision/relevancy	blob \| commitdiff \| raw \| diff to current
2013-05-06	Tim King	Disables justification stop only for LRA if the problem...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2013-03-21	lianah	Merge branch 'master' into bv-core	blob \| commitdiff \| raw \| diff to current
2013-03-21	Morgan Deters	Fix to bug 497: make justification heuristic's ITE...	blob \| commitdiff \| raw \| diff to current
2013-03-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-03-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-26	lianah	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge pull request #6 from kbansal/decNewoptions	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Some cleanup and copyright updating	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Tim King	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-08	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Kshitij Bansal	Merge remote-tracking branch 'origin/1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-31	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-28	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-27	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-23	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-22	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-22	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-19	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2012-12-22	Dejan Jovanović	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2012-12-18	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2012-12-15	Tim King	Merging in patch from branch '1.0.x'.	blob \| commitdiff \| raw \| diff to current
2012-12-12	Dejan Jovanović	Merge pull request #2 from CVC4/1.0.x	blob \| commitdiff \| raw \| diff to current
2012-12-11	Morgan Deters	Merge branch '1.0.x', getting fix for bug 480	blob \| commitdiff \| raw \| diff to current
2012-12-11	Morgan Deters	Merge branch '1.0.x' (getting fix for bug 479)	blob \| commitdiff \| raw \| diff to current
2012-12-11	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2012-12-08	Morgan Deters	Merge from 1.0.x (bugfix for 476).	blob \| commitdiff \| raw \| diff to current
2012-12-07	François Bobot	Merge release branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2012-12-06	François Bobot	Merge branch 'release-1.0.x'	blob \| commitdiff \| raw \| diff to current
2012-12-04	Kshitij Bansal	* Add support for --decision=justification + incrementa...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Kshitij Bansal	Simplify --help=decision with only currently supported...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current
2012-06-18	Kshitij Bansal	tracing code to make sure decision options are being...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Kshitij Bansal	This commit:	blob \| commitdiff \| raw \| diff to current
2012-06-13	Kshitij Bansal	Make d_result in DE context dependent	blob \| commitdiff \| raw \| diff to current
2012-06-08	Kshitij Bansal	Merge from decision branch (till r3663)	blob \| commitdiff \| raw \| diff to current
2012-05-13	Dejan Jovanović	fixing build warnings	blob \| commitdiff \| raw \| diff to current
2012-05-09	Kshitij Bansal	Merge from decision branch (ITE support)	blob \| commitdiff \| raw \| diff to current
2012-04-23	Kshitij Bansal	Merge from decision branch -- partially working justifi...	blob \| commitdiff \| raw \| diff to current
2012-04-19	Tim King	In the constructor of DecisionEngine, there were 2...	blob \| commitdiff \| raw \| diff to current
2012-04-17	Kshitij Bansal	A dummy decision engine. Expected performance impact...	blob \| commitdiff \| raw \| diff to current

RSS Atom