Code

Higher radix multiplier encoding#7991

Code

Draft

tautschnig wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom tautschnig:feature/multiplier-encodingtautschnig/cbmc:feature/multiplier-encodingCopy head branch name to clipboard

+1,490-7

Commits

Commits on Oct 28, 2024

• Higher radix multiplier encoding

  Show description for f597716
  tautschnig

  committed
  f597716

  Copy full SHA for f597716

• Implement Karatsuba's multiplication algorithm

  Show description for 86229d7
  tautschnig

  committed
  86229d7

  Copy full SHA for 86229d7

• Symbolic Toom-Cook multiplication

  Show description for 250bf05
  tautschnig

  committed
  250bf05

  Copy full SHA for 250bf05

• Schönhage-Strassen multiplication

  Show description for 2f37f7b
  tautschnig

  committed
  2f37f7b

  Copy full SHA for 2f37f7b