Code

2ls prerequisites#232

Code

Closed

peterschrammel wants to merge 5 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:2ls_prerequisitespeterschrammel/cbmc:2ls_prerequisitesCopy head branch name to clipboard

Commits

Commits on Dec 9, 2016

• line terminators

  

  Peter Schrammel

  authored and

  peterschrammel

  committed
  5603559

  Copy full SHA for 5603559

• ID_suffix

  

  Peter Schrammel

  authored and

  peterschrammel

  committed
  403aa32

  Copy full SHA for 403aa32

• detect recursion on inlining

  

  Peter Schrammel

  authored and

  peterschrammel

  committed
  f8c51eb

  Copy full SHA for f8c51eb

Commits on Dec 11, 2016

• Turn off float constant folding in simplifier

  Show description for 1ebc80e
  peterschrammel

  committed
  1ebc80e

  Copy full SHA for 1ebc80e

Commits on Dec 18, 2016

• Filter out duplicate source locations in witness

  peterschrammel

  committed
  e545668

  Copy full SHA for e545668