Code

goto-cc: add separate path for ld#2241

Code

Merged

tautschnig merged 6 commits intodevelopdiffblue/cbmc:developfrom

ld_modediffblue/cbmc:ld_modeCopy head branch name to clipboard

May 29, 2018

Commits

Commits on May 27, 2018

• missing const method qualifiers

  

  Daniel Kroening

  committed
  0d95cc5

  Copy full SHA for 0d95cc5

Commits on May 28, 2018

• update year + add Michael

  

  Daniel Kroening

  committed
  cd967db

  Copy full SHA for cd967db

• linker_script_merget now takes exactly one ELF + goto binary

  

  Daniel Kroening

  committed
  b9127f3

  Copy full SHA for b9127f3

• factor out creation of hybrid binaries

  

  Daniel Kroening

  committed
  524091f

  Copy full SHA for 524091f

• add separate path for ld

  

  Daniel Kroening

  committed
  303908f

  Copy full SHA for 303908f

• remove linker mode from gcc_mode

  

  Daniel Kroening

  committed
  4c2cb3a

  Copy full SHA for 4c2cb3a