All pull requests

Pull requests

• Make the first udivrem_2by1() correction branch-free

  #439·chfast opened Nov 6, 2026Owner·

  ·
  2

• Prove the RV64 machine code of umul(), addc() and udivrem_2by1() in Lean

  #438·chfast opened Nov 6, 2026Owner·

  ·
  4

• Compute mulmod() by folding the product

  #429·chfast opened Nov 4, 2026Owner·

  ·
  4

• Always inline udivrem_top1()

  #428·chfast opened Nov 4, 2026Owner·

  ·
  2

• Add udivrem() for numbers in word spans

  #421·chfast opened Oct 29, 2026Owner·

  ·
  3

• Add a Mull mutation testing job

  #418·chfast opened Oct 27, 2026Owner·

  ·
  2

• Use udivrem_top1() for numerators no longer than the divisor

  #395·chfast opened Oct 14, 2026Owner·

  ·
  2

• Convert to hex without division in hex()

  #392·chfast opened Oct 13, 2026Owner·

  ·
  2

• Add signed types

  #368·AmmoniumX opened Apr 9, 2026·

  ·
  10