projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix memory leak when using subsolvers (#2893)
[cvc5.git] / doc / CMakeLists.txt
2018-09-22 Aina Niemetzcmake: More documentation, clean up. blob | commitdiff | raw
2018-09-22 Mathias Preinercmake: Add make install rule. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Various CMakeLists.txt fixes/cleanup. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Rebase with current master, add new tests/source... blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Working build infrastructure. blob | commitdiff | raw | diff to current