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/pdrSat.c | |
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/pdrSat.c')
0 files changed, 0 insertions, 0 deletions