[m-dev.] proposal: rename the modules of the first termination analyzer

[Zoltan Somogyi]

On Sun, 30 Aug 2026 16:14:03 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> At the moment, none. If work on termination analysis were resumed, then I would
> like to see both analyses (and any future ones) more integrated than
> they currently
> are.  (For example, if both analyses are being run and the first one
> proves termination,
> the second one should not attempt a termination proof etc.)

Ok, that is a convincing reason. I will do that.

> (Incidentally, have you thought about where term_norm.m will end up; it's used
> by things other than the termination analysers.)

Not yet, but soon.

Zoltan.