projects / cvc5.git / commit
| author | Morgan Deters <mdeters@cs.nyu.edu> | |
| Fri, 13 Dec 2013 22:11:54 +0000 (17:11 -0500) | ||
| committer | Morgan Deters <mdeters@cs.nyu.edu> | |
| Fri, 13 Dec 2013 22:12:09 +0000 (17:12 -0500) | ||
| commit | 21ceda26610315565d951d2cd189c91dd65b4001 | |
| tree | 7e4d4686b76d92204598a59ab7f5c3dd534b336e | tree |
| parent | 5ff3b510039f969966ba130abcfdb5f4077ec81c | commit | diff |
| .travis.yml | [new file with mode: 0644] | blob |