Code

Introduce unary_plus_exprt#2931

Code

Merged

kroening merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

danpoe:refactor/introduce-unary-plus-exprdanpoe/cbmc:refactor/introduce-unary-plus-exprCopy head branch name to clipboard

Sep 11, 2018

Commits

Commits on Sep 10, 2018

• Add unary_plus_exprt

  danpoe

  committed
  8286f21

  Copy full SHA for 8286f21

• Use unary_plus_exprt in bitvector flattening

  danpoe

  committed
  1f01bbf

  Copy full SHA for 1f01bbf

• Use unary_plus_exprt in smt2 conversion

  danpoe

  committed
  083561f

  Copy full SHA for 083561f