Code

Add JSON symbol table#2816

Code

Merged

smowton merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/json-symbol-tablesmowton/cbmc:smowton/feature/json-symbol-tableCopy head branch name to clipboard

Aug 24, 2018

Commits

Commits on Aug 23, 2018

• Clean up show_symbol_table

  Show description for 0d5e588
  smowton

  committed
  0d5e588

  Copy full SHA for 0d5e588

Commits on Aug 24, 2018

• JSON stream: support streaming a key-value pair to an object

  Show description for c5901e0
  smowton

  committed
  c5901e0

  Copy full SHA for c5901e0

• Implement --show-symbol-table in JSON-UI mode

  Show description for 20e5d89
  smowton

  committed
  20e5d89

  Copy full SHA for 20e5d89