Merge master into develop [DO NOT MERGE - only to see the diff]#2869

Closed

dannywillems wants to merge 4636 commits intodevelopfrom master

+72,996-6,892

This pull request is big! We're only showing the most recent 250 commits

Commits on Nov 4, 2024

o1vm/riscv32i: introduce SCRATCH_SIZE and column module
dannywillems
committed
o1vm/riscv32i: introduce column module and instruction set size
dannywillems
committed
o1vm/riscv32i: start add instruction list
dannywillems
committed
o1vm/riscv32i: some more instructions
dannywillems
committed
o1vm/riscv32i: split and add the different instructions
dannywillems
committed
extending Itype definitions with Load instructsions

svv232
authored and
dannywillems
committed
adding xori and formatting

svv232
authored and
dannywillems
committed
adding or immediate and changing instruction order to match spec

svv232
authored and
dannywillems
committed
o1vm/riscv32i: implement iterator over the instructions
dannywillems
committed
renaming jump link register function, refactoring jinst to ujinst to match the spec, and adding support for uj instructions

svv232
authored and
dannywillems
committed
changing btype to sbtype to match the spec

svv232
authored and
dannywillems
committed
added support for fence instructions and all of the rtype instructions

svv232
authored and
dannywillems
committed
o1vm/riscv32i: reimplement display to get the string repr
dannywillems
committed
o1vm/riscv32i: test correctly the to_string method
dannywillems
committed
o1vm/riscv32i: define interpreter interface
dannywillems
committed
o1vm/riscv32i: sketch the witness environment
dannywillems
committed
o1vm/riscv32i: implement constraints environment
dannywillems
committed
o1vm/riscv32i: split interpret_instruction in subroutines
dannywillems
committed

Commits on Nov 14, 2024

Commits on Nov 20, 2024

Commits on Nov 21, 2024

Commits on Nov 22, 2024

Commits on Nov 25, 2024

Commits on Dec 2, 2024

Commits on Dec 3, 2024

Commits on Dec 4, 2024

Commits on Dec 5, 2024