Code

Simplifier 20160305#25

Code

Merged

kroening merged 9 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:simplifier-20160305tautschnig/cbmc:simplifier-20160305Copy head branch name to clipboard

Jun 21, 2016

Commits

Commits on Jun 21, 2016

• Removed unused jump table; we might use switch/case once Visual Studio fully supports constexpr

  tautschnig

  committed
  0e6fab4

  Copy full SHA for 0e6fab4

• Simplify input/output format arguments

  Show description for cd0c535
  tautschnig

  committed
  cd0c535

  Copy full SHA for cd0c535

• Extended simplify for byte_update, typing

  tautschnig

  committed
  4bb8f88

  Copy full SHA for 4bb8f88

• Simplify byte_extract: typing, added simplify_member call

  tautschnig

  committed
  0539661

  Copy full SHA for 0539661

• Simplify ID_with when index is known

  tautschnig

  committed
  f04c7d1

  Copy full SHA for f04c7d1

• Simplify typecast of pointer arithmetic expression to integer

  tautschnig

  committed
  d029656

  Copy full SHA for d029656

• Preparing typing of simplify_if, use lift_if

  tautschnig

  committed
  46c5afc

  Copy full SHA for 46c5afc

• New implementation of (still disabled) expression replacement in simplify_if

  tautschnig

  committed
  700c378

  Copy full SHA for 700c378

• simplify/byte_extract bugfixes

  tautschnig

  committed
  e9ffa30

  Copy full SHA for e9ffa30