projects / cvc5.git / commit
| author | Aina Niemetz <aina.niemetz@gmail.com> | |
| Mon, 22 Apr 2019 23:32:25 +0000 (16:32 -0700) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 22 Apr 2019 23:32:25 +0000 (16:32 -0700) | ||
| commit | d43f7760866a1a26769dfdebdffebdaf35309f9c | |
| tree | 823073dcb614c397e6bb102db75de5c86abb129b | tree |
| parent | 3bb9a36fe79eb8025a09a59fdb88a9596b0a105d | commit | diff |
| CONTRIBUTING.md | [new file with mode: 0644] | blob |
| README.md | diff | blob | history |