Code

Minimal STL parser#4657

Code

Merged

pkesseli merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

MatWise:feature/minimal-stl-parserMatWise/cbmc:feature/minimal-stl-parserCopy head branch name to clipboard

May 31, 2019

Commits

Commits on May 31, 2019

• Add basic Statement List parser

  Show description for 37f60f2
  MatWise

  committed
  37f60f2

  Copy full SHA for 37f60f2

• Integrate STL parser into CBMC executable

  Show description for b900edc
  MatWise

  committed
  b900edc

  Copy full SHA for b900edc

• Add Statement List regression tests

  Show description for 2ba1361
  MatWise

  committed
  2ba1361

  Copy full SHA for 2ba1361