diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-19 15:47:37 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-10-19 15:47:37 -0400 |
| commit | ce564c5015e1868adf1d8353115931701b8273a6 (patch) | |
| tree | 5c36600b09efd659f460e58ddd61bfe20315528e /src/ModularArithmetic/Conversion.v | |
| parent | 6b18ad2f184709bccc0de975c9318f2fd93ee9cd (diff) | |
Fill in admits for field with carry_add, carry_opp, and carry_sub
Diffstat (limited to 'src/ModularArithmetic/Conversion.v')
0 files changed, 0 insertions, 0 deletions