diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-12-21 23:22:17 -1000 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-12-21 23:22:17 -1000 |
| commit | 2e8543fca129fd149b419ccd2549046d95ba225f (patch) | |
| tree | 9f4c45c4ba31ebda9323f0b62fdd0f195ee09a10 /src/proof/pdr | |
| parent | 1228e26cc359367254e6aa1a8e04d7c3579993b5 (diff) | |
| download | abc-2e8543fca129fd149b419ccd2549046d95ba225f.tar.gz abc-2e8543fca129fd149b419ccd2549046d95ba225f.tar.bz2 abc-2e8543fca129fd149b419ccd2549046d95ba225f.zip | |
Adding names to GIA inputs/outputs. Changing polarity of invariant generated by PDR.
Diffstat (limited to 'src/proof/pdr')
0 files changed, 0 insertions, 0 deletions