Sujet : Re: Philosophy of Computation: Three seem to agree how emulating termination analyzers are supposed to work
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 12. Nov 2024, 11:36:31
Autres entêtes
Organisation : -
Message-ID : <vgvb3g$1i1bk$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2024-11-11 15:18:55 +0000, olcott said:
On 11/11/2024 5:33 AM, Mikko wrote:
OP says nothing aobut how emulationg termination analyzers are supposed to
work.
When I provide direct access to fully operational code
https://github.com/plolcott/x86utm/blob/master/Halt7.c
your statement becomes a bald faced lie.
The page that link points to says nothing about termination analyzers.
-- Mikko
Re: Philosophy of Computation: Three seem to agree how emulating termination analyzers are supposed to work
Re: Philosophy of Computation: Three seem to agree how emulating termination analyzers are supposed to work