Code

Process system package#237

Code

Merged

xbauch merged 3 commits intodiffblue:masterdiffblue/gnat2goto:masterfrom

xbauch:feature/process-system-packagexbauch/gnat2goto:feature/process-system-packageCopy head branch name to clipboard

Jun 7, 2019

Commits

Commits on Jun 7, 2019

• Start processing system package

  Show description for d30d80a
  

  tjj2017

  authored and

  petr-bauch

  committed
  d30d80a

  Copy full SHA for d30d80a

• Update golden results

  petr-bauch

  committed
  fb6c7c5

  Copy full SHA for fb6c7c5

• Address review comments

  Show description for 0805991
  petr-bauch

  committed
  0805991

  Copy full SHA for 0805991