Code

Reads without init events#624

Code

Merged

hernanponcedeleon merged 21 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom uninitReadshernanponcedeleon/Dat3M:uninitReadsCopy head branch name to clipboardMar 9, 2024

+597-226

Commits

Commits on Feb 23, 2024

• Added initial version of uninit reads (does not work for CAAT yet)

  ThomasHaas

  committed
  b7a1583

  Copy full SHA for b7a1583

• Fixed issues and added CAAT support for new uninit read relation

  ThomasHaas

  committed
  9659ad3

  Copy full SHA for 9659ad3

• Updated MemoryAllocation to not create init events for dynamic allocations

  ThomasHaas

  committed
  59e830a

  Copy full SHA for 59e830a

• DRAFT COMMIT:

  Show description for 3115f3b
  ThomasHaas

  committed
  3115f3b

  Copy full SHA for 3115f3b

Commits on Feb 24, 2024

• DRAFT COMMIT:

  Show description for eca51b5
  ThomasHaas

  committed
  eca51b5

  Copy full SHA for eca51b5

Commits on Mar 1, 2024

• Reverted CAT model changes

  ThomasHaas

  committed
  00387d2

  Copy full SHA for 00387d2

• Merge branch 'development' into uninitReads

  Show description for 02a4657
  ThomasHaas

  committed
  02a4657

  Copy full SHA for 02a4657

• Moved init read axiom instrumentation into Wmm processor pass.

  ThomasHaas

  committed
  dc359dc

  Copy full SHA for dc359dc

• Reverted some changes that were temporary fixes.

  ThomasHaas

  committed
  a689ac6

  Copy full SHA for a689ac6

Commits on Mar 2, 2024

• - Added new options to zero-out memory and to create init events for dynamic allocations (both are enabled by default)

  Show description for 20ade00
  ThomasHaas

  committed
  20ade00

  Copy full SHA for 20ade00

Commits on Mar 3, 2024

• Merge branch 'development' into uninitReads

  ThomasHaas

  authored
  8379814

  Copy full SHA for 8379814

Commits on Mar 6, 2024

• Updated C11 to be (more) compatible with the lack of init events.

  ThomasHaas

  committed
  071212e

  Copy full SHA for 071212e

• - Generalized MemoryObject.initialValues to work for both statically and dynamically allocated objects.

  Show description for e0dfd05
  ThomasHaas

  committed
  e0dfd05

  Copy full SHA for e0dfd05

• Merge branch 'development' into uninitReads

  ThomasHaas

  committed
  dc42dd6

  Copy full SHA for dc42dd6

Commits on Mar 8, 2024

• - Added back original C11 model as "c11-orig.cat"

  Show description for c2b5a6f
  ThomasHaas

  committed
  c2b5a6f

  Copy full SHA for c2b5a6f

• - Added C11OrigLocksTest / C11OrigLFDSTest for the original C11 model

  Show description for efd5a03
  ThomasHaas

  committed
  efd5a03

  Copy full SHA for efd5a03

• Enabled CAAT/Refinement for all C11 tests

  ThomasHaas

  committed
  19a4e65

  Copy full SHA for 19a4e65

• Fixed accidentally introduced bug in unit tests

  ThomasHaas

  committed
  026522d

  Copy full SHA for 026522d

Commits on Mar 9, 2024

• Cleaned up C11Orig Tests

  ThomasHaas

  committed
  2d27d9d

  Copy full SHA for 2d27d9d

• Replaced special UR base relation by derived relation ([R] \ [range(rf)])

  ThomasHaas

  committed
  3a576b2

  Copy full SHA for 3a576b2

• - Cleanup

  Show description for 3f7bf8b
  ThomasHaas

  committed
  3f7bf8b

  Copy full SHA for 3f7bf8b