summaryrefslogtreecommitdiff
path: root/src/base/configuration_private.h
AgeCommit message (Expand)Author
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