summaryrefslogtreecommitdiff
path: root/src/main/driver_unified.cpp
AgeCommit message (Expand)Author
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-02cmake: Do not link against main object library. (#6269)Mathias Preiner
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-30Fix total time statistic (#6233)Gereon Kremer
2021-03-22Move statistics from the driver into the SmtEngine (#6170)Gereon Kremer
2021-03-18Eliminate more uses of SExpr. (#6149)Abdalrhman Mohamed
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-11First refactoring of statistics classes (#6105)Gereon Kremer
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-05Reimplement time limit mechanism for windows (#6049)Gereon Kremer
2020-12-11Flush statistics through NodeManager in SmtEngine (#5652)Andrew Reynolds
2020-12-02Rename macro Message to CVC4Message. (#5576)Aina Niemetz
2020-11-30Eliminate uses of SExpr from the parser. (#5496)Abdalrhman Mohamed
2020-11-09Add symbol manager (#5380)Andrew Reynolds
2020-09-22Refactor Commands to use the Public API. (#5105)Abdalrhman Mohamed
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-07-15Fixes memory leak when an exception goes through runCvc4(). (Fixes #4590) (#4...Gereon Kremer
2020-07-13Implement --tlimit for windows (#4716)Gereon Kremer
2020-07-08Re-implement handling of --tlimit (#4655)Gereon Kremer
2020-07-07Transfer ownership of internal Options from NodeManager to SmtEngine (#4682)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-04-21Update to sygus version 2 (#4372)Andrew Reynolds
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-12New C++ API: Remove support for (reset). (#4037)Aina Niemetz
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-08-14Remove option --continued-execution. (#3189)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-10-22CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)Andres Noetzli
2018-08-23Makes the filename be set in the SMT engine by default (#2366)Haniel Barbosa
2018-08-10Fix portfolio command executor for changes from #2240. (#2294)Aina Niemetz
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-08-02Remove Subversion build info (#2250)Andres Noetzli
2018-08-01 InteractiveShell: Remove redundant options argument. (#2244)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2017-11-03Sygus clean main (#1297)Andrew Reynolds
2017-10-10Add copyright information. (#1201)Aina Niemetz
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-07Update copyright headers.Mathias Preiner
2017-05-15Minor fix in safe_print functionAndres Noetzli
2017-05-12Make signal handlers saferAndres Notzli
2016-12-14Switch from SMT-LIB v2.0 to v2.5 for smt2 filesAndres Notzli
2016-12-14Made tear-down-incremental more like it used to be: when tear-down valueClark Barrett
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback