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

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

2021-08-27	Gereon Kremer	Add Driver options (#7078)	blob \| commitdiff \| raw
2021-08-27	Gereon Kremer	Handle languages as strings in driver (#7074)	blob \| commitdiff \| raw \| diff to current
2021-08-26	Gereon Kremer	Consolidate language types (#7065)	blob \| commitdiff \| raw \| diff to current
2021-08-23	Gereon Kremer	Move options parsing code to main (#7054)	blob \| commitdiff \| raw \| diff to current
2021-08-20	Gereon Kremer	Make driver use options from the solver (#6930)	blob \| commitdiff \| raw \| diff to current
2021-08-20	Gereon Kremer	Add CVC5ApiOptionException (#6992)	blob \| commitdiff \| raw \| diff to current
2021-08-19	Andres Noetzli	Remove `--(no-)interactive-prompt` (#7022)	blob \| commitdiff \| raw \| diff to current
2021-07-26	Gereon Kremer	Move public options functions to separate file (#6671)	blob \| commitdiff \| raw \| diff to current
2021-07-14	Gereon Kremer	Clean up option usage in command executor (#6844)	blob \| commitdiff \| raw \| diff to current
2021-06-23	Andres Noetzli	Remove `--tear-down-incremental` (#6745)	blob \| commitdiff \| raw \| diff to current
2021-06-15	Gereon Kremer	Remove public option wrappers (#6716)	blob \| commitdiff \| raw \| diff to current
2021-06-08	Gereon Kremer	Remove `binary_name` option (#6693)	blob \| commitdiff \| raw \| diff to current
2021-06-06	Gereon Kremer	Support public option modules (#6691)	blob \| commitdiff \| raw \| diff to current
2021-06-04	Gereon Kremer	Add missing dereference (#6684)	blob \| commitdiff \| raw \| diff to current
2021-06-02	Gereon Kremer	Use proper variable name (#6670)	blob \| commitdiff \| raw \| diff to current
2021-06-02	Gereon Kremer	Move public wrapper functions out of options class...	blob \| commitdiff \| raw \| diff to current
2021-05-14	Andres Noetzli	Decouple parser creation from input selection (#6533)	blob \| commitdiff \| raw \| diff to current
2021-05-13	Andres Noetzli	Always parse streams with line buffer (#6532)	blob \| commitdiff \| raw \| diff to current
2021-04-21	Mathias Preiner	Goodbye CVC4, hello cvc5! (#6371)	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-06	Aina Niemetz	New C++ Api: Rename and move headers. (#6292)	blob \| commitdiff \| raw \| diff to current
2021-04-02	Mathias Preiner	cmake: Do not link against main object library. (#6269)	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-30	Gereon Kremer	Fix total time statistic (#6233)	blob \| commitdiff \| raw \| diff to current
2021-03-22	Gereon Kremer	Move statistics from the driver into the SmtEngine...	blob \| commitdiff \| raw \| diff to current
2021-03-18	Abdalrhman Mohamed	Eliminate more uses of SExpr. (#6149)	blob \| commitdiff \| raw \| diff to current
2021-03-16	Mathias Preiner	cmake: Generate cvc4_export.h and set visibility to...	blob \| commitdiff \| raw \| diff to current
2021-03-11	Gereon Kremer	First refactoring of statistics classes (#6105)	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-05	Gereon Kremer	Reimplement time limit mechanism for windows (#6049)	blob \| commitdiff \| raw \| diff to current
2020-12-12	Andrew Reynolds	Flush statistics through NodeManager in SmtEngine ...	blob \| commitdiff \| raw \| diff to current
2020-12-02	Aina Niemetz	Rename macro Message to CVC4Message. (#5576)	blob \| commitdiff \| raw \| diff to current
2020-11-30	Abdalrhman Mohamed	Eliminate uses of SExpr from the parser. (#5496)	blob \| commitdiff \| raw \| diff to current
2020-11-09	Andrew Reynolds	Add symbol manager (#5380)	blob \| commitdiff \| raw \| diff to current
2020-09-23	Abdalrhman Mohamed	Refactor Commands to use the Public API. (#5105)	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-16	Gereon Kremer	Fixes memory leak when an exception goes through runCvc...	blob \| commitdiff \| raw \| diff to current
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
next

RSS Atom