projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix quantifiers variable elimination for parametric datatypes (#7358)
[cvc5.git] / cmake / FindKissat.cmake
2021-05-04 Mathias Preinercmake: Fix ninja build. (#6481) blob | commitdiff | raw
2021-04-22 Mathias Preinercmake: Do not require --auto-download for already downl... blob | commitdiff | raw | diff to current
2021-04-16 Gereon KremerRefactor cmake: auto-download and default-on dependenci... blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-01 Gereon KremerRefactor CLN dependency & Cleanup (#6251) blob | commitdiff | raw | diff to current
2021-03-31 Gereon KremerRefactor dependencies for external SAT solvers (#6215) blob | commitdiff | raw | diff to current
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
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) blob | commitdiff | raw | diff to current