Code

Implement delayed widening#1483

Code

Open

RonaldJudin wants to merge 13 commits intogoblint:mastergoblint/analyzer:masterfrom RonaldJudin:delay-wideningRonaldJudin/analyzer:delay-wideningCopy head branch name to clipboard

+314-2

Commits

Commits on May 24, 2024

• Implement delayed widening

  

  Ronald Judin

  committed
  5f2249f

• Use delayed widening option in control.ml

  

  Ronald Judin

  committed
  786ed5d

Commits on May 29, 2024

• Merge branch 'master' into pr/RonaldJudin/1483

  sim642

  committed
  c635621

• Move widening delay lifter up to avoid crash with witness lifter

  sim642

  committed
  b4863a5

• Extract widening delay to separate module

  sim642

  committed
  e3a4186

• Reorganize analysis lifters

  sim642

  committed
  0ec39cf

• Refactor WideningDelay domain

  sim642

  committed
  db3e88d

• Clean up WideningDelay lifter

  sim642

  committed
  2557f7d

• Add widening delay example

  sim642

  committed
  766019e

• Implement global widening delay

  sim642

  committed
  d8d665b

Commits on May 30, 2024

• Add comment about widening delay transfer functions

  sim642

  committed
  f34fc14

Commits on Jun 7, 2024

• Split 82-widen/02-mihaila-widen-fig7-delay into two tests

  sim642

  committed
  1a8021d

• Explain 82-widen/03-mihaila-widen-slide-delay

  sim642

  committed
  2eca6d6