| commit | e3f3af69dce71cd37a785bccb7e58449197d940c | [log] [tgz] |
|---|---|---|
| author | Eric Huss <eric@huss.org> | Mon Sep 11 08:57:05 2023 -0700 |
| committer | GitHub <noreply@github.com> | Mon Sep 11 08:57:05 2023 -0700 |
| tree | 2da3bb5cf57a0c3b7b794400392b9b252af90500 | |
| parent | 7c574c79ee20bfd97ad0a445796f1f409ca1cf73 [diff] | |
| parent | 20685e08a5d5cf96a649e6fa8e4eaa2597904197 [diff] |
Merge pull request #419 from RalfJung/overflow specify which integer overflows we mean