diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-06-28 19:29:53 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-06-29 19:42:55 -0400 |
| commit | dd5212a24e79a98b19b0e3ec558f60fbb0c3a1b3 (patch) | |
| tree | 80f0c0152e238c1344cdad673c489a289f6c283d /src/Arithmetic/Saturated.v | |
| parent | 98f367931b372ffc4a75c63496faa1d17c3e2317 (diff) | |
Add wrappers for subborrow and add_with_get_carry so they work when it is not known that they split on a power of 2
Diffstat (limited to 'src/Arithmetic/Saturated.v')
0 files changed, 0 insertions, 0 deletions