Code

remove old allocator macros#499

Code

Merged

MichaelRawson merged 4 commits intomastervprover/vampire:masterfrom michael-remove-allocator-macrosvprover/vampire:michael-remove-allocator-macrosCopy head branch name to clipboardNov 2, 2023

+51-578

Commits

Commits on Oct 31, 2023

• remove CLASS_NAME, no-op

  MichaelRawson

  committed
  a440309

  Copy full SHA for a440309

• remove old BYPASSING_ALLOCATOR macros

  MichaelRawson

  committed
  ace6fe3

  Copy full SHA for ace6fe3

• remove *ALLOC_UNKNOWN

  MichaelRawson

  committed
  d530512

  Copy full SHA for d530512

Commits on Nov 2, 2023

• remove STATEMENTS_TO_EXPRESSION IIFE

  MichaelRawson

  committed
  f6ce7fa

  Copy full SHA for f6ce7fa