Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.c++ > #122378
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.lang.c++ |
| Subject | Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory |
| Date | 2025-06-28 10:17 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <103p11e$u0ef$1@dont-email.me> (permalink) |
| References | <103mrs1$ar3e$1@dont-email.me> <80aa46a1ad3397065e575771d1ebe57f6a5c5588.camel@gmail.com> <103p0ad$tj08$2@dont-email.me> <103p0sf$tnu1$1@dont-email.me> |
On 6/28/2025 10:14 AM, dbush wrote: > On 6/28/2025 11:04 AM, olcott wrote: >> On 6/28/2025 2:43 AM, wij wrote: >>> On Fri, 2025-06-27 at 14:36 -0500, olcott wrote: >>>> I am only here for the validation of the behavior >>>> of DDD correctly simulated by HHH. >>> >>> The definition of HHH is missing. >> >> The definition is specified in this part that you >> dishonestly erased: >> >> On 6/27/2025 2:36 PM, olcott wrote: >> > Termination Analyzer HHH simulates its input until >> > it detects a non-terminating behavior pattern. When >> > HHH detects such a pattern it aborts its simulation >> > and returns 0. >> > > The dishonest one here is YOU, as it was not wij who snipped the below > in his reply but YOU: > I stop at the first counter-factual mistake so I stop here. Everything else is ignored. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-27 14:36 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 01:14 +0100
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:00 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 17:22 +0100
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 11:47 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-06-28 18:38 +0100
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 13:08 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 14:16 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-29 10:41 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- (Typo corrected) olcott <polcott333@gmail.com> - 2025-06-29 10:48 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory wij <wyniijj5@gmail.com> - 2025-06-28 15:43 +0800
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:04 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:14 -0400
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:17 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:21 -0400
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:30 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:39 -0400
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 10:46 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 11:52 -0400
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 11:03 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 13:13 -0400
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 12:27 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory dbush <dbush.mobile@gmail.com> - 2025-06-28 13:43 -0400
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 13:16 -0500
Re: DDD correctly simulated by HHH can't possibly reach its own "return" statement --- Liars on comp.theory olcott <polcott333@gmail.com> - 2025-06-28 12:35 -0500
csiph-web