Sujet : Re: This function proves that only the outermost HHH examines the execution trace
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 30. Jul 2024, 08:00:11
Autres entêtes
Organisation : -
Message-ID : <v8a31r$u7n5$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Unison/2.2
On 2024-07-29 16:50:53 +0000, olcott said:
On 7/28/2024 3:59 AM, Mikko wrote:
On 2024-07-27 20:05:31 +0000, olcott said:
If you had sufficient understanding of the x86 language
you would know that DDD is correctly emulated by HHH.
If you had suffient understanding of x86 language and correctness
you would know that DDD is incorrectly emnulated by HHH.
This is only seems that way because every reviewer makes sure
to ignore one aspect of the basis of another.
It is perfectly OK to ignore irrelevant details. A relevant detail
is the meaning of the word "emulate" as that determines what is a
correct emulation and what is not.
-- Mikko
…