Code

Refactor assert orders#699

Code

Merged

schuessf merged 39 commits intodevultimate-pa/ultimate:devfrom wip/fs/assert-ordersultimate-pa/ultimate:wip/fs/assert-ordersCopy head branch name to clipboardDec 17, 2024

+839-705

Commits

Commits on Dec 2, 2024

• CC fixes

  schuessf

  committed
  9065486

  Copy full SHA for 9065486

• Remove unused parameter

  schuessf

  committed
  727a64a

  Copy full SHA for 727a64a

• Simplify method using streams

  schuessf

  committed
  8e58a7e

  Copy full SHA for 8e58a7e

• Add parameter to improve modularity

  schuessf

  committed
  3aab098

  Copy full SHA for 3aab098

• Move depth calculation into assert orders that use it

  schuessf

  committed
  53e5768

  Copy full SHA for 53e5768

• Start to split partition and assert

  schuessf

  committed
  f7b004c

  Copy full SHA for f7b004c

• Splitting continued

  schuessf

  committed
  7ba25c4

  Copy full SHA for 7ba25c4

• Extract methods into classes

  schuessf

  committed
  90bf379

  Copy full SHA for 90bf379

• Remove unnecessary parameter

  schuessf

  committed
  e9af4ce

  Copy full SHA for e9af4ce

• Add missing type bounds

  schuessf

  committed
  4dd34af

  Copy full SHA for 4dd34af

• Move comments to the correct classes

  schuessf

  committed
  85e8a37

  Copy full SHA for 85e8a37

• Minor

  schuessf

  committed
  8e5a735

  Copy full SHA for 8e5a735

• Add return value to methods, minor changes

  schuessf

  committed
  5efcc66

  Copy full SHA for 5efcc66

• Remove argument that is always false

  schuessf

  committed
  b8a3313

  Copy full SHA for b8a3313

• Inline method

  schuessf

  committed
  dc48c01

  Copy full SHA for dc48c01

• Move assert orders to own package

  schuessf

  committed
  5610569

  Copy full SHA for 5610569

• Use interface and utils-class instead of abstract class

  schuessf

  committed
  6642307

  Copy full SHA for 6642307

• Add AssertOrderNotIncrementally

  schuessf

  committed
  0f21172

  Copy full SHA for 0f21172

• Merge AnnotateAndAsserter and AnnotateAndAsserterWithStmtOrderPrioritization

  schuessf

  committed
  bea0825

  Copy full SHA for bea0825

• Add missing license headers to new Java source files

  bahnwaerter

  committed
  8cac2d0

  Copy full SHA for 8cac2d0

• Add missing authors to documentation comments

  bahnwaerter

  committed
  9a91a70

  Copy full SHA for 9a91a70

Commits on Dec 3, 2024

• Bugfix: Require control configurations only for assert orders that use it

  schuessf

  committed
  e44f6b8

  Copy full SHA for e44f6b8

• Pass SSA, get control configurations only if necessary

  schuessf

  committed
  5a09a5d

  Copy full SHA for 5a09a5d

• Fix header and authors

  schuessf

  committed
  b7268a5

  Copy full SHA for b7268a5

• Call buildAnnotatedSsaAndAssertTerms in constructor to avoid check for multiple calls

  schuessf

  committed
  687ba18

  Copy full SHA for 687ba18

• Fix author and date

  schuessf

  committed
  30820df

  Copy full SHA for 30820df

• Add some documentation

  schuessf

  committed
  7780a46

  Copy full SHA for 7780a46

• Rename method (SSA is passed, not trace)

  schuessf

  committed
  32f2085

  Copy full SHA for 32f2085

• Inline method

  schuessf

  committed
  6d6a75e

  Copy full SHA for 6d6a75e

• Fix documentation

  schuessf

  committed
  c26ff64

  Copy full SHA for c26ff64

• Minor

  schuessf

  committed
  6637dd2

  Copy full SHA for 6637dd2

• Add some comments for assert orders (partially lost during migration)

  schuessf

  committed
  076ee45

  Copy full SHA for 076ee45

• Remove unnecessary null check

  Show description for eea4df4
  schuessf

  committed
  eea4df4

  Copy full SHA for eea4df4

• Clarify variable names

  schuessf

  committed
  e7ced36

  Copy full SHA for e7ced36

• Extract variable

  schuessf

  committed
  4295f67

  Copy full SHA for 4295f67

• Remove type parameter: control configurations are always List<Object>

  schuessf

  committed
  2db89ad

  Copy full SHA for 2db89ad

Commits on Dec 5, 2024

• Pass Counterexample instead of SSA to IAssertOrder

  schuessf

  committed
  d48f178

  Copy full SHA for d48f178

Commits on Dec 17, 2024

• Update documentation

  schuessf

  committed
  befe194

  Copy full SHA for befe194

• Minor

  schuessf

  committed
  f8bb040

  Copy full SHA for f8bb040