Check our evaluator against the Haskell TinyRam emulator

[moreSocratic]

We would like to test that randomly generated programs evaluate identically in our emulator and the Haskell implementation (HsTinyRam). Keep in mind that the HsTinyRam implements a von Neumann architecture while we use a Harvard architecture. Either the HsTinyRam will need to be switched to Harvard or we will have to filter out self modifying programs in our tests. In the long term we need to decide if traces will be generated in Rust or by a Harvardified Haskell TinyRam.

[morganthomas]

Haskell TinyRAM has been switched over to the Harvard architecture.