Re: Proving the: Simulating termination analyzer Principle

From	Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups	comp.lang.c
Subject	Re: Proving the: Simulating termination analyzer Principle
Date	2025-04-07 14:04 -0700
Organization	None to speak of
Message-ID	<87ecy3d6ob.fsf@nosuchdomain.example.com> (permalink)
References	(6 earlier) <86tt71fuxh.fsf@linuxsc.com> <vsu73b$1b0t8$1@dont-email.me> <86y0wcelxp.fsf@linuxsc.com> <vsvk08$2r125$1@dont-email.me> <86ldscdtqw.fsf@linuxsc.com>

Show all headers | View raw

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 */

Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 15:52 -0500
  Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 17:15 -0400
    Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 16:29 -0500
      Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 17:31 -0400
        Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-05 23:18 +0100
          Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 18:27 -0400
            Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:30 -0500
              Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 20:34 -0400
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:43 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:21 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 22:30 -0500
                Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 21:22 -0400
              Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 01:52 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:22 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:37 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:42 -0500
          Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 18:18 -0500
            Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 19:20 -0400
              Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:36 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:03 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 22:34 -0500
                Re: Proving the: Simulating termination analyzer Principle dbush <dbush.mobile@gmail.com> - 2025-04-05 21:19 -0400
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:49 -0500
            Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 00:45 +0100
            Re: Proving the: Simulating termination analyzer Principle James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-04-05 20:54 -0400
              Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 20:09 -0500
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 02:31 +0100
      Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-05 14:32 -0700
  Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-05 22:58 +0100
    Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 17:20 -0500
      Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-05 23:31 +0100
        Re: Proving the: Simulating termination analyzer Principle Kaz Kylheku <643-408-1753@kylheku.com> - 2025-04-05 22:42 +0000
          Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 00:25 +0100
            Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-06 03:25 -0700
              Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 11:34 +0100
              Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-06 10:37 -0500
                Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-06 19:37 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-06 23:23 -0500
                Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-07 05:46 -0700
                Re: Proving the: Simulating termination analyzer Principle Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-04-07 14:04 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-07 16:54 -0500
                Re: Proving the: Simulating termination analyzer Principle Tim Rentsch <tr.17687@z991.linuxsc.com> - 2025-04-08 10:52 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-08 22:04 -0500
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-07 16:41 -0500
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-08 21:22 -0500
          Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:07 -0500
        Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 19:35 -0500
          Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-06 01:59 +0100
            Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-05 22:26 -0500
              Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-08 23:00 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-09 12:18 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-09 16:39 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-09 21:02 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-09 21:04 -0700
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-09 21:10 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-10 17:53 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-10 20:00 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-11 09:42 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-11 13:00 -0700
                Re: Proving the: Simulating termination analyzer Principle Richard Heathfield <rjh@cpax.org.uk> - 2025-04-11 21:57 +0100
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 07:08 -0500
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 07:03 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-13 12:38 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 14:56 -0500
                Re: Proving the: Simulating termination analyzer Principle "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-04-13 14:50 -0700
                Re: Proving the: Simulating termination analyzer Principle olcott <polcott333@gmail.com> - 2025-04-13 18:26 -0500

csiph-web