projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Mon, 11 Oct 2021 22:45:50 +0000 (15:45 -0700) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Mon, 11 Oct 2021 22:45:50 +0000 (15:45 -0700) | ||
| commit | 9f3ae2b5203bcc9a927d63fb3844418ada4b6a72 | |
| tree | 26d50583481f3b3de963961901db05c4ff92ef91 | tree |
| parent | 184e725fae1bdc57ca771488fb82e6e9d388b614 | commit | diff |
| cmake/version-base.cmake | diff | blob | history |