Initial RISC-V support#759

Draft

ogalland-tob wants to merge 33 commits into

lifting-bits:masterfrom

brunoproduit:ogalland-tob/initial-riscv-support

Commits on Feb 19, 2026

flake: add nix flake for building remill

brunoproduit
and
claude
committed
Add nix github builder
brunoproduit
committed
risc-v arch core support

redthing1
authored and
ogalland-tob
committed
riscv arch test suite

redthing1
authored and
ogalland-tob
committed
Refactor RISC-V tests to use TestOutputSpec pattern

ogalland-tob
and
claude
committed
Extract RV32I/RV64I tests into dedicated files

ogalland-tob
and
claude
committed
Add missing RV32I/RV64I base integer instruction tests

ogalland-tob
and
claude
committed
Implement FENCE instruction lifting for RISC-V

ogalland-tob
and
claude
committed
Add shared RISC-V test encoding helpers

ogalland-tob
and
claude
committed
Add missing RV32M/RV64M multiply-divide instruction tests

ogalland-tob
and
claude
committed
Add missing RV32A/RV64A atomic instruction tests

ogalland-tob
and
claude
committed
Add missing RV32/RV64 Zicsr instruction tests

ogalland-tob
and
claude
committed
Add missing RV32F/RV64F single-precision float instruction tests

ogalland-tob
and
claude
committed
Add missing RV32D/RV64D double-precision float instruction tests

ogalland-tob
and
claude
committed
Add missing RV32C/RV64C compressed instruction tests

ogalland-tob
and
claude
committed

Commits on Feb 20, 2026