Code

Unbox some types#1310

Code

Merged

sim642 merged 3 commits intomastergoblint/analyzer:masterfrom unboxedgoblint/analyzer:unboxedCopy head branch name to clipboardJan 12, 2024

+21-21

Commits

Commits on Dec 28, 2023

• Unbox some types

  sim642

  committed
  e402150

  Copy full SHA for e402150

Commits on Jan 9, 2024

• Eta-reduce ask_of_ctx to avoid function allocation

  sim642

  committed
  be69a34

  Copy full SHA for be69a34

Commits on Jan 11, 2024

• Merge branch 'master' into unboxed

  sim642

  committed
  e4ab634

  Copy full SHA for e4ab634