All pull requests

Pull requests

• log10Unrounded: relative path at both 1.001 edges and for 77-digit coefficients (#482-#485)

  #501·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  4

  1

  

• log10Ratio: drop dead z^6 borrow term (#475), document b = 0 revert order (#456), pin POW_FIXED_LN10 (#476)

  #500·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  2

  1

  

• mul ceiling margin 77, mul NatSpec, mulDiv zero denominator, div spill guard

  #499·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  4

  5

  

• agree rejects reversed extremes; exact div/inv oracle; floor and frac NatSpec (#478-#481)

  #498·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  4

  1

  

• sqrt returns the root near int256.min (#451); unreachable zero-mantissa parse returns (#460)

  #497·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  2

  1

  

• Cap plain formatting on the canonical exponent; drop the spare word past formatted strings

  #496·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  2

  1

  

• sub: negate b exactly inside the sum (#459, #461, #462)

  #495·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  3

  1

  

• Regenerate .gas-snapshot against the current test suite (#454)

  #494·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  1

  1

  

• Mutation coverage: IMPL-exp10Fixed-horner-borrows

  #493·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  1

  

• Mutation coverage: PARSE-inline-mantissa

  #488·thedavidmeister opened Oct 12, 2026Contributor·

  ·
  1

  

• Halmos proofs: add/sub rounding and series equivalence

  #445·thedavidmeister opened Oct 11, 2026Contributor·

  ·
  3

  

• Differential fuzz vs dashu-float

  #444·thedavidmeister opened Oct 11, 2026Contributor·

  ·
  3

  

• Spec: arithmetic rules for sign-off

  #443·thedavidmeister opened Oct 11, 2026Contributor·

  ·
  1