Code

Goto symex state clean-up#3445

Code

Merged

romainbrenguier merged 18 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/symex-part4romainbrenguier/cbmc:refactor/symex-part4Copy head branch name to clipboard

Nov 26, 2018

Commits

Commits on Nov 26, 2018

• Remove typedef used only once

  romainbrenguier

  committed
  d1be84d

  Copy full SHA for d1be84d

• Use ranged for instead of iterators

  romainbrenguier

  committed
  1410f06

  Copy full SHA for 1410f06

• Remove typedef used only once

  romainbrenguier

  committed
  6527421

  Copy full SHA for 6527421

• Remove typedef used only once

  romainbrenguier

  committed
  aff8880

  Copy full SHA for aff8880

• Make framet a struct

  Show description for 607ed1c
  romainbrenguier

  committed
  607ed1c

  Copy full SHA for 607ed1c

• Make threadt a struct

  Show description for 5344bee
  romainbrenguier

  committed
  5344bee

  Copy full SHA for 5344bee

• Remove trivial constructor

  Show description for 0b7ff55
  romainbrenguier

  committed
  0b7ff55

  Copy full SHA for 0b7ff55

• Remove typedef used only once

  romainbrenguier

  committed
  a30d8a7

  Copy full SHA for a30d8a7

• Remove unimplemented declaration

  romainbrenguier

  committed
  41508c9

  Copy full SHA for 41508c9

• Remove field that is assigned but never read

  romainbrenguier

  committed
  6896b16

  Copy full SHA for 6896b16

• Replace constructor by default values for fields

  romainbrenguier

  committed
  4443c61

  Copy full SHA for 4443c61

• Replace constructor by default values for fields

  romainbrenguier

  committed
  c61a00d

  Copy full SHA for c61a00d

• Use ranged-for instead of iterators

  romainbrenguier

  committed
  c1eda5e

  Copy full SHA for c1eda5e

• Remove typedef used only once

  romainbrenguier

  committed
  9153342

  Copy full SHA for 9153342

• Use auto for iterator type

  romainbrenguier

  committed
  512c30b

  Copy full SHA for 512c30b

• Use ranged-for instead of iterators

  romainbrenguier

  committed
  f4b1533

  Copy full SHA for f4b1533

• Use ranged-for instead of iterators

  romainbrenguier

  committed
  9b4843e

  Copy full SHA for 9b4843e

• Remove typedef used only once

  romainbrenguier

  committed
  27b4b03

  Copy full SHA for 27b4b03