Code

Clean up irep id emptyness checks#997

Code

Merged

kroening merged 9 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:clean-up-irep-id-emptypeterschrammel/cbmc:clean-up-irep-id-emptyCopy head branch name to clipboard

Jun 11, 2017

Commits

Commits on Jun 8, 2017

• Clean-up irep-id emptyness checks in analyses

  peterschrammel

  committed
  06638de

  Copy full SHA for 06638de

• Clean-up irep-id emptyness checks in ansi-c

  peterschrammel

  committed
  2c7a355

  Copy full SHA for 2c7a355

• Clean-up irep-id emptyness checks in cpp

  peterschrammel

  committed
  6f61609

  Copy full SHA for 6f61609

• Clean-up irep-id emptyness checks in goto-programs

  peterschrammel

  committed
  6ceb610

  Copy full SHA for 6ceb610

• Clean-up irep-id emptyness checks in goto-symex

  peterschrammel

  committed
  df528eb

  Copy full SHA for df528eb

• Clean-up irep-id emptyness checks in java-bytecode

  peterschrammel

  committed
  826a79b

  Copy full SHA for 826a79b

• Clean-up irep-id emptyness checks in path-symex

  peterschrammel

  committed
  e105fb1

  Copy full SHA for e105fb1

• Clean-up irep-id emptyness checks in pointer-analysis

  peterschrammel

  committed
  7ce9549

  Copy full SHA for 7ce9549

• Clean-up irep-id emptyness checks in util

  peterschrammel

  committed
  248eed6

  Copy full SHA for 248eed6