Code

misc: Switch off develop-mode#2280

Code

Merged

mloubout merged 3 commits intomasterdevitocodes/devito:masterfrom develop-mode-offdevitocodes/devito:develop-mode-offCopy head branch name to clipboardDec 13, 2023

+29-22

Commits

Commits on Dec 11, 2023

• api: Default to develop-mode=off

  FabioLuporini

  committed
  d6f565f

• api: Use ALLOC_ALIGNED unless in develop-mode

  FabioLuporini

  committed
  f9759ae

Commits on Dec 12, 2023

• examples: Fix for deterministic output

  FabioLuporini

  committed
  afc0612