Code

Configurable expr2c#2713

Code

Merged

thk123 merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:dump/expr2c-configurationthk123/cbmc:dump/expr2c-configurationCopy head branch name to clipboard

Aug 15, 2018

Commits

Commits on Aug 14, 2018

• Make expr2ct configurable in a number of ways

  Show description for 3a40db1
  

  thk123

  committed
  3a40db1

  Copy full SHA for 3a40db1

• Add a clean configuration for expr2c

  Show description for c3fef70
  

  thk123

  committed
  c3fef70

  Copy full SHA for c3fef70

• Add type2c conversion for specifying a type name

  

  thk123

  committed
  0cfacb8

  Copy full SHA for 0cfacb8

• Reformatting the structs to aid readability

  

  thk123

  committed
  6e04213

  Copy full SHA for 6e04213