summaryrefslogtreecommitdiff
path: root/src/base
AgeCommit message (Expand)Author
2018-03-20Add support for CaDiCaL as eager BV SAT solver. (#1675)Mathias Preiner
2018-03-06Remove printf from output utilities (#1629)Andres Noetzli
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-09Renaming CHECK to CVC4_CHECK. This avoids name collisions with other popular ...Tim King
2018-02-07Adds a new CHECK macro that abort()s on failure. (#1532)Tim King
2018-01-09Cleaning up throw specifiers on Exception and subclasses. (#1475)Tim King
2017-10-10Add copyright information. (#1201)Aina Niemetz
2017-10-03Add Cryptominisat and LFSC to --show-config output. (#1194)Mathias Preiner
2017-09-28Fix output of --show-config for readline. (#1159)Mathias Preiner
2017-09-19Fix issue #1074, improve non-fatal error handling (#1075)Andres Noetzli
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-15Fix warning about unknown escape sequence (#196)Andres Noetzli
2017-07-07Update copyright year and refer to authors URL.Mathias Preiner
2017-07-07Update copyright headers.Mathias Preiner
2017-01-10Quashing memory leakChad Brewbaker
2016-11-09Renaming the class PtrCloser to not cause confusion with unique_ptr.Tim King
2016-11-06Adds a C++05 version of unique_ptr. Used this to solve a garbage collection p...Tim King
2016-09-18Adding a clang format file for the project.Tim King
2016-05-24Merged cryptominisat from experimental branch.Liana Hadarean
2016-04-03Updating the copyright headers and scripts.Tim King
2016-02-01Fixing a potentially malformed template expansion when Dump() is disabled.Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-05Add SmtGlobals ClassTim King
2016-01-05Adding a new class LastExceptionBuffer for the purpose of owning the memory f...Tim King
2015-12-24Miscellaneous fixesTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback