Code

Refactor in symex#3371

Code

Merged

romainbrenguier merged 17 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/symex-part1romainbrenguier/cbmc:refactor/symex-part1Copy head branch name to clipboard

Nov 16, 2018

Commits

Commits on Nov 15, 2018

• Remove declaration of unimplemented functions

  romainbrenguier

  committed
  3b24f35

  Copy full SHA for 3b24f35

• Use default for trivial destructor

  romainbrenguier

  committed
  0d17753

  Copy full SHA for 0d17753

• Remove unused function symex_from_entry_point_of

  romainbrenguier

  committed
  1b22eae

  Copy full SHA for 1b22eae

• Remove non-reference const in declarations

  romainbrenguier

  committed
  0fed6c8

  Copy full SHA for 0fed6c8

• Remove unused function symex_instruction_range

  romainbrenguier

  committed
  6f034fa

  Copy full SHA for 6f034fa

• Remove unused function symex_instruction_range

  romainbrenguier

  committed
  5490735

  Copy full SHA for 5490735

• Remove unused function symex_step_goto

  romainbrenguier

  committed
  d74f55d

  Copy full SHA for d74f55d

• Remove default argument on virtual method

  Show description for 1b78ec5
  romainbrenguier

  committed
  1b78ec5

  Copy full SHA for 1b78ec5

• Use backward instead of forward

  Show description for da94813
  romainbrenguier

  committed
  da94813

  Copy full SHA for da94813

• Remove intermediary expression variable

  Show description for c0bc638
  romainbrenguier

  committed
  c0bc638

  Copy full SHA for c0bc638

• Rename method to should_stop_unwind

  Show description for 529fbc9
  romainbrenguier

  committed
  529fbc9

  Copy full SHA for 529fbc9

• Document pc

  romainbrenguier

  committed
  9e049ba

  Copy full SHA for 9e049ba

• Use override instead of virtual

  Show description for 0157d77
  romainbrenguier

  committed
  0157d77

  Copy full SHA for 0157d77

• Remove unused field

  romainbrenguier

  committed
  3598f68

  Copy full SHA for 3598f68

• Add missing const

  romainbrenguier

  committed
  584db18

  Copy full SHA for 584db18

• Use override instead of virtual

  Show description for 91b23f4
  romainbrenguier

  committed
  91b23f4

  Copy full SHA for 91b23f4

• Remove unused forward declaration

  romainbrenguier

  committed
  1f9aa83

  Copy full SHA for 1f9aa83