Code

Change the runtime behavior of then#1304

Code

Merged

konnov merged 10 commits intomaininformalsystems/quint:mainfrom igor/then594informalsystems/quint:igor/then594Copy head branch name to clipboardDec 13, 2023

+164-61

Commits

Commits on Dec 12, 2023

• fix the semantics of then

  konnov

  committed
  9025412

  Copy full SHA for 9025412

• update the docs

  konnov

  committed
  e9b82f5

  Copy full SHA for e9b82f5

• update changelog

  konnov

  committed
  9620dc8

  Copy full SHA for 9620dc8

• fix formatting

  konnov

  committed
  9e3ac8d

  Copy full SHA for 9e3ac8d

• improve comments

  konnov

  committed
  c78fdb2

  Copy full SHA for c78fdb2

• add detailed docs

  konnov

  committed
  6fabc85

  Copy full SHA for 6fabc85

• fix the throwing tests

  konnov

  committed
  a9c52c7

  Copy full SHA for a9c52c7

Commits on Dec 13, 2023

• Update quint/src/runtime/impl/compilerImpl.ts

  Show description for 36837d5
  

  konnov

  and

  Shon Feder

  authored
  36837d5

  Copy full SHA for 36837d5

• Merge branch 'main' into igor/then594

  konnov

  authored
  c323ce4

  Copy full SHA for c323ce4

• fix the broken test

  konnov

  committed
  9976095

  Copy full SHA for 9976095