Age | Commit message (Expand) | Author |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-01-08 | Removing more miscellaneous throw specifiers. (#1488) | Tim King |
2018-01-04 | Removing miscellaneous throw specifiers. (#1474) | Tim King |
2017-12-12 | Add SIGTERM handler. (#1440) | Mathias Preiner |
2017-08-30 | Use thread_local instead of compiler extensions (#210) | Andres Noetzli |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-06-21 | Check for sigaltstack in configure (#172) | Clément Pit-Claudel |
2017-06-20 | Fix SIGILL handler | Andres Noetzli |
2017-05-16 | Fix error in Windows build | Andres Noetzli |
2017-05-15 | Minor fix in safe_print function | Andres Noetzli |
2017-05-12 | Make signal handlers safer | Andres Notzli |
2017-03-18 | Fix for bug 707. | Clark Barrett |
2016-04-20 | update from the master | PaulMeng |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2016-01-05 | Adding a new class LastExceptionBuffer for the purpose of owning the memory f... | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-12-02 | Guarding the destruction of the a linux specific variable on WIN32. | Tim King |
2015-11-23 | Freeing memory allocated for signal handling. | Tim King |
2014-09-18 | cvc4terminate infinite loop fix | Kshitij Bansal |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-19 | Better --segv-spin messages. | 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 | Merge branch '1.0.x' | Morgan Deters |
2013-02-04 | driver::totalTime statistic is now reported correctly on crashes, too | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | Public interface review items: | 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-07-06 | Added include unistd to main/util.cpp | Tim King |
2012-02-20 | portfolio merge | Morgan Deters |
2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
2010-10-31 | small fix to debug segfaults | 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-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-10-02 | dump statistics on abnormal output: unexpected exceptions, SEGV, ILL, memout... | Morgan Deters |
2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |
2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-09-13 | statistics are now printed on timeout (SIGXCPU) and SIGINT if --stats is given | Morgan Deters |
2010-07-05 | better exception wording, assertion-handling in multiple-exception case; reso... | Morgan Deters |
2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |