Code

Gnatprove wave#70

Code

Closed

Fabien-Chouteau wants to merge 20 commits intomainalire-project/GNAT-FSF-builds:mainfrom gnatprove_wavealire-project/GNAT-FSF-builds:gnatprove_waveCopy head branch name to clipboard

+408-550

Commits

Commits on May 30, 2024

• GNATprove 14.1

  Fabien-Chouteau

  committed
  195ae49

  Copy full SHA for 195ae49

• TBM

  Fabien-Chouteau

  committed
  24b3fb9

  Copy full SHA for 24b3fb9

Commits on May 31, 2024

• GNATprove: add libiconv dependency on Windows

  Fabien-Chouteau

  committed
  bbf5e6c

  Copy full SHA for bbf5e6c

• spark2014: set sparklib commit id

  Fabien-Chouteau

  committed
  306ca47

  Copy full SHA for 306ca47

• libgpr2: fix SOURCE_DIR for macOS

  Fabien-Chouteau

  committed
  39805b7

  Copy full SHA for 39805b7

Commits on Jun 3, 2024

• spark2014: use glibc 2.31 version of Z3

  Fabien-Chouteau

  committed
  90a24ab

  Copy full SHA for 90a24ab

• GDB: disable python support on all GDB

  Show description for 623e0f9
  Fabien-Chouteau

  committed
  623e0f9

  Copy full SHA for 623e0f9

Commits on Jun 4, 2024

• spark2014: use static builds for libgmp and libiconv

  Fabien-Chouteau

  committed
  8bc3d7c

  Copy full SHA for 8bc3d7c

Commits on Jun 5, 2024

• embedded-runtimes: bump branch commit to include new fix

  Fabien-Chouteau

  committed
  48821a2

  Copy full SHA for 48821a2

Commits on Jun 7, 2024

• utils/gen_gnat_manifests.py: set library paths for native compilers

  Fabien-Chouteau

  committed
  557643c

  Copy full SHA for 557643c

• gnatcoll-bindings: only build static libs

  Fabien-Chouteau

  committed
  053e398

  Copy full SHA for 053e398

• specs/gnu.anod: on Linux create a duplicate lib64/ along the lib/

  Fabien-Chouteau

  committed
  0af8648

  Copy full SHA for 0af8648

Commits on Jun 18, 2024

• Build GCC 14.1 on aarch64-apple-darwin.

  Show description for a001205
  

  simonjwright

  authored and

  Fabien-Chouteau

  committed
  a001205

  Copy full SHA for a001205

Commits on Jun 21, 2024

• Enable GNAT cross builds on macos arm

  Fabien-Chouteau

  committed
  c3910be

  Copy full SHA for c3910be

• why3, alt-ergo on macOS aarch64: fix branches for 14 release

  Fabien-Chouteau

  committed
  d481940

  Copy full SHA for d481940

• gcc: select macOS aarch64 fork based on host arch rather than target

  Fabien-Chouteau

  committed
  e143589

  Copy full SHA for e143589

Commits on Jul 4, 2024

• spark2014: bring back shared libgmp for alt-ergo

  Fabien-Chouteau

  committed
  efd833a

  Copy full SHA for efd833a

Commits on Jul 5, 2024

• Update libadalang to 24.0

  Fabien-Chouteau

  committed
  0cb0eb4

  Copy full SHA for 0cb0eb4

• spark2014: shared gmp should not be in the environment for builds

  Show description for 1443b47
  Fabien-Chouteau

  committed
  1443b47

  Copy full SHA for 1443b47

Commits on Jul 9, 2024

• GNATprove wavefront

  Fabien-Chouteau

  committed
  461769a

  Copy full SHA for 461769a