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