XPost: sci.logic
On 4/06/24 18:13, olcott wrote:
Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD
correctly. This proof requires expert knowledge of the C programming
language and the x86 programming language.
...
[00001dbe][0011331a][00001dc3] e8bff5ffff call 00001382 ; call HH
New slave_stack at:14dd5e
[00001db2][0015dd52][0015dd56] 55 push ebp ; DD line 01
These lines prove that HH(DD,DD) is not simulated correctly. Directly
after the instruction CALL 00001382, the program counter must have the
value 00001382.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)