projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Mon, 29 Nov 2021 21:26:25 +0000 (13:26 -0800) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Mon, 29 Nov 2021 21:26:25 +0000 (13:26 -0800) | ||
| commit | 30b4b2c6babc0c2b6269a3945bafc04ad1fbd4cc | |
| tree | 26177c4fd3058e4302046e4b8afecdc415aecf22 | tree |
| parent | 7baa69442e6c29675ece3fcf59b7a22591e51344 | commit | diff |
| cmake/version-base.cmake | diff | blob | history |