Code

Interpreter sparse memory#689

Code

Merged

peterschrammel merged 3 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

romainbrenguier:interpreter-sparse-memoryromainbrenguier/cbmc:interpreter-sparse-memoryCopy head branch name to clipboard

Mar 30, 2017

Commits

Commits on Mar 30, 2017

• New class for sparse vectors in util

  Show description for 2e62c66
  romainbrenguier

  committed
  2e62c66

  Copy full SHA for 2e62c66

• Interpreter: switch to sparse vector memory map

  Show description for 5d2919b
  romainbrenguier

  committed
  5d2919b

  Copy full SHA for 5d2919b

• Add support for unbounded-size objects

  Show description for 1b97f3d
  romainbrenguier

  committed
  1b97f3d

  Copy full SHA for 1b97f3d