summaryrefslogtreecommitdiff
path: root/src/base
AgeCommit message (Expand)Author
2018-10-20Remove antlr_undefines.h. (#2664)Mathias Preiner
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-17Show if ASAN build in --show-config (#2650)Andres Noetzli
2018-10-15cmake: Generate git_versioninfo.cpp on build time. (#2640)Mathias Preiner
2018-09-25cmake: Fix tag code generation dependencies. (#2529)Mathias Preiner
2018-09-24cmake: Fix dependencies for code generation. (#2524)Mathias Preiner
2018-09-24cmake: Fix git version info (again). (#2523)Aina Niemetz
2018-09-24cmake: Fix and simplify git version info. (#2516)Aina Niemetz
2018-09-24Fix generating debug/trace tags.Mathias Preiner
2018-09-22cmake: Guard GetGitRevisionDescription.Mathias Preiner
2018-09-22cmake: Move extracting git information to src/base cmake config file.Aina Niemetz
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Add convenience wrappers for tag generation.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Add build configurations.Aina Niemetz
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: Generate trace and debug tagsAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-08 Proposal for adding map utility functions to CVC4. (#2232)Tim King
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-08-07Delete functions instead of using CVC4_UNDEFINED (#1794)Andres Noetzli
2018-08-02Remove Subversion build info (#2250)Andres Noetzli
2018-08-01Remove outdated references to TLS (#2245)Andres Noetzli
2018-06-25Update copyright year in configuration.cpp:copyright().Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-21Add SymFPU licensing information. (#1952)Mathias Preiner
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback