Code

add source tracking in VCGenerator#3010

Code

Merged

konnov merged 4 commits intomainapalache-mc/apalache:mainfrom igor/vcgen-sourceapalache-mc/apalache:igor/vcgen-sourceCopy head branch name to clipboardOct 8, 2024

+8-1

Commits

Commits on Sep 30, 2024

• add source tracking in VCGenerator

  konnov

  committed
  05e516f

  Copy full SHA for 05e516f

• add release notes

  konnov

  committed
  35b826b

  Copy full SHA for 35b826b

Commits on Oct 4, 2024

• Merge branch 'main' into igor/vcgen-source

  konnov

  authored
  51c423a

  Copy full SHA for 51c423a

• Merge branch 'main' into igor/vcgen-source

  konnov

  authored
  938b5c8

  Copy full SHA for 938b5c8