projects / model-checker.git / commit
| author | Brian Norris <banorris@uci.edu> | |
| Tue, 16 Apr 2013 00:12:20 +0000 (17:12 -0700) | ||
| committer | Brian Norris <banorris@uci.edu> | |
| Tue, 16 Apr 2013 00:12:20 +0000 (17:12 -0700) | ||
| commit | 11de0e9cc1effabe19aa2b54029ef2fe09c4cef7 | |
| tree | 52bcb66a91e913e458064e59de680816b64fcf28 | tree | snapshot |
| parent | 2cd228006768bd0a4e083616a5c6bda4e1fe3507 | commit | diff |
| GPL.txt | [deleted file] | blob | history |
| LICENSE | [new file with mode: 0644] | blob |