projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Mon, 4 Apr 2022 20:52:42 +0000 (13:52 -0700) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Mon, 4 Apr 2022 20:52:42 +0000 (13:52 -0700) | ||
| commit | 782bc696c4245fca6e8ee15566dbf679c02fc329 | |
| tree | 788820128dca10c553bf550f403acd483463a535 | tree |
| parent | 0f9daddd7c9aa8b730271af765d7735dd5ace2e1 | commit | diff |
| cmake/version-base.cmake | diff | blob | history |