projects / model-checker.git / commit
| author | Brian Norris <banorris@uci.edu> | |
| Thu, 8 Mar 2012 02:13:16 +0000 (18:13 -0800) | ||
| committer | Brian Norris <banorris@uci.edu> | |
| Thu, 8 Mar 2012 02:13:16 +0000 (18:13 -0800) | ||
| commit | 81c2438e63fc3b6c420d995e807dc640ebd1cd9e | |
| tree | 9f99a6691d0922b9b9b0e96ed55e14d8e9e177e8 | tree | snapshot |
| parent | 8b2af1dd4772675680b8b23808886de5ce688cbc | commit | diff |
| .gitignore | [new file with mode: 0644] | blob |