Code

Update compilation instructions#2755

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

COMPILING-againdiffblue/cbmc:COMPILING-againCopy head branch name to clipboard

Aug 17, 2018

Commits

Commits on Aug 17, 2018

• jbmc build now uses Maven, not unzip

  

  Daniel Kroening

  committed
  c1ef758

  Copy full SHA for c1ef758

• Red Hat and Fedora now use dnf instead of yum

  

  Daniel Kroening

  committed
  ad1b1d8

  Copy full SHA for ad1b1d8