Code

Optimize remove_level_2#3559

Code

Merged

romainbrenguier merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:optimize/get_l1_nameromainbrenguier/cbmc:optimize/get_l1_nameCopy head branch name to clipboard

Dec 14, 2018

Commits

Commits on Dec 13, 2018

• Move update_identifier definition to cpp file

  Show description for 9157f0f
  romainbrenguier

  committed
  9157f0f

  Copy full SHA for 9157f0f

• Remove build_identifier from the public_interface

  Show description for 5f9fd35
  romainbrenguier

  committed
  5f9fd35

  Copy full SHA for 5f9fd35

• Document build_ssa_identifier_rec

  romainbrenguier

  committed
  8bd5402

  Copy full SHA for 8bd5402

• Hide get_l1_name from interface

  Show description for 75f7c77
  romainbrenguier

  committed
  75f7c77

  Copy full SHA for 75f7c77

• Inline get_l1_name

  Show description for 7efc7b8
  romainbrenguier

  committed
  7efc7b8

  Copy full SHA for 7efc7b8

• Optimize remove_level_2

  Show description for 7114c57
  romainbrenguier

  committed
  7114c57

  Copy full SHA for 7114c57