Code

Quint -> TLA+ transpilation fixes#3041

Code

Merged

bugarela merged 10 commits intomainapalache-mc/apalache:mainfrom gabriela/quint-to-tla-improvementsapalache-mc/apalache:gabriela/quint-to-tla-improvementsCopy head branch name to clipboardDec 4, 2024

+62-20

Commits

Commits on Nov 29, 2024

• Change unit type representation for compatibility with TLC

  bugarela

  committed
  b6d8824

  Copy full SHA for b6d8824

• Apply {} instead of [] to the default eliminator

  bugarela

  committed
  6f61e23

  Copy full SHA for 6f61e23

• Remove case that resulted in incorrect printing of map[<<1>>] when <<1>> is a list

  bugarela

  committed
  65686e1

  Copy full SHA for 65686e1

• Prevent LET..IN to be printed as an operator argument

  bugarela

  committed
  8056710

  Copy full SHA for 8056710

• Update existing tests

  bugarela

  committed
  cb5ee57

  Copy full SHA for cb5ee57

• Add test for LET-IN extraction

  bugarela

  committed
  bb746fc

  Copy full SHA for bb746fc

• Fix formatting

  bugarela

  committed
  ce5e61e

  Copy full SHA for ce5e61e

• Add CHANGELOG entry

  bugarela

  committed
  f28e16e

  Copy full SHA for f28e16e

• Merge branch 'main' into gabriela/quint-to-tla-improvements

  bugarela

  authored
  7b4e7db

  Copy full SHA for 7b4e7db

Commits on Dec 2, 2024

• Merge branch 'main' into gabriela/quint-to-tla-improvements

  konnov

  authored
  9598c3e

  Copy full SHA for 9598c3e