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

[cvc5.git] / src / main / driver_unified.cpp

2020-07-16	Gereon Kremer	Fixes memory leak when an exception goes through runCvc...	blob \| commitdiff \| raw
2020-07-13	Gereon Kremer	Implement --tlimit for windows (#4716)	blob \| commitdiff \| raw \| diff to current
2020-07-08	Gereon Kremer	Re-implement handling of --tlimit (#4655)	blob \| commitdiff \| raw \| diff to current
2020-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-21	Andrew Reynolds	Update to sygus version 2 (#4372)	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-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2019-09-07	Andrew Reynolds	Remove portfolio (#3236)	blob \| commitdiff \| raw \| diff to current
2019-09-06	Mathias Preiner	Remove SMT1 parser. (#3228)	blob \| commitdiff \| raw \| diff to current
2019-08-14	Mathias Preiner	Remove option --continued-execution. (#3189)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-10-22	Andres Noetzli	CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)	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-10	Aina Niemetz	Fix portfolio command executor for changes from #2240...	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-08-08	Andres Noetzli	Require Swig 3 (#2283)	blob \| commitdiff \| raw \| diff to current
2018-08-02	Andres Noetzli	Remove Subversion build info (#2250)	blob \| commitdiff \| raw \| diff to current
2018-08-01	Aina Niemetz	InteractiveShell: Remove redundant options argument...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-11-03	Andrew Reynolds	Sygus clean main (#1297)	blob \| commitdiff \| raw \| diff to current
2017-10-10	Aina Niemetz	Add copyright information. (#1201)	blob \| commitdiff \| raw \| diff to current
2017-08-31	Andres Noetzli	Use thread_local instead of compiler extensions (#210)	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-08-04	ajreynol	Set default language to smt lib 2.6 (including as a...	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-17	Andres Noetzli	Remove PtrCloser (#198)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-05-17	Clark Barrett	Merge pull request #155 from makaimann/conditional_coverage	blob \| commitdiff \| raw \| diff to current
2017-05-16	Clark Barrett	Merge pull request #161 from 4tXJ7f/fix_parser	blob \| commitdiff \| raw \| diff to current
2017-05-16	Andrew Reynolds	Merge pull request #156 from 4tXJ7f/fix_safe_print	blob \| commitdiff \| raw \| diff to current
2017-05-15	Andres Noetzli	Minor fix in safe_print function	blob \| commitdiff \| raw \| diff to current
2017-05-12	Andres Notzli	Make signal handlers safer	blob \| commitdiff \| raw \| diff to current
2016-12-14	Clark Barrett	Merge pull request #119 from 4tXJ7f/smt_v2_5	blob \| commitdiff \| raw \| diff to current
2016-12-14	Andres Notzli	Switch from SMT-LIB v2.0 to v2.5 for smt2 files	blob \| commitdiff \| raw \| diff to current
2016-12-14	Clark Barrett	Made tear-down-incremental more like it used to be...	blob \| commitdiff \| raw \| diff to current
2016-11-10	Tim King	Merge pull request #103 from timothy-king/uniq-ptr	blob \| commitdiff \| raw \| diff to current
2016-11-09	Tim King	Renaming the class PtrCloser to not cause confusion...	blob \| commitdiff \| raw \| diff to current
2016-11-09	Tim King	Merge branch 'master' into uniq-ptr	blob \| commitdiff \| raw \| diff to current
2016-11-07	Tim King	Adds a C++05 version of unique_ptr. Used this to solve...	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-22	Tim King	New version of the recursive options parsing strategy.	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-31	Clark Barrett	Modified tear-down-incremental option to take an intege...	blob \| commitdiff \| raw \| diff to current
2015-12-30	Tim King	Shuffling around public vs. private headers	blob \| commitdiff \| raw \| diff to current
2015-12-19	Tim King	Modifying emptyset.h and sexpr. Adding SetLanguage.	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-11-24	Tim King	Freeing memory allocated for signal handling.	blob \| commitdiff \| raw \| diff to current
2015-10-12	Kshitij Bansal	Merge pull request #76 from CVC4/proofs	blob \| commitdiff \| raw \| diff to current
2015-10-11	Kshitij Bansal	fix regression tests, support fallback mode for proofs	blob \| commitdiff \| raw \| diff to current
2015-07-28	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2015-07-25	ajreynol	Add option --sygus-inv-templ for synthesizing strengthe...	blob \| commitdiff \| raw \| diff to current
2015-06-12	ajreynol	Make sygus an output language. Parse declare-fun in...	blob \| commitdiff \| raw \| diff to current
2015-04-02	Kshitij Bansal	Merge pull request #71 from kbansal/const-are-triggers	blob \| commitdiff \| raw \| diff to current
2015-03-31	Kshitij Bansal	fix echo command in --tear-down-incremental	blob \| commitdiff \| raw \| diff to current
2015-02-06	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2015-01-30	ajreynol	Generalize conflict clauses in sygus sym break, merge...	blob \| commitdiff \| raw \| diff to current
2015-01-14	Morgan Deters	sygus input language and benchmark	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-17	Liana Hadarean	Resource-limiting work.	blob \| commitdiff \| raw \| diff to current
2014-11-12	Morgan Deters	Fix tokenization of "reset" in SMT-LIB v2.0. It's...	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-23	Morgan Deters	Parsing and infrastructure support for SMT-LIBv2.5...	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-30	Morgan Deters	Fix improper #inclusion of private header outside library.	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Fix a command-replay bug in tear-down-incremental mode...	blob \| commitdiff \| raw \| diff to current
2014-09-30	Morgan Deters	Proofs- and cores-related segfault fixes (mainly a...	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-07-01	Morgan Deters	Merge pull request #44 from mdeters/prio-queue-updates	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #45 from mdeters/turn-off-strings-exp	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	Kshitij Bansal	Merge pull request #46 from mdeters/bug573	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Potential fix for bug 573.	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-25	Kshitij Bansal	Merge pull request #43 from mdeters/threadstack	blob \| commitdiff \| raw \| diff to current
next

RSS Atom