Code

Replace mp_mod_inv with recip#233

Code

Merged

RyanGlScott merged 2 commits intomasterGaloisInc/cryptol-specs:masterfrom 100-replace-mp_mod_inv-with-recipGaloisInc/cryptol-specs:100-replace-mp_mod_inv-with-recipCopy head branch name to clipboardJan 30, 2025

+2-38

Commits

Commits on Jan 30, 2025

• ec: replace mp_mod_inv with recip #100

  Show description for 5e2b03c
  RyanGlScott

  committed
  5e2b03c

  Copy full SHA for 5e2b03c

• utils: remove mp_mod_inv #100

  Show description for 40669b0
  RyanGlScott

  committed
  40669b0

  Copy full SHA for 40669b0