Re: GCC 12.5 Released

2025-07-11 Thread Andrew Marlow via Gcc
Hello Richard, Thank you for making these announcements, they are very useful and informative. But I have one small request to make. Please include a link to the web page that describes the changes from the last release. The links are on the page https://gcc.gnu.org/releases.html and for this part

gcc-14-20250711 is now available

2025-07-11 Thread GCC Administrator via Gcc
Snapshot gcc-14-20250711 is now available on https://gcc.gnu.org/pub/gcc/snapshots/14-20250711/ and on various mirrors, see https://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 14 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

Re: smtgcc mid-year update

2025-07-11 Thread Krister Walfridsson via Gcc
On Fri, 11 Jul 2025, Filip Kastl wrote: Please let me know if there are additional configurations you would like me to include in the testing. Seems like work on smtgcc is going nicely. Good to hear! Have you considered -Ofast or some subset of the flags it enables? Perhaps that would uncov

GCC 15.1.1 Status Report (2025-07-11)

2025-07-11 Thread Richard Biener via Gcc
The releases/gcc-15 branch is open for regression and documentation fixes. This is now the time to prepare for the GCC 15.2 release - a release candidate is planned for Friday Aug 1st, three weeks from now, with the GCC 15.2 release following a week after that. Please go over reported regression

Re: smtgcc mid-year update

2025-07-11 Thread Filip Kastl
On Tue 2025-07-01 20:06:18, Krister Walfridsson via Gcc wrote: > I have continued working on my translation validator, smtgcc [1]. Here is an > update of what I have done since the end-of-year update. > > > smtgcc-tv-backend > - > The main focus has been improving the smtgcc-tv-ba

GCC 12.5 Released

2025-07-11 Thread Richard Biener via Gcc
The GNU Compiler Collection version 12.5 has been released. GCC 12.5 is a bug-fix release from the GCC 12 branch containing important fixes for regressions and serious bugs in GCC 12.4 with more than 241 bugs fixed since the previous release. This is also the last release from the GCC 12 branch,

GCC 12 branch is now closed

2025-07-11 Thread Richard Biener via Gcc
The GCC 12 branch is now closed, no further changes can be pushed there.