Code

Feature/serialization improvements#704

Code

Merged

peterschrammel merged 3 commits intodiffblue:security-scanner-supportdiffblue/cbmc:security-scanner-supportfrom NathanJPhillips:feature/serialization-improvementsNathanJPhillips/cbmc:feature/serialization-improvementsCopy head branch name to clipboardMar 27, 2017

+14-10

Commits

Commits on Mar 27, 2017

• Undid accidental config.inc change

  NathanJPhillips

  committed
  1ab6a25

  Copy full SHA for 1ab6a25

• Use explicitly sized integer types

  NathanJPhillips

  committed
  ca0b983

  Copy full SHA for ca0b983

• Use shared_ptr for traits

  NathanJPhillips

  committed
  ad18aa9

  Copy full SHA for ad18aa9