Sujet : Re: The execution trace of HHH1(DDD) shows the divergence
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 08. Jun 2025, 07:23:18
Autres entêtes
Organisation : -
Message-ID : <1023a8m$3mi64$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-06-07 14:32:36 +0000, olcott said:
The execution trace of HHH1(DDD) shows the divergence
of DDD emulated by HHH from DDD emulated by HHH1.
The traces show that the two emulations are different. That does not
mean that they emulate different programs. The only difference is
that HHH does not emulate as much of the behaviour of DDD as HHH1
does. Consequently we may regard HHH1 more trustworthy at least
about the behaviour of DDD.
-- Mikko