Code

Backwards reaching definitions#726

Code

Merged

hernanponcedeleon merged 21 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom backwards-reaching-definitionshernanponcedeleon/Dat3M:backwards-reaching-definitionsCopy head branch name to clipboardSep 21, 2024

+818-93

Commits

Commits on Sep 3, 2024

• Improved liveness detection for store exclusives (#722)

  ThomasHaas

  authored
  6326445

  Copy full SHA for 6326445

• Renamed Location to FinalMemoryValue. (#725)

  ThomasHaas

  authored
  5e10cda

  Copy full SHA for 5e10cda

Commits on Sep 4, 2024

• Add ReachingDefinitionsAnalysis

  xeren

  committed
  2d5695e

  Copy full SHA for 2d5695e

• Add BackwardsReachingDefinitionsAnalysis

  xeren

  committed
  27cee4f

  Copy full SHA for 27cee4f

• Replace Dependency with BackwardsReachingDefinitionsAnalysis

  xeren

  committed
  c12af07

  Copy full SHA for c12af07

• Replace UseDefAnalysis with BackwardsReachingDefinitionsAnalysis

  xeren

  committed
  ae5c2bc

  Copy full SHA for ae5c2bc

• Add AnalysisTest.reachingDefinitionSupportsLoops

  xeren

  committed
  38bd709

  Copy full SHA for 38bd709

• Suggested changes

  xeren

  committed
  494ebb7

  Copy full SHA for 494ebb7

Commits on Sep 5, 2024

• Add support to CAAT for SyncBar, SyncFence and Vloc relations (#724)

  ThomasHaas

  authored
  7887589

  Copy full SHA for 7887589

• Add unrolling bound to program spec encoding (#727)

  natgavrilenko

  authored
  1bd4bd0

  Copy full SHA for 1bd4bd0

• Merge branch 'development' into backwards-reaching-definitions

  xeren

  authored
  ecd5d7e

  Copy full SHA for ecd5d7e

Commits on Sep 6, 2024

• Add option to dump encoding to smtlib2 file (#721)

  hernanponcedeleon

  authored
  3e6f247

  Copy full SHA for 3e6f247

• Use correct smtlib2 syntax for push/pop (#728)

  Show description for 669e83a
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  669e83a

  Copy full SHA for 669e83a

Commits on Sep 9, 2024

• Add options to access previous implementations.

  xeren

  committed
  28bbd11

  Copy full SHA for 28bbd11

• Merge remote-tracking branch 'refs/remotes/origin/development' into backwards-reaching-definitions

  xeren

  committed
  78c0f90

  Copy full SHA for 78c0f90

Commits on Sep 10, 2024

• Refactor

  xeren

  committed
  c0d8a38

  Copy full SHA for c0d8a38

• Refactor

  xeren

  committed
  bf0c691

  Copy full SHA for bf0c691

Commits on Sep 20, 2024

• Merge remote-tracking branch 'refs/remotes/origin/development' into backwards-reaching-definitions

  Show description for fdcc9c2
  xeren

  committed
  fdcc9c2

  Copy full SHA for fdcc9c2

• fixup! Merge remote-tracking branch 'refs/remotes/origin/development' into backwards-reaching-definitions

  xeren

  committed
  0db0bb7

  Copy full SHA for 0db0bb7

• Remove option program.processing.loopBounds.useDefAnalysis

  Show description for b8f136f
  xeren

  committed
  b8f136f

  Copy full SHA for b8f136f

• Small reformat

  xeren

  committed
  e91f205

  Copy full SHA for e91f205