On Sun, 18 Aug 2024, Gerald Pfeifer wrote:
On Sat, 30 Sep 2023, Krister Walfridsson via Gcc wrote:
I have now released the new implementation for translation validation I talked
about at the GNU Tools Cauldron last week:
https://github.com/kristerw/smtgcc
Wouldn't it be appropriate/nice to promote this a bit more strongly from
gcc.gnu.org?
One example I can think of is https://gcc.gnu.org/extensions.html .
Another might be https://gcc.gnu.org/bugs/ to help understand whether
something is a user bug or GCC bug?
Happy to accept patches, or if you want to suggest some text massage that
into HTML and add it.
I suggest waiting a few weeks -- the tool still has a few issues with
false positives, and I need to document the limitations. But my plan is to
have it fixed before the GNU Tools Cauldron; the main message in my
proposed talk is "all of you should start using smtgcc!" :)
I'll send you a patch when this is done!
/Krister