Code

Audit usages of fold_right#1688

Code

Open

michael-schwarz wants to merge 5 commits intomastergoblint/analyzer:masterfrom issue_1536goblint/analyzer:issue_1536Copy head branch name to clipboard

+43-50

Commits

Commits on Feb 18, 2025

• Audit usages of fold_right

  michael-schwarz

  committed
  c13bcc3

  Copy full SHA for c13bcc3

• Simplify Fun.flip invocations

  michael-schwarz

  committed
  3c4f6cc

  Copy full SHA for 3c4f6cc

• Reduce passes in forget_reachable

  michael-schwarz

  committed
  ff6563c

  Copy full SHA for ff6563c

• Use Option.map_default in

  Show description for 125672a
  michael-schwarz

  committed
  125672a

  Copy full SHA for 125672a

Commits on Feb 19, 2025

• Fix bug in uninit and malloc_null

  michael-schwarz

  committed
  7ab076e

  Copy full SHA for 7ab076e