diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 05:59:56 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 05:59:56 +0700 |
commit | aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07 (patch) | |
tree | 6eeb0d01ac0b6c3fe4abe1b9433dca3c11c8da25 /src/base/abci/abc.c | |
parent | 4bd54729d799513d8c21333446706d387aac7192 (diff) | |
download | abc-aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07.tar.gz abc-aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07.tar.bz2 abc-aa9c87cf8d9d3e729ef5ab263c34d531a8f73d07.zip |
Extending verification status file format to allow for SAT status without CEX.
Diffstat (limited to 'src/base/abci/abc.c')
0 files changed, 0 insertions, 0 deletions