projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Tue, 25 Jan 2022 19:19:53 +0000 (11:19 -0800) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Tue, 25 Jan 2022 19:19:53 +0000 (11:19 -0800) | ||
| commit | f4c37cd9ff8089bf7dacdbc661d2200c057d0bf9 | |
| tree | 1eaaf55e7d56ed9d9932615af1eb2c392f953590 | tree |
| parent | 09bfaddb84ff7dea938443301a4ea8c3cc6d9867 | commit | diff |
| cmake/version-base.cmake | diff | blob | history |