summaryrefslogtreecommitdiff
path: root/src/base/configuration_private.h
AgeCommit message (Expand)Author
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-06-16Update copyright headers.Aina Niemetz
2020-05-22Add support for SAT solver Kissat. (#4514)Aina Niemetz
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2019-11-16Add support for ThreadSanitizer instrumentation (#3467)Andres Noetzli
2019-10-11Add support for UBSan instrumentation (#3382)Andres Noetzli
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-12-17 Configured for linking against drat2er (#2754)Alex Ozdemir
2018-10-17Show if ASAN build in --show-config (#2650)Andres Noetzli
2018-08-01Remove outdated references to TLS (#2245)Andres Noetzli
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
2017-10-10Add copyright information. (#1201)Aina Niemetz
2017-09-28Fix output of --show-config for readline. (#1159)Mathias Preiner
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
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
2016-05-24Merged cryptominisat from experimental branch.Liana Hadarean
2016-04-03Updating the copyright headers and scripts.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