Code

Free relations in CAT#627

Code

Merged

hernanponcedeleon merged 7 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom freeRelationshernanponcedeleon/Dat3M:freeRelationsCopy head branch name to clipboardFeb 28, 2024

+130-86

Commits

Commits on Feb 26, 2024

• - Add "free" relations to CAT

  ThomasHaas

  committed
  4e00737

  Copy full SHA for 4e00737

• - Add missing Free.java class

  ThomasHaas

  committed
  7fba4f6

  Copy full SHA for 7fba4f6

Commits on Feb 27, 2024

• Changed cat syntax to define new/free relations from "free()" to "new()".

  ThomasHaas

  committed
  d3dafeb

  Copy full SHA for d3dafeb

Commits on Feb 28, 2024

• - Centralized handling of the "enableMustSets" option.

  Show description for a45e4b8
  ThomasHaas

  committed
  a45e4b8

  Copy full SHA for a45e4b8

• Merge branch 'development' into freeRelations

  ThomasHaas

  committed
  8dd6993

  Copy full SHA for 8dd6993

• Added handling of Free relations to relation merging.

  ThomasHaas

  committed
  74cf4ef

  Copy full SHA for 74cf4ef

• Updated EmptyEventGraphTest

  ThomasHaas

  committed
  9646fac

  Copy full SHA for 9646fac