[proofs] Make sure --proof-check=... is no-op when not checking proofs (#7638)
[cvc5.git] / cmake / FindValgrind.cmake
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316)
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081)
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and...
2018-09-22 Mathias Preinercmake: Add module finder for Valgrind.