Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #135448
| From | dbush <dbush.mobile@gmail.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | Re: 5 statements of D simulated by H |
| Date | 2025-11-12 20:06 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <10f3avf$1rb2q$1@dont-email.me> (permalink) |
| References | <10f2rsr$1ncqi$1@dont-email.me> <20251112155157.289@kylheku.com> <10f39ob$1r2sv$1@dont-email.me> |
Cross-posted to 3 groups.
On 11/12/2025 7:46 PM, olcott wrote:
> On 11/12/2025 5:55 PM, Kaz Kylheku wrote:
>> On 2025-11-12, olcott <polcott333@gmail.com> wrote:
>>> Everyone here rejects that the execution trace
>>> of 5 statements of D simulated by H according to
>>> the semantics of C is this:
>>
>> Dickhead, can you stop spamming comp.lang.* newsgroups with this H and D
>> shit?
>>
>
> *This is a FOREVER thing until someone admits the truth*
> *This is a FOREVER thing until someone admits the truth*
> *This is a FOREVER thing until someone admits the truth*
>
> int D()
> {
> int Halt_Status = H(D);
> if (Halt_Status)
> HERE: goto HERE;
> return Halt_Status;
> }
>
> Everyone here rejects that the execution trace
> of 5 statements of D simulated by H according to
> the semantics of C is this:
>
> (1) H simulates D that calls H(D)
> (2) that simulates D that calls H(D)
> (3) that simulates D that calls H(D)
> (4) that simulates D that calls H(D)
> (5) that simulates D that calls H(D)
False. The first 5 statements of D simulated by H are the following:
(1) int Halt_Status = H(D);
(2) __asm__("lea eax, DATA1");
(3) __asm__("mov Aborted, eax"); // Data stored directly in
the function body
(4) __asm__("lea eax, DATA2");
(5) __asm__("mov execution_trace, eax"); // Data stored directly in
the function body
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-12 14:49 -0600
Re: 5 statements of D simulated by H Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-12 23:55 +0000
Re: 5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-12 18:46 -0600
Re: 5 statements of D simulated by H dbush <dbush.mobile@gmail.com> - 2025-11-12 20:06 -0500
Re: 5 statements of D simulated by H Mikko <mikko.levanto@iki.fi> - 2025-11-13 11:34 +0200
Re: 5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-13 10:08 -0600
Re: 5 statements of D simulated by H dbush <dbush.mobile@gmail.com> - 2025-11-13 11:17 -0500
Re: 5 statements of D simulated by H Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:27 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-14 09:21 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-15 12:05 +0200
Re: 5 statements of D simulated by H --- libelous Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-15 13:36 +0000
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-15 10:01 -0600
Re: 5 statements of D simulated by H --- libelous dbush <dbush.mobile@gmail.com> - 2025-11-15 14:44 -0500
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-16 11:09 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-16 18:02 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-17 10:34 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-17 07:15 -0600
Re: 5 statements of D simulated by H --- libelous dbush <dbush.mobile@gmail.com> - 2025-11-17 08:33 -0500
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-18 12:30 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-18 10:48 -0600
Re: 5 statements of D simulated by H Alan Mackenzie <acm@muc.de> - 2025-11-18 19:10 +0000
Re: 5 statements of D simulated by H olcott <polcott333@gmail.com> - 2025-11-18 14:03 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-19 11:55 +0200
Re: 5 statements of D simulated by H --- libelous olcott <polcott333@gmail.com> - 2025-11-19 07:03 -0600
Re: 5 statements of D simulated by H --- libelous Mikko <mikko.levanto@iki.fi> - 2025-11-20 11:04 +0200
csiph-web