Code

simplifier: sum and mul cleanup#3098

Code

Merged

tautschnig merged 3 commits intodevelopdiffblue/cbmc:developfrom

sum-cleanupdiffblue/cbmc:sum-cleanupCopy head branch name to clipboard

Oct 4, 2018

Commits

Commits on Oct 4, 2018

• added fixedbvt::operator+= and fixedbvt::operator-=

  

  Daniel Kroening

  committed
  1f1df42

  Copy full SHA for 1f1df42

• cleanup sum_expr to use higher level functions

  

  Daniel Kroening

  committed
  4b5c41b

  Copy full SHA for 4b5c41b

• cleanup mul_expr to use higher level functions

  

  Daniel Kroening

  committed
  b7caa0a

  Copy full SHA for b7caa0a