fix: Pages not marked dirty after uarch reset

cartesi / machine-emulator

The off-chain implementation of the Cartesi Machine

GNU Lesser General Public License v3.0

58 stars 32 forks source link

Closed mpernambuco closed 5 months ago

mpernambuco commented 5 months ago

This branch fixes a bug where PMA pages are not marked dirty by uarch_reset() creating inconsistent root hash.