diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-12-12 14:30:09 -0800 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-12-12 14:30:09 -0800 |
| commit | 62e9f6d0a34d4f6623381429b51b65ddfae1e86d (patch) | |
| tree | 20bfe0a785d7bebba60b2bb0572e890d95243d87 /src/theory/quantifiers_engine.cpp | |
| parent | 0e3dc441641c64e6137d85f8d7eaeb78ee562e51 (diff) | |
| parent | 751950b3ca631ed92e1af35a290642fe7b7cc0bb (diff) | |
Merge pull request #1 from lianah/1.0.x
* fixed bug 481 by adding check for division by 0 in bit-vector division...
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
0 files changed, 0 insertions, 0 deletions