Code

JBMC Java Core models library#1735

Code

Merged

forejtv merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

cesaro:core-modelscesaro/cbmc:core-modelsCopy head branch name to clipboard

Jan 29, 2018

Commits

Commits on Jan 29, 2018

• Add constructors for having memory-loaded jar files

  Show description for ed008f9
  

  dcattaruzza

  authored and

  Degiorgio

  committed
  ed008f9

  Copy full SHA for ed008f9

• Refactor jar loading

  

  dcattaruzza

  authored and

  Degiorgio

  committed
  34216f5

  Copy full SHA for 34216f5

• Internalize core models of the Java Class Library

  Show description for f66288b
  

  dcattaruzza

  authored and

  Degiorgio

  committed
  f66288b

  Copy full SHA for f66288b

• Fixed CMake linker ODR violations caused by a regression-test

  Show description for a8e659c
  Degiorgio

  committed
  a8e659c

  Copy full SHA for a8e659c