Code

Introduce stdlib.cat#751

Code

Merged

hernanponcedeleon merged 4 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom

stdlibhernanponcedeleon/Dat3M:stdlibCopy head branch name to clipboard

Oct 10, 2024

Commits

Commits on Oct 10, 2024

• Introduce stdlib.cat

  Show description for a4d1226
  

  hernan-poncedeleon

  authored and

  hernanponcedeleon

  committed
  a4d1226

  Copy full SHA for a4d1226

• Extract method from including stdlib

  Show description for baea6af
  hernan-poncedeleon

  committed
  baea6af

  Copy full SHA for baea6af

• Update vmm to version 0.9.3 and properly define po-loc

  Show description for e296e48
  hernan-poncedeleon

  committed
  e296e48

  Copy full SHA for e296e48

• po-loc included in stdlib.cat (and contrary to rfe, fre, ..., no need to redefine)

  Show description for 94d4c39
  hernan-poncedeleon

  committed
  94d4c39

  Copy full SHA for 94d4c39