projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Change the default unsat cores (#6571)
[cvc5.git] / cmake / FindABC.cmake
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2019-12-06 Mathias Preinercontrib: Setup all dependencies in deps/ directory... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add options for specifying install directories... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Add module finder for ABC. blob | commitdiff | raw | diff to current