diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-01 01:14:32 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-01 01:14:32 -0500 |
| commit | 5161978d05d3298d1f2212d88f81855220f352c8 (patch) | |
| tree | 6ee261e44245596683246c56e9ec6cce5173c765 /src/generic.c | |
| parent | 1c16c45679252be03fb2be840fc497a1150b0d2a (diff) | |
| download | abc-5161978d05d3298d1f2212d88f81855220f352c8.tar.gz abc-5161978d05d3298d1f2212d88f81855220f352c8.tar.bz2 abc-5161978d05d3298d1f2212d88f81855220f352c8.zip | |
Started proof transformations.
Diffstat (limited to 'src/generic.c')
0 files changed, 0 insertions, 0 deletions