Path: csiph.com!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Mon, 07 Apr 2025 14:04:52 -0700
Organization: None to speak of
Lines: 12
Message-ID: <87ecy3d6ob.fsf@nosuchdomain.example.com>
References: <vss56v$375du$2@dont-email.me> <vss91c$3b1no$1@dont-email.me> <vssabb$3aqnp$2@dont-email.me> <vssavl$3b2j0$3@dont-email.me> <20250405153728.395@kylheku.com> <vsse5t$3gbj1$1@dont-email.me> <86tt71fuxh.fsf@linuxsc.com> <vsu73b$1b0t8$1@dont-email.me> <86y0wcelxp.fsf@linuxsc.com> <vsvk08$2r125$1@dont-email.me> <86ldscdtqw.fsf@linuxsc.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Mon, 07 Apr 2025 23:04:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2714e7df686d80d73a1feebaa5e76a7a"; logging-data="687569"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+T7UhkTPWSTn0Z/+FXSxIh"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:2giyY7oePcwTYiXKQHfk7fCAWGk= sha1:ljHDtlNaXeqm7TQjaUFM2ACn16M=
Xref: csiph.com comp.lang.c:392169

Tim Rentsch <tr.17687@z991.linuxsc.com> writes:
> olcott <polcott333@gmail.com> writes:
[82 lines deleted]
>
> I'm sorry my comments weren't more helpful for you.

Tim, *please* trim quoted text that isn't relevant to your followup.
(And please consider whether olcott is worth any attention at all.)

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */