summaryrefslogtreecommitdiff
path: root/src/base/configuration.h
AgeCommit message (Expand)Author
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
2019-03-16Enable CryptoMiniSat-backed BV proofs (#2847)Alex Ozdemir
2018-10-17Show if ASAN build in --show-config (#2650)Andres Noetzli
2018-08-02Remove Subversion build info (#2250)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-10-03Add Cryptominisat and LFSC to --show-config output. (#1194)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