projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cmake: Added 3-valued option handling (to enable detection of user-set options).
[cvc5.git] / cmake /
2018-09-22 Aina Niemetzcmake: Added 3-valued option handling (to enable detect... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for readline. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added licensing options and warnings/errors. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add build configurations. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for LFSC. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CaDiCaL. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CryptoMiniSat. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for SymFPU. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CLN. tree | commitdiff
2018-09-22 Mathias Preinercmake: Antlr parser generation done. tree | commitdiff
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff