Code

Enable IPO / LTO and -O3#8146

Code

Open

rurban wants to merge 7 commits intodiffblue:developdiffblue/cbmc:developfrom rurban:ltorurban/cbmc:ltoCopy head branch name to clipboard

+1,520-1,370

Commits

Commits on Dec 28, 2024

• cudd-3.0.0-postconfig.patch

  Show description for 78859b7
  rurban

  committed
  78859b7

  Copy full SHA for 78859b7

• solvers: don't apply patches twice

  rurban

  committed
  e11c079

  Copy full SHA for e11c079

• Enable IPO / LTO and -O3

  Show description for 308fda4
  rurban

  committed
  308fda4

  Copy full SHA for 308fda4

• Rename yyalloc to avoid duplicate definitions with LTO

  Show description for c94d55e
  

  tautschnig

  authored and

  rurban

  committed
  c94d55e

  Copy full SHA for c94d55e

• Rename yysymbol_kind_t, analog to previous commit

  Show description for b2b5470
  rurban

  committed
  b2b5470

  Copy full SHA for b2b5470

• lto: rename the bison tokens to ATOK, JTOK, and STOK

  Show description for 1d79054
  rurban

  committed
  1d79054

  Copy full SHA for 1d79054

• sed the generated enum yytokentype and yyguts_t

  Show description for a6136cc
  rurban

  committed
  a6136cc

  Copy full SHA for a6136cc