diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-06 20:33:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-06 20:33:06 -0700 |
| commit | e2e3f6a2281b65632a139933cfc5021a84257a3a (patch) | |
| tree | 018a3669e87f318c11b661c9ec9da3e53dc638db /readme | |
| parent | a0cc621566d5218fde3d82647ff3b32b5f8c09aa (diff) | |
| download | abc-e2e3f6a2281b65632a139933cfc5021a84257a3a.tar.gz abc-e2e3f6a2281b65632a139933cfc5021a84257a3a.tar.bz2 abc-e2e3f6a2281b65632a139933cfc5021a84257a3a.zip | |
Improvements in sequential verification.
Diffstat (limited to 'readme')
0 files changed, 0 insertions, 0 deletions