projects / model-checker.git / commit
| author | Brian Demsky <bdemsky@uci.edu> | |
| Fri, 22 Mar 2013 23:31:47 +0000 (16:31 -0700) | ||
| committer | Brian Demsky <bdemsky@uci.edu> | |
| Fri, 22 Mar 2013 23:31:47 +0000 (16:31 -0700) | ||
| commit | ab73aff1ea7d1b5b8140b361824580449a6b4398 | |
| tree | f32c5ce5e4d9cb8e356904986b60c23fc3b59697 | tree | snapshot |
| parent | 02558d484765370cd00ff15008412aa4a15eea11 | commit | diff |
| test/insanesync.c | diff | blob | history |