Code

Partial cleanup in solver code#1810

Code

Closed

romainbrenguier wants to merge 10 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/prop_convromainbrenguier/cbmc:refactor/prop_convCopy head branch name to clipboard

Commits

Commits on Jun 13, 2018

• Make literal return an optional

  Show description for 79cb900
  romainbrenguier

  committed
  79cb900

  Copy full SHA for 79cb900

• Make get_bool return a optional

  romainbrenguier

  committed
  fd7af72

  Copy full SHA for fd7af72

• Refactoring set_equality_to_true

  romainbrenguier

  committed
  16ae7dd

  Copy full SHA for 16ae7dd

• Rename SUB in baset

  Show description for eedf20e
  romainbrenguier

  committed
  eedf20e

  Copy full SHA for eedf20e

• Simplify is_unbounded_array

  romainbrenguier

  committed
  444bf14

  Copy full SHA for 444bf14

• Refactoring in boolbvt::convert_add_sub

  romainbrenguier

  committed
  4c9364b

  Copy full SHA for 4c9364b

• Refactoring in boolbvt::convert_array

  romainbrenguier

  committed
  2333436

  Copy full SHA for 2333436

• Refactoring in boolbvt::convert_array_of

  romainbrenguier

  committed
  c41e26d

  Copy full SHA for c41e26d

• Refactoring in boolbvt::convert_index

  Show description for 1cd9a85
  romainbrenguier

  committed
  1cd9a85

  Copy full SHA for 1cd9a85

• Refactoring in boolbvt::convert_mult

  romainbrenguier

  committed
  1e4e071

  Copy full SHA for 1e4e071