Code

Fix handling of empty type#776

Code

Merged

hernanponcedeleon merged 4 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom fixAlignmentOfEmptyTypehernanponcedeleon/Dat3M:fixAlignmentOfEmptyTypeCopy head branch name to clipboardNov 11, 2024

+29-12

Commits

Commits on Nov 9, 2024

• Disable RegisterDecomposition (hopefully subsumed by SCCP).

  ThomasHaas

  committed
  360c094

  Copy full SHA for 360c094

Commits on Nov 10, 2024

• Allow 0-sized members in TypeFactory.getAggregateType

  Show description for c385a45
  ThomasHaas

  committed
  c385a45

  Copy full SHA for c385a45

• Fixed wrong parameter causing endless recursion.

  ThomasHaas

  committed
  ea0478a

  Copy full SHA for ea0478a

Commits on Nov 11, 2024

• Add unit tests for empty struct type

  ThomasHaas

  committed
  ba9aea0

  Copy full SHA for ba9aea0