Commit 7c67d34

committed

replace current field arith with fiat arithmetic

1 parent 0e00fc7 commit 7c67d34Copy full SHA for 7c67d34

1 file changed

+239

-251

lines changed

src
- field_5x52_int128_impl.h

1 file changed

+239

-251

lines changed

Comments

(0)