Code

Cegis cbmc#1614

Code

Merged

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

polgreen:cegis_cbmcpolgreen/cbmc:cegis_cbmcCopy head branch name to clipboard

Nov 27, 2017

Commits

Commits on Nov 24, 2017

• refactoring bmc.cpp

  Show description for 1a33c87
  polgreen

  committed
  1a33c87

  Copy full SHA for 1a33c87

• Added range-based symex operations

  Show description for 8b1f65e
  

  pkesseli

  authored and

  polgreen

  committed
  8b1f65e

  Copy full SHA for 8b1f65e

• Hook for cegis to freeze program variables

  polgreen

  committed
  8a389f9

  Copy full SHA for 8a389f9