diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-05-14 15:52:56 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-05-14 15:56:56 -0400 |
| commit | 7df5033c871aef6172d4e98d42ce00005e24f73e (patch) | |
| tree | c858b22c861885a5f76d648afb2b102f7fc89662 /src/Arithmetic/Core.v | |
| parent | 7e3d941510ad65ea712f608a9e0b2a19437e9e84 (diff) | |
add wrapper for add_get_carry and proofs for add_get_carry and zselect
Diffstat (limited to 'src/Arithmetic/Core.v')
0 files changed, 0 insertions, 0 deletions