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 Nov 17, 2024

• cudd-3.0.0-postconfig.patch

  Show description for 893457d
  rurban

  committed
  893457d

• solvers: don't apply patches twice

  rurban

  committed
  dea56a4

• Enable IPO / LTO and -O3

  Show description for 364db88
  rurban

  committed
  364db88

• Rename yyalloc to avoid duplicate definitions with LTO

  Show description for 1aaab3c
  

  tautschnig

  authored and

  rurban

  committed
  1aaab3c

• Rename yysymbol_kind_t, analog to previous commit

  Show description for feff2ba
  rurban

  committed
  feff2ba

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

  Show description for be610a8
  rurban

  committed
  be610a8

• sed the generated enum yytokentype and yyguts_t

  Show description for a6d8eb7
  rurban

  committed
  a6d8eb7