Code

STL frontend: expr2stl conversion#4954

Code

Merged

pkesseli merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

MatWise:feature/stl-from-expressionMatWise/cbmc:feature/stl-from-expressionCopy head branch name to clipboard

Jul 31, 2019

Commits

Commits on Jul 26, 2019

• Add support for STL NOT instruction

  Show description for ae6dd2f
  MatWise

  committed
  ae6dd2f

  Copy full SHA for ae6dd2f

Commits on Jul 30, 2019

• Expand expr2statement_list

  Show description for f84bf71
  MatWise

  committed
  f84bf71

  Copy full SHA for f84bf71