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

[cvc5.git] / src / options / options_template.cpp

2021-05-26	Gereon Kremer	Use references instead of getter functions (#6597)	blob \| commitdiff \| raw
2021-05-13	Gereon Kremer	Split options holder class (#6527)	blob \| commitdiff \| raw \| diff to current
2021-04-28	Gereon Kremer	Clean up options holder class (#6458)	blob \| commitdiff \| raw \| diff to current
2021-04-26	Gereon Kremer	First part of options refactoring (#6428)	blob \| commitdiff \| raw \| diff to current
2021-04-21	Mathias Preiner	Goodbye CVC4, hello cvc5! (#6371)	blob \| commitdiff \| raw \| diff to current
2021-04-20	Aina Niemetz	Remove support for CVC3 language. (#6369)	blob \| commitdiff \| raw \| diff to current
2021-04-20	Aina Niemetz	Add guards to disable clang-format around placeholders...	blob \| commitdiff \| raw \| diff to current
2021-04-15	Aina Niemetz	Rename occurrences of CVC4 to CVC5. (#6351)	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-10	Aina Niemetz	Rename CVC4_ macros to CVC5_. (#6327)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-03-06	Mathias Preiner	Remove SMT-LIB 2.5 and 2.0 support. (#6068)	blob \| commitdiff \| raw \| diff to current
2020-11-19	Aina Niemetz	Include stddef.h (needed for size_t) in cvc4_public...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-07-17	Andrew Reynolds	Replace options listener infrastructure (#4764)	blob \| commitdiff \| raw \| diff to current
2020-07-17	Andrew Reynolds	Add option manager and simpler option listener (#4745)	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-25	Andrew Reynolds	Remove sygus1 parser (#4651)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-05-19	Andrew Reynolds	Update enum and option names for sygus languages (...	blob \| commitdiff \| raw \| diff to current
2020-04-28	Andrew Reynolds	Support the SMT-LIB Unicode string standard by default...	blob \| commitdiff \| raw \| diff to current
2020-04-21	Andrew Reynolds	Fix for parse options related to binary name (#4368)	blob \| commitdiff \| raw \| diff to current
2020-04-14	Andrew Reynolds	Remove argument extender (#4223)	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
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Andrew Reynolds	Add help for sygus 2.0 (#3318)	blob \| commitdiff \| raw \| diff to current
2019-09-16	Aina Niemetz	Fix compiler warning in options.cpp. (#3284)	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-06-21	Andres Noetzli	Fix and simplify handling of --force-logic (#3062)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-22	Haniel Barbosa	fix help information on TPTP parsing (#2884)	blob \| commitdiff \| raw \| diff to current
2018-12-14	Aina Niemetz	Fixed typos.	blob \| commitdiff \| raw \| diff to current
2018-10-19	Andres Noetzli	Add OptionException handling during initialization...	blob \| commitdiff \| raw \| diff to current
2018-08-08	Andres Noetzli	Require Swig 3 (#2283)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-03	Andres Noetzli	Remove (dummy) SMT1 printer (#1854)	blob \| commitdiff \| raw \| diff to current
2018-05-03	Andrew Reynolds	Initial support for string standard in smt lib 2.6...	blob \| commitdiff \| raw \| diff to current
2018-03-21	Mathias Preiner	Refactor mkoptions (#1631)	blob \| commitdiff \| raw \| diff to current
2018-01-14	Tim King	Removing throw specifiers from OptionsHandler. (#1510)	blob \| commitdiff \| raw \| diff to current
2018-01-09	Tim King	Removing more miscellaneous throw specifiers. (#1488)	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-10	Andres Noetzli	Fix line numbers in options_template	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-03-16	ajreynol	Parsing support for SMT LIB 2.6. Minor fixes for printi...	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-30	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-23	Clark Barrett	Fixed some warnings, fixed bug in cdhashmap that was...	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-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-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-01-14	Morgan Deters	sygus input language and benchmark	blob \| commitdiff \| raw \| diff to current
2015-01-13	Morgan Deters	Fix #line numbering.	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-20	Morgan Deters	Fix #lines in template.	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-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-25	Kshitij Bansal	Merge pull request #43 from mdeters/threadstack	blob \| commitdiff \| raw \| diff to current
2014-06-25	Tim King	Merge branch 'master' of github.com:CVC3/CVC4	blob \| commitdiff \| raw \| diff to current
2014-06-25	Morgan Deters	Fix some #line annotations.	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Output language "cvc3" (as opposed to "cvc" or "cvc4...	blob \| commitdiff \| raw \| diff to current
2014-05-17	Kshitij Bansal	Merge pull request #26 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-05-16	Kshitij Bansal	minor improvements (fixes) to did-you-mean suggestions	blob \| commitdiff \| raw \| diff to current
2014-04-30	Morgan Deters	Mostly resolves bug #561 memory leaks, and more.	blob \| commitdiff \| raw \| diff to current
2014-04-29	Kshitij Bansal	fixed couple of more warnings	blob \| commitdiff \| raw \| diff to current
2014-04-28	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge pull request #25 from kbansal/sets	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-19	Kshitij Bansal	Eh, what?	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-02-26	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-02-25	Morgan Deters	New translation work, support Z3-str-style string const...	blob \| commitdiff \| raw \| diff to current
2013-12-03	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-29	Morgan Deters	Fix proofs build.	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-29	Morgan Deters	Fix numerous compiler warnings on various platforms	blob \| commitdiff \| raw \| diff to current
2013-07-24	Morgan Deters	Fixes for building with mingw win64.	blob \| commitdiff \| raw \| diff to current
2013-07-24	Morgan Deters	Some fixes for (get-info :all-options)	blob \| commitdiff \| raw \| diff to current
next

RSS Atom