projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[proofs] Make sure --proof-check=... is no-op when not checking proofs (#7638)
[cvc5.git] / cmake / ConfigureCvc5.cmake
2021-10-21 Gereon KremerWorking on windows builds (#7381) blob | commitdiff | raw
2021-10-11 Gereon KremerRevert #7257 (#7337) blob | commitdiff | raw | diff to current
2021-09-28 Gereon KremerRemove linking against RT (#7257) blob | commitdiff | raw | diff to current
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current