projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate equality query dependence on quantifiers engine (#5831)
[cvc5.git] / cmake / FindLFSC.cmake
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw
2020-07-01 Andres NoetzliAdd testing infrastructure for LFSC signatures (#4678) 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 LFSC. blob | commitdiff | raw | diff to current