Code

Add recording symbol table#1446

Code

Closed

smowton wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/upstream-recording-symtabsmowton/cbmc:smowton/upstream-recording-symtabCopy head branch name to clipboard

Commits

Commits on Oct 16, 2017

• Rework CI-lazy-methods' symbol table garbage collection to avoid swap

  Show description for 95f975b
  

  NathanJPhillips

  authored and

  smowton

  committed
  95f975b

  Copy full SHA for 95f975b

• Split storage for symbol_tablet into a concrete derived type

  Show description for 949d06b
  

  NathanJPhillips

  authored and

  smowton

  committed
  949d06b

  Copy full SHA for 949d06b

• Added recording_symbol_tablet

  Show description for c342cbb
  

  NathanJPhillips

  authored and

  smowton

  committed
  c342cbb

  Copy full SHA for c342cbb

• Add documentation to recording-symbol-table

  Show description for 2c09954
  smowton

  committed
  2c09954

  Copy full SHA for 2c09954