Liste des Groupes | Revenir à theory |
On 5/13/2025 5:32 AM, vallor wrote:But alters the simulation to not report a correct simulation.On Mon, 28 Apr 2025 07:40:12 +0100, Richard Heathfield <rjh@cpax.org.uk>The x86utm operating system allows any C function
wrote in <vun7sc$2fjjl$3@dont-email.me>:
>On 28/04/2025 06:22, vallor wrote:>On Sun, 27 Apr 2025 21:06:29 -0400, Richard Damon>
<richard@damon-family.org> wrote in
<8d96b4dc99c7e8643b6fda45f200891d920b2acd@i2pn2.org>:
>Which is just an admission that your HHH's are not actual correct>
emulator, and you can only apply that statement in the version of your
claims where you retract your claim about Halt7.c being part of the
system (as then then is one and only one HHH), and thus your DD just
is not a program unless you include HHH as part of it, and thus each
is a DIFFFERENT input.
Sorry to butt in...
>
Where does one find this Halt7.c?
<https://github.com/plolcott/x86utm>
>
(If you're expecting something amazing, prepare yourself for a
disappointment.)
Thank you.
>
Looks complicated. Appears to obfuscate the issue.
>
to emulate the x86 machine code of any other C
function in debug step mode.
Halt7.c uses the x86utm operating system
to derive several termination analyzers.
Les messages affichés proviennent d'usenet.