Code

[TG-375] Fotis/generics support#1406

Code

Merged

thk123 merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:fotis/generics_supportNlightNFotis/cbmc:fotis/generics_supportCopy head branch name to clipboard

Oct 13, 2017

Commits

Commits on Oct 12, 2017

• Created basic class for creating new java instantiations of classes

  

  thk123

  authored and

  NlightNFotis

  committed
  808a6ad

  Copy full SHA for 808a6ad

• Added support for concretising a generic and adding it into the symbol

  Show description for d735cc5
  NlightNFotis

  committed
  d735cc5

  Copy full SHA for d735cc5