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 p
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
