projects / cvc5.git / history
| 2018-09-22 | Mathias Preiner | cmake: Fix some includes. | blob | commitdiff | raw |
| 2018-09-22 | Mathias Preiner | cmake: Cleanup CMakeLists.txt files, remove SHARED. | blob | commitdiff | raw | diff to current |
| 2018-09-22 | Mathias Preiner | cmake: Add module finder for SymFPU. | blob | commitdiff | raw | diff to current |
| 2018-09-22 | Mathias Preiner | cmake: Add libsignatures for proofs. | blob | commitdiff | raw | diff to current |
| 2018-09-22 | Mathias Preiner | cmake: Working build infrastructure. | blob | commitdiff | raw | diff to current |
| 2018-09-22 | Aina Niemetz | cmake: .cpp generation done, .h generation not yet... | blob | commitdiff | raw | diff to current |
| 2018-09-22 | Aina Niemetz | cmake: Added initial build infrastructure. | blob | commitdiff | raw | diff to current |