diff options
| author | lianah <lianahady@gmail.com> | 2012-12-12 17:26:18 -0500 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2012-12-12 17:26:18 -0500 |
| commit | 751950b3ca631ed92e1af35a290642fe7b7cc0bb (patch) | |
| tree | 20bfe0a785d7bebba60b2bb0572e890d95243d87 /autogen.sh | |
| parent | 0e3dc441641c64e6137d85f8d7eaeb78ee562e51 (diff) | |
* fixed bug 481 by adding check for division by 0 in bit-vector division circuit
* added printing for total bit-vector division kinds for debugging purposes
Diffstat (limited to 'autogen.sh')
0 files changed, 0 insertions, 0 deletions