<p>i didn't feel like using my brain so i wrote a testbench for the CPU asserting what it should output, and then let angelic execution give me the answer by way of an SMT solver (yices2 in this case)</p><p><a href="https://gist.github.com/whitequark/7e2f90576d6c811d727d6f7edaba5746" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/whitequark/7e2</span><span class="invisible">f90576d6c811d727d6f7edaba5746</span></a></p>
