Age | Commit message (Expand) | Author |
2021-09-01 | Make driver::totalTime a TimerStat (#7089) | Gereon Kremer |
2021-08-23 | Move options parsing code to main (#7054) | Gereon Kremer |
2021-08-20 | Make driver use options from the solver (#6930) | Gereon Kremer |
2021-07-14 | Clean up option usage in command executor (#6844) | Gereon Kremer |
2021-06-08 | Remove `binary_name` option (#6693) | Gereon Kremer |
2021-04-21 | Goodbye CVC4, hello cvc5! (#6371) | Mathias Preiner |
2021-04-12 | Refactor and update copyright headers. (#6316) | Aina Niemetz |
2021-04-09 | Rename CVC4_ macros to CVC5_. (#6327) | Aina Niemetz |
2021-04-09 | Rename CVC4__ header guards to CVC5__. (#6326) | Aina Niemetz |
2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
2021-03-30 | Fix total time statistic (#6233) | Gereon Kremer |
2021-03-22 | Move statistics from the driver into the SmtEngine (#6170) | Gereon Kremer |
2021-03-11 | First refactoring of statistics classes (#6105) | Gereon Kremer |
2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
2020-12-11 | Flush statistics through NodeManager in SmtEngine (#5652) | Andrew Reynolds |
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
2020-06-16 | Update copyright headers. | Aina Niemetz |
2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-08-07 | Require Swig 3 (#2283) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-01-04 | Removing miscellaneous throw specifiers. (#1474) | Tim King |
2017-08-30 | Use thread_local instead of compiler extensions (#210) | Andres Noetzli |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-05-15 | Minor fix in safe_print function | Andres Noetzli |
2016-04-20 | update from the master | PaulMeng |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-11-23 | Freeing memory allocated for signal handling. | Tim King |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-08-13 | --segv-nospin is now default. | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-02-04 | driver::totalTime statistic is now reported correctly on crashes, too | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-04-04 | Add documentation to Node and TNode (closes bug #201). | Morgan Deters |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
2010-10-31 | maximize stack limit, handle SEGV signals on an alternate signal stack, and t... | Morgan Deters |
2010-10-22 | Merging main/getopt.cpp, main/usage.h, and smt/options.h in | Christopher L. Conway |
2010-09-13 | statistics are now printed on timeout (SIGXCPU) and SIGINT if --stats is given | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
2010-02-04 | src/expr/kind.h is now automatically generated. | Morgan Deters |