diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 14:23:52 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 14:23:52 -0800 |
| commit | f1dba69c576a9b995f87673ce6d6ccbaddf647b6 (patch) | |
| tree | 6b6e602c726082ee95dcb71a1d8e6b7359dc966c /src/sat/bsat/satUtil.c | |
| parent | ce945006e13d380d85e4ceba77b780f1690af160 (diff) | |
| download | abc-f1dba69c576a9b995f87673ce6d6ccbaddf647b6.tar.gz abc-f1dba69c576a9b995f87673ce6d6ccbaddf647b6.tar.bz2 abc-f1dba69c576a9b995f87673ce6d6ccbaddf647b6.zip | |
Improved memory management of proof-logging and propagated changes.
Diffstat (limited to 'src/sat/bsat/satUtil.c')
0 files changed, 0 insertions, 0 deletions