projects / cvc5.git / commit
| author | Morgan Deters <mdeters@cs.nyu.edu> | |
| Wed, 8 Jan 2014 20:32:59 +0000 (15:32 -0500) | ||
| committer | Morgan Deters <mdeters@cs.nyu.edu> | |
| Wed, 8 Jan 2014 20:32:59 +0000 (15:32 -0500) | ||
| commit | e6fb65b8a960db1e4a21d7414f3270f03a474384 | |
| tree | 78c4c7ead119c05fe8f03a808679bac560b47ee0 | tree |
| parent | 9e376ab6c826c951a0c9e1bf3d07a902249b34fd | commit | diff |
| parent | 312918e68d4410359b55258dc2b9e9cdfb21f211 | commit | diff |
| .travis.yml | diff1 | | diff2 | | blob | history |
| COPYING | diff1 | | diff2 | | blob | history |
| NEWS | diff1 | | diff2 | | blob | history |
| config/cvc4.m4 | diff1 | | diff2 | | blob | history |
| configure.ac | diff1 | | diff2 | | blob | history |