Execution bar not in sync with machine state ?
When running a y86 program, the execution bar, which should show the next instruction to be executed, is not in sync with the machine state: the machine state represents the execution of the instruction which took place one step before. Hence, it is not pedagogically clear to see how an instruction is decoded. It would be better that the line be displayed according to the PC value.