Code

Further allocator refactoring#1173

Code

Merged

dwightguth merged 6 commits intodevelopruntimeverification/llvm-backend:developfrom new_alloc2runtimeverification/llvm-backend:new_alloc2Copy head branch name to clipboardDec 9, 2024

+35-58

Commits

Commits on Dec 6, 2024

• deleted dead code youngspace_size() and arena_size()

  stevenmeker

  committed
  fee5198

  Copy full SHA for fee5198

• replaced memory_block_header and associated functionality

  stevenmeker

  committed
  a8581b7

  Copy full SHA for a8581b7

• fix formatting; clean code and comments

  stevenmeker

  committed
  a8a2890

  Copy full SHA for a8a2890

• fix formatting

  stevenmeker

  committed
  e47b8a9

  Copy full SHA for e47b8a9

• deleted commented out code

  stevenmeker

  committed
  cbcafad

  Copy full SHA for cbcafad

Commits on Dec 9, 2024

• Merge branch 'develop' into new_alloc2

  stevenmeker

  authored
  ab50bb2

  Copy full SHA for ab50bb2