diff options
| author | thery | 2019-07-29 18:50:03 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-07-29 21:31:46 +0200 |
| commit | b3c870e5ea090028fb9292e14d77496e1b9c8061 (patch) | |
| tree | 93b9305278a04559d74983e00ea43096b61e5653 /kernel | |
| parent | e51f2c020c09445def41264c65da695b02e0e9ce (diff) | |
Add a non-overflow precondition to diveucl_21 to align it on standard implementations.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions