Re: D correctly simulated by H never halts

On 5/28/2024 10:05 PM, Chris M. Thomasson wrote:

too vague? Oh that is rich.

 I had to start specifying the x86 language because dozens of reviewers
believed that D correctly simulated by H was supposed to report on the
behavior of non-input: int main() { D(D); }
 It was only that I could show that this would require simulating
the x86 instructions of D incorrectly or in the wrong order that
I could prove that they were wrong. Their mistake was my primary
rebuttal for two years.