projects / cvc5.git / commit
| author | Aina Niemetz <aina.niemetz@gmail.com> | |
| Wed, 15 Aug 2018 01:18:04 +0000 (18:18 -0700) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700) | ||
| commit | 2c7e0aab31d4f8b2f58da00e67e2e7b5edfb166d | |
| tree | cfa287849b2b8737c9224df98940309e42a701de | tree |
| parent | 83cd63d83ea71cb8a04ffc5dd1f9c409b7451df6 | commit | diff |
| CMakeLists.txt | diff | blob | history | |
| cmake/ConfigCompetition.cmake | diff | blob | history |