Path: csiph.com!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Tue, 08 Apr 2025 10:52:52 -0700
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <86zfgqczgr.fsf@linuxsc.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> <87ecy3d6ob.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Date: Tue, 08 Apr 2025 19:52:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3be70bfd357a158f55184c1ca57022b7"; logging-data="2859686"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/cZDGliDN8DtjhT6TNvwUTvLvJGLGB0UU="
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:2G84O53VEcyTM0c1pDTZ8T6z05k= sha1:wAzwAN/IpiaEce0HxtuXvQzUS+g=
Xref: csiph.com comp.lang.c:392208

Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:

> 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.

I routinely remove or summarize prior text that I feel is not
relevant to what I have to say.

Please allow me the courtesy of determining for myself which
prior material is or is not relevant, and which prior material
should be removed, and which prior material should be summarized.