diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 22:31:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 22:31:00 -0700 |
commit | 8982bf58cb8c801bdd6e204d73ac6ed36d98adaa (patch) | |
tree | e5708bc3870873f0b901dcf792b6ac311b5aec3c /bug_report_template.txt | |
parent | 5838789ee7d7e1b9bbfdf091e33f6749a9b1286f (diff) | |
download | abc-8982bf58cb8c801bdd6e204d73ac6ed36d98adaa.tar.gz abc-8982bf58cb8c801bdd6e204d73ac6ed36d98adaa.tar.bz2 abc-8982bf58cb8c801bdd6e204d73ac6ed36d98adaa.zip |
Reducing memory usage in proof-based abstraction.
Diffstat (limited to 'bug_report_template.txt')
0 files changed, 0 insertions, 0 deletions