Code

split up cbmc in cbmc and jbmc#1474

Code

Merged

kroening merged 4 commits intodevelopdiffblue/cbmc:developfrom

jbmcdiffblue/cbmc:jbmcCopy head branch name to clipboard

Oct 19, 2017

Commits

Commits on Oct 18, 2017

• added jbmc executable

  

  Daniel Kroening

  committed
  4286b86

  Copy full SHA for 4286b86

• use jbmc in regression tests

  

  Daniel Kroening

  committed
  320eeaf

  Copy full SHA for 320eeaf

• cbmc: clean out java

  

  Daniel Kroening

  committed
  d542f7e

  Copy full SHA for d542f7e

• cbmc cleanup

  

  Daniel Kroening

  committed
  185206c

  Copy full SHA for 185206c