Re: DDD emulated by HHH diverges from DDD emulated by HHH1

Liste des GroupesRevenir à theory 
Sujet : Re: DDD emulated by HHH diverges from DDD emulated by HHH1
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 03. Jun 2025, 08:37:03
Autres entêtes
Organisation : -
Message-ID : <101m8mv$3skr5$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-06-02 15:52:53 +0000, olcott said:

DDD correctly emulated by HHH diverges from DDD
correctly emulated by HHH1 as soon as HHH begins
emulating itself emulating DDD, marked below.
The DDD emulated (correctly or otherwise) by HHH is the same DDD as
the one emulated (correctly or otherwise) so both specify the same
behaviour. As soon as the emulations diverge (if not even sooner)
at lest one of the emulators is no longer emulating correctly.
--
Mikko

Date Sujet#  Auteur
2 Jun 25 * DDD emulated by HHH diverges from DDD emulated by HHH1107olcott
3 Jun 25 +- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
3 Jun 25 +* Re: DDD emulated by HHH diverges from DDD emulated by HHH118Mikko
3 Jun 25 i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH117olcott
4 Jun 25 i +- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
4 Jun 25 i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH115Mikko
4 Jun 25 i  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH114olcott
5 Jun 25 i   +* Re: DDD emulated by HHH diverges from DDD emulated by HHH112olcott
5 Jun 25 i   i+* Re: DDD emulated by HHH diverges from DDD emulated by HHH13Richard Damon
5 Jun 25 i   ii`* Re: DDD emulated by HHH diverges from DDD emulated by HHH12olcott
6 Jun 25 i   ii `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
6 Jun 25 i   i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH18joes
6 Jun 25 i   i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH17olcott
6 Jun 25 i   i  +* Re: DDD emulated by HHH diverges from DDD emulated by HHH15joes
6 Jun 25 i   i  i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH14olcott
6 Jun 25 i   i  i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH13joes
6 Jun 25 i   i  i  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH12olcott
7 Jun 25 i   i  i   `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
7 Jun 25 i   i  `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
6 Jun 25 i   `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Mikko
3 Jun 25 +* Re: DDD emulated by HHH diverges from DDD emulated by HHH185Fred. Zwarts
3 Jun 25 i+* Re: DDD emulated by HHH diverges from DDD emulated by HHH173joes
3 Jun 25 ii`* Re: DDD emulated by HHH diverges from DDD emulated by HHH172olcott
4 Jun 25 ii `* Re: DDD emulated by HHH diverges from DDD emulated by HHH171dbush
4 Jun 25 ii  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH170olcott
4 Jun 25 ii   +* Re: DDD emulated by HHH diverges from DDD emulated by HHH168dbush
4 Jun 25 ii   i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH167olcott
4 Jun 25 ii   i +* Re: DDD emulated by HHH diverges from DDD emulated by HHH157dbush
4 Jun 25 ii   i i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH156olcott
4 Jun 25 ii   i i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH155dbush
4 Jun 25 ii   i i  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH154olcott
4 Jun 25 ii   i i   `* Re: DDD emulated by HHH diverges from DDD emulated by HHH153dbush
4 Jun 25 ii   i i    `* Re: DDD emulated by HHH diverges from DDD emulated by HHH152olcott
4 Jun 25 ii   i i     `* Re: DDD emulated by HHH diverges from DDD emulated by HHH151dbush
4 Jun 25 ii   i i      `* Re: DDD emulated by HHH diverges from DDD emulated by HHH150olcott
4 Jun 25 ii   i i       `* Re: DDD emulated by HHH diverges from DDD emulated by HHH149dbush
4 Jun 25 ii   i i        `* Re: DDD emulated by HHH diverges from DDD emulated by HHH148olcott
4 Jun 25 ii   i i         `* Re: DDD emulated by HHH diverges from DDD emulated by HHH147dbush
4 Jun 25 ii   i i          `* Re: DDD emulated by HHH diverges from DDD emulated by HHH146olcott
4 Jun 25 ii   i i           +* Re: DDD emulated by HHH diverges from DDD emulated by HHH144dbush
5 Jun 25 ii   i i           i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH143olcott
5 Jun 25 ii   i i           i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH142dbush
5 Jun 25 ii   i i           i  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH141olcott
5 Jun 25 ii   i i           i   `* Re: DDD emulated by HHH diverges from DDD emulated by HHH140dbush
5 Jun 25 ii   i i           i    `* Re: DDD emulated by HHH diverges from DDD emulated by HHH139olcott
5 Jun 25 ii   i i           i     `* Re: DDD emulated by HHH diverges from DDD emulated by HHH138dbush
5 Jun 25 ii   i i           i      `* Re: DDD emulated by HHH diverges from DDD emulated by HHH137olcott
5 Jun 25 ii   i i           i       `* Re: DDD emulated by HHH diverges from DDD emulated by HHH136dbush
5 Jun 25 ii   i i           i        `* Re: DDD emulated by HHH diverges from DDD emulated by HHH135olcott
5 Jun 25 ii   i i           i         +* Re: DDD emulated by HHH diverges from DDD emulated by HHH112dbush
5 Jun 25 ii   i i           i         i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH111olcott
5 Jun 25 ii   i i           i         i +* Re: DDD emulated by HHH diverges from DDD emulated by HHH17dbush
5 Jun 25 ii   i i           i         i i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH16olcott
5 Jun 25 ii   i i           i         i i +* Re: DDD emulated by HHH diverges from DDD emulated by HHH14dbush
5 Jun 25 ii   i i           i         i i i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH13olcott
5 Jun 25 ii   i i           i         i i i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH12dbush
5 Jun 25 ii   i i           i         i i i  `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11olcott
6 Jun 25 ii   i i           i         i i `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11joes
5 Jun 25 ii   i i           i         i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH13Richard Damon
5 Jun 25 ii   i i           i         i  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH12olcott
6 Jun 25 ii   i i           i         i   `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
5 Jun 25 ii   i i           i         +* Re: DDD emulated by HHH diverges from DDD emulated by HHH119Mike Terry
5 Jun 25 ii   i i           i         i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH118olcott
6 Jun 25 ii   i i           i         i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH117Mike Terry
6 Jun 25 ii   i i           i         i  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE16olcott
7 Jun 25 ii   i i           i         i   `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE15Richard Damon
7 Jun 25 ii   i i           i         i    `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE14olcott
7 Jun 25 ii   i i           i         i     `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE13Richard Damon
7 Jun 25 ii   i i           i         i      `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE12olcott
8 Jun 25 ii   i i           i         i       `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE11Richard Damon
8 Jun 25 ii   i i           i         i        `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE10olcott
8 Jun 25 ii   i i           i         i         `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE9Richard Damon
8 Jun 25 ii   i i           i         i          `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE8olcott
8 Jun 25 ii   i i           i         i           +* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE4Fred. Zwarts
8 Jun 25 ii   i i           i         i           i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE3olcott
9 Jun 25 ii   i i           i         i           i +- Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE1Richard Damon
9 Jun 25 ii   i i           i         i           i `- Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE1Fred. Zwarts
8 Jun 25 ii   i i           i         i           `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE3Richard Damon
8 Jun 25 ii   i i           i         i            `* Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE2olcott
9 Jun 25 ii   i i           i         i             `- Re: DDD emulated by HHH diverges from DDD emulated by HHH1--- BEST ONE1Richard Damon
5 Jun 25 ii   i i           i         `* Re: DDD emulated by HHH diverges from DDD emulated by HHH13Richard Damon
5 Jun 25 ii   i i           i          `* Re: DDD emulated by HHH diverges from DDD emulated by HHH12olcott
6 Jun 25 ii   i i           i           `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
5 Jun 25 ii   i i           `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11olcott
4 Jun 25 ii   i `* Re: DDD emulated by HHH diverges from DDD emulated by HHH19Richard Damon
4 Jun 25 ii   i  `* Re: DDD emulated by HHH diverges from DDD emulated by HHH18olcott
5 Jun 25 ii   i   `* Re: DDD emulated by HHH diverges from DDD emulated by HHH17Richard Damon
5 Jun 25 ii   i    `* Re: DDD emulated by HHH diverges from DDD emulated by HHH16olcott
5 Jun 25 ii   i     +- Re: DDD emulated by HHH diverges from DDD emulated by HHH11dbush
5 Jun 25 ii   i     `* Re: DDD emulated by HHH diverges from DDD emulated by HHH14Richard Damon
5 Jun 25 ii   i      `* Re: DDD emulated by HHH diverges from DDD emulated by HHH13olcott
5 Jun 25 ii   i       +- Re: DDD emulated by HHH diverges from DDD emulated by HHH1 --- Typo Corrected1olcott
6 Jun 25 ii   i       `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
4 Jun 25 ii   `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Richard Damon
4 Jun 25 i+* Re: DDD emulated by HHH diverges from DDD emulated by HHH110Richard Damon
4 Jun 25 ii`* Re: DDD emulated by HHH diverges from DDD emulated by HHH19olcott
4 Jun 25 ii +* Re: DDD emulated by HHH diverges from DDD emulated by HHH16Fred. Zwarts
4 Jun 25 ii i`* Re: DDD emulated by HHH diverges from DDD emulated by HHH15olcott
4 Jun 25 ii i +* Re: DDD emulated by HHH diverges from DDD emulated by HHH12joes
4 Jun 25 ii i i`- Re: DDD emulated by HHH diverges from DDD emulated by HHH11olcott
4 Jun 25 ii i +- Re: DDD emulated by HHH diverges from DDD emulated by HHH11dbush
5 Jun 25 ii i `- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Fred. Zwarts
4 Jun 25 ii `* Re: DDD emulated by HHH diverges from DDD emulated by HHH12Richard Damon
4 Jun 25 i`- Re: DDD emulated by HHH diverges from DDD emulated by HHH11Fred. Zwarts
3 Jun 25 `* Re: DDD emulated by HHH diverges from DDD emulated by HHH12joes

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal