Code

Cleanup types [DOC-12]#2815

Code

Merged

majakusber merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

majakusber:cleanup_typetmajakusber/cbmc:cleanup_typetCopy head branch name to clipboard

Sep 17, 2018

Commits

Commits on Sep 17, 2018

• Move functions from type to std_types

  

  svorenova

  committed
  91dc220

  Copy full SHA for 91dc220

• Add missing can_casts and casts

  

  svorenova

  committed
  a449f73

  Copy full SHA for a449f73

• Use type_try_dynamic_cast instead of direct id check and cast

  

  svorenova

  committed
  2c05b3a

  Copy full SHA for 2c05b3a

• Move mathematical types from std_types

  

  svorenova

  committed
  1a28613

  Copy full SHA for 1a28613