Skip to content

Instantly share code, notes, and snippets.

@Chrisdf
Created April 19, 2018 23:41
Show Gist options
  • Save Chrisdf/d9942337143415f6deab0b47263a74c0 to your computer and use it in GitHub Desktop.
Save Chrisdf/d9942337143415f6deab0b47263a74c0 to your computer and use it in GitHub Desktop.
make VERSION=full
../misc/yis sdriver.yo
../misc/yis ldriver.yo
(cd ../y86-code; make testpsim)
(cd ../ptest; make SIM=../pipe/psim TFLAGS=-i)
./correctness.pl -p
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment