Code

Templatize value-set analysis#1499

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/vsa_take_twosmowton/cbmc:smowton/feature/vsa_take_twoCopy head branch name to clipboard

Nov 26, 2017

Commits

Commits on Nov 26, 2017

• Templatize and virtualize value-set analysis

  Show description for 8fb6da2
  smowton

  committed
  8fb6da2

  Copy full SHA for 8fb6da2

• Enable value-set to handle DEAD statements

  Show description for 34dc4a9
  smowton

  committed
  34dc4a9

  Copy full SHA for 34dc4a9

• Add unit tests for value-set-analysis customisation

  smowton

  committed
  8bcca68

  Copy full SHA for 8bcca68

• Document value_sett

  smowton

  committed
  6ebceca

  Copy full SHA for 6ebceca