Code

Resolve symbol types in symbol table#2

Code

Merged

chrisr-diffblue merged 4 commits intochrisr-diffblue:external_parser_support_rebasechrisr-diffblue/cbmc:external_parser_support_rebasefrom

danpoe:feature/resolve-symbol-types-in-symbol-tabledanpoe/cbmc:feature/resolve-symbol-types-in-symbol-tableCopy head branch name to clipboard

Jul 5, 2018

Commits

Commits on Jun 26, 2018

• Add missing json_symbol.cpp to Makefile

  danpoe

  committed
  6df7e8c

  Copy full SHA for 6df7e8c

• Remove unnecessary argument of get_writeable_symbol

  danpoe

  committed
  193ab1b

  Copy full SHA for 193ab1b

• Add follow_type_symbol to namespacet

  danpoe

  committed
  6c1b880

  Copy full SHA for 6c1b880

• Resolve type symbols in symbol table when loading from json

  danpoe

  committed
  95af4f9

  Copy full SHA for 95af4f9