Code

Cleanups in loading of jar files#4698

Code

Merged

tautschnig merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:cleanup/jar-loadingNathanJPhillips/cbmc:cleanup/jar-loadingCopy head branch name to clipboard

May 31, 2019

Commits

Commits on May 31, 2019

• Avoid copying memory for zip file contents twice during extraction

  NathanJPhillips

  committed
  5381af9

  Copy full SHA for 5381af9

• Add ability to extract contents of zip archive to a file

  Show description for 1cb05e3
  NathanJPhillips

  committed
  1cb05e3

  Copy full SHA for 1cb05e3

• Move string into map rather than copy it

  NathanJPhillips

  committed
  d3ec3d1

  Copy full SHA for d3ec3d1

• Remove hack only needed for old version of Visual Studio

  NathanJPhillips

  committed
  f315e79

  Copy full SHA for f315e79

• Corrected copy and pasted comment

  NathanJPhillips

  committed
  72936d1

  Copy full SHA for 72936d1