Code

Cleanup VisitorXML#598

Code

Merged

hernanponcedeleon merged 2 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom witness-parserhernanponcedeleon/Dat3M:witness-parserCopy head branch name to clipboardJan 3, 2024

+47-52

Commits

Commits on Jan 2, 2024

• Cleanup VisitorXML

  Show description for 016e437
  hernan-poncedeleon

  committed
  016e437

  Copy full SHA for 016e437

Commits on Jan 3, 2024

• Refactor/Cleanup

  ThomasHaas

  committed
  3581ec5

  Copy full SHA for 3581ec5