projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Sat, 8 Jan 2022 00:00:41 +0000 (16:00 -0800) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Sat, 8 Jan 2022 00:00:41 +0000 (16:00 -0800) | ||
| commit | bff2382fd864fed0f2921e5dc1f859133d6d8134 | |
| tree | 27cc4cfb99333bd6cd3d399f15003bd2b1f59fe0 | tree |
| parent | 0b7c568795ab413cce5710f1cf736f6cd3261a7e | commit | diff |
| cmake/version-base.cmake | diff | blob | history |