Code

Complete journalling symbol table#1558

Code

Merged

peterschrammel merged 7 commits intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/complete-journalling_symbol_tableNathanJPhillips/cbmc:feature/complete-journalling_symbol_tableCopy head branch name to clipboard

Nov 15, 2017

Commits

Commits on Nov 15, 2017

• Style improvements

  NathanJPhillips

  committed
  8035397

  Copy full SHA for 8035397

• Fix bug where move from const symbol collections

  NathanJPhillips

  committed
  2ef1c94

  Copy full SHA for 2ef1c94

• Sort output of symbol_tablet::show

  NathanJPhillips

  committed
  cdbac8c

  Copy full SHA for cdbac8c

• Remove lookup_impl - it won't work for recording symbol table and adds complexity

  NathanJPhillips

  committed
  7aa80ad

  Copy full SHA for 7aa80ad

• Update to journalling symbol table

  Show description for a2b45e3
  NathanJPhillips

  committed
  a2b45e3

  Copy full SHA for a2b45e3

• Add comment on has_symbol

  NathanJPhillips

  committed
  3e42a8d

  Copy full SHA for 3e42a8d

• Added usages of base class symbol table

  NathanJPhillips

  committed
  69d1a52

  Copy full SHA for 69d1a52