WIP bump emulator to 0.20.0#238

Closed

mpolitzer wants to merge 5 commits intomainfrom

feature/bump-emulator-2

Commits on Feb 2, 2026

chore: update machine emulator submodule

ZzzzHui
authored and
mpolitzer
committed
feat: refactor rust-bindings for emulator update

ZzzzHui
authored and
mpolitzer
committed
fix: link OpenMP

ZzzzHui
authored and
mpolitzer
committed
fix: ci

ZzzzHui
authored and
mpolitzer
committed

Commits on Feb 6, 2026

fix: tweaks
mpolitzer
committed