Code

Array unrolling abstract domain#577

Code

Merged

michael-schwarz merged 25 commits intogoblint:mastergoblint/analyzer:masterfrom mikcp:unrolling_abstract_domainmikcp/analyzer:unrolling_abstract_domainCopy head branch name to clipboardMar 11, 2022

+428-152

Commits

Commits on Jan 23, 2022

• Array Domain with k unrolled values implemented

  mikcp

  committed
  773240f

Commits on Jan 24, 2022

• fails if unroll domain is used but no factor is set

  mikcp

  committed
  e9467a2

• Merge branch 'master' into unrolling_abstract_domain

  mikcp

  committed
  4d3d6cf

• Renaming on Lattice.ml

  mikcp

  committed
  db2e9e7

• basic tests for unrolling domain

  mikcp

  committed
  c7d655d

Commits on Jan 25, 2022

• decide domain with flag now

  mikcp

  committed
  76df1d5

Commits on Jan 27, 2022

• unroll array domain will be initialized to top instead of bot

  mikcp

  committed
  adda536

• exp.arrays-domain is used to choose array domains, instead of ana.base.partition-arrays.enabled

  mikcp

  committed
  242428e

• Merge branch 'master' into unrolling_abstract_domain

  mikcp

  committed
  a2354da

• unroll array tests added

  mikcp

  committed
  0f8fe50

• fix on test 54-unroll_arrays/01-simple_array.c

  mikcp

  committed
  0bf1ef4

Commits on Jan 28, 2022

• Simplify is_bot and is_top

  mikcp

  committed
  cddbe1a

• unused code removed

  mikcp

  committed
  9017332

• using BatList.make instead of intermediate array

  mikcp

  committed
  68a4ea3

• removing previous change which BenchExec does not support

  mikcp

  committed
  d0f99ff

• Add on both tests on regression/54-unroll_array

  mikcp

  committed
  1ad6695

• accepted values for array domains specified on the schema

  mikcp

  committed
  d7fed6d

• reverting of previous fixed undone

  mikcp

  committed
  7f5529c

• array-domain and array-unrolling factor flags moved under ana.base. All references fixed

  mikcp

  committed
  ec075af

• Simplify make on unroll array domain

  mikcp

  committed
  bebf563

Commits on Jan 31, 2022

• Not supported return value fixed

  mikcp

  committed
  0522ddb

• More appropiate names given to operation functions

  mikcp

  committed
  3c946da

• UnrollWithLength variant added

  mikcp

  committed
  3ff05ea

• Typo fixed

  mikcp

  committed
  750e88c

Commits on Feb 1, 2022

• quick fix for right part of array. Test also fixed

  mikcp

  committed
  d8d16b6