Simple diff for 'Feat/Opcode Circuits for DIV, REM, and REMU opcodes'#734

Draft

matthiasgoergens wants to merge 17 commits intomatthias/bg/div-rem-remu-opcodes-basefrom matthias/bg/div-rem-remu-opcodes

+499-159

Commits on Nov 15, 2024

Move Signed gadget from MULH opcode to gadgets submodule
Bryan Gillespie
committed

Commits on Nov 17, 2024

Extend DIVU gadget implementation to support REMU/DIV/REM opcodes
Bryan Gillespie
committed

Commits on Dec 6, 2024

Format updates
Bryan Gillespie
committed
Merge branch 'master' into bg/div-rem-remu-opcodes
Bryan Gillespie
committed

Commits on Dec 7, 2024

A few DIV opcode circuit fixes, documentation, and vm integration
Bryan Gillespie
committed
Rename divu.rs to div.rs and add check for Goldilocks field
Bryan Gillespie
committed
Small reformatting and doc improvements
Bryan Gillespie
committed
Merge branch 'master' into bg/div-rem-remu-opcodes
Bryan Gillespie
committed

Commits on Dec 10, 2024

Formatting fix
Bryan Gillespie
committed
Fix a couple of missed changes in rv32im.rs needed for new opcodes
Bryan Gillespie
committed