Code

Improve autotune for octagon#1450

Code

Merged

sim642 merged 10 commits intomastergoblint/analyzer:masterfrom improve-autotunegoblint/analyzer:improve-autotuneCopy head branch name to clipboardMay 23, 2024

+52-22

Commits

Commits on May 9, 2024

• Add a test extracted from sv-comp task sqrt1-ll_unwindbound5.c

  Show description for e6d2f1b
  

  karoliineh

  and

  sim642

  committed
  e6d2f1b

  Copy full SHA for e6d2f1b

• Handle comparison in LNot in octagon autotune

  karoliineh

  committed
  c3385b6

  Copy full SHA for c3385b6

• Assert type bounds in relationAnalysis combine_assign

  karoliineh

  committed
  d899355

  Copy full SHA for d899355

Commits on May 22, 2024

• Make pattern match with one expression being a constant symmetric

  karoliineh

  committed
  53d62d4

  Copy full SHA for 53d62d4

• Extract duplicated code into a new function

  karoliineh

  committed
  4ff244f

  Copy full SHA for 4ff244f

• Handle variables in addition to plus and minus in extractOctagonVars

  karoliineh

  committed
  de75a06

  Copy full SHA for de75a06

• Use lists instead either option

  karoliineh

  committed
  f54687f

  Copy full SHA for f54687f

• Inline handle function and remove a logging added by accident

  karoliineh

  committed
  70b2313

  Copy full SHA for 70b2313

• Make extractVar still return an option

  karoliineh

  committed
  a4f419b

  Copy full SHA for a4f419b

• Iter twice instead of append

  karoliineh

  committed
  8bbd7b6

  Copy full SHA for 8bbd7b6