Code

Translate Quint generate#2916

Code

Merged

konnov merged 7 commits intoapalache-mc:mainapalache-mc/apalache:mainfrom konnov:igor/quint-generatekonnov/apalache:igor/quint-generateCopy head branch name to clipboardAug 14, 2024

+43-3

Commits

Commits on Jun 26, 2024

• Translate Quint generate to Apalache!Gen

  konnov

  committed
  f6a04b8

  Copy full SHA for f6a04b8

• fix the signature

  konnov

  committed
  fee926c

  Copy full SHA for fee926c

Commits on Jun 27, 2024

• properly translate Quint's generate

  konnov

  committed
  7351a7e

  Copy full SHA for 7351a7e

• add release notes

  konnov

  committed
  74080d8

  Copy full SHA for 74080d8

• fix formatting

  konnov

  committed
  5b5f6af

  Copy full SHA for 5b5f6af

Commits on Aug 13, 2024

• Merge branch 'main' into igor/quint-generate

  konnov

  authored
  1988ae0

  Copy full SHA for 1988ae0

Commits on Aug 14, 2024

• Merge branch 'main' into igor/quint-generate

  konnov

  authored
  4e48675

  Copy full SHA for 4e48675