[bug#70567] [PATCH 0/7] frama-c: Update to 28.1.

[Andreas Enge]

Am Fri, Apr 26, 2024 at 01:03:44PM +0000 schrieb Jean-Pierre De Jesus Diaz:
> >Could they be moved to coq.scm? Or a more generic, maybe a new module
> >related to theorem proving and/or source code analysis? Maybe into a
> >renamed valgrind.scm?
> I think it should be done but in a separate patch series as it would involve
> moving quite a few things, maybe a formal-methods.scm module?

Definitely, it should be done in a separate patch.

As to what the module should be called, I will let the specialists discuss
it among themselves :)

Andreas