git.libre-soc.org Git - cvc5.git/history - src/main/command

[cvc5.git] / src / main / command_executor.h

2020-07-16	Gereon Kremer	Fixes memory leak when an exception goes through runCvc...	blob \| commitdiff \| raw
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-31	Andrew Reynolds	Remove replay and use-theory options and idl (#4186)	blob \| commitdiff \| raw \| diff to current
2020-03-12	Aina Niemetz	New C++ API: Remove support for (reset). (#4037)	blob \| commitdiff \| raw \| diff to current
2020-02-26	Andres Noetzli	Remove portfolio leftovers (#3821)	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-23	Haniel Barbosa	Makes the filename be set in the SMT engine by default...	blob \| commitdiff \| raw \| diff to current
2018-08-09	Aina Niemetz	Plug solver API object into parser. (#2240)	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
2017-05-12	Andres Notzli	Make signal handlers safer	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-02-02	Tim King	Moving dump., command., model.*, and ite_removal...	blob \| commitdiff \| raw \| diff to current
2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw \| diff to current
2016-01-09	Tim King	Removing StatisticsRegistry's static functions current...	blob \| commitdiff \| raw \| diff to current
2016-01-06	Tim King	Add SmtGlobals Class	blob \| commitdiff \| raw \| diff to current
2015-12-24	Tim King	Miscellaneous fixes	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	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-19	Morgan Deters	Some reversions of recent commits re: portfolio failure.	blob \| commitdiff \| raw \| diff to current
2014-06-19	Morgan Deters	Some fixes for tear-down-incremental and "success"...	blob \| commitdiff \| raw \| diff to current
2014-06-18	Morgan Deters	Some reversions of recent commits re: portfolio failure.	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	Some reversions of recent commits re: portfolio failure.	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	Some fixes for tear-down-incremental and "success"...	blob \| commitdiff \| raw \| diff to current
2014-06-17	Morgan Deters	Some fixes for tear-down-incremental and "success"...	blob \| commitdiff \| raw \| diff to current
2014-05-27	Kshitij Bansal	Merge pull request #27 from kbansal/statistics	blob \| commitdiff \| raw \| diff to current
2014-05-27	Morgan Deters	New --tear-down-incremental mode, useful for debugging...	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	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-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-01	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-02-28	Kshitij Bansal	Merge pull request #11 from kbansal/improve-stats-every...	blob \| commitdiff \| raw \| diff to current
2014-02-27	Kshitij Bansal	--stats-every-query option: print increment in addition...	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-07-11	Morgan Deters	Support for TPTP's TFF0 (with arithmetic)	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
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-29	Morgan Deters	Fix a few segfaults in driver.	blob \| commitdiff \| raw \| diff to current
2012-09-28	Kshitij Bansal	Some fixes to portfolio	blob \| commitdiff \| raw \| diff to current
2012-09-22	Morgan Deters	Separate public-facing and internal-facing interfaces...	blob \| commitdiff \| raw \| diff to current
2012-09-08	Morgan Deters	Some minor changes after reviewing the portfolio "unifi...	blob \| commitdiff \| raw \| diff to current

RSS Atom