Code

Fixing DeclarationSorter#777

Code

Merged

konnov merged 10 commits intounstableapalache-mc/apalache:unstablefrom igor/bug758apalache-mc/apalache:igor/bug758Copy head branch name to clipboardApr 28, 2021

+81-14

Commits

Commits on Apr 28, 2021

• better messages in the type checker

  konnov

  committed
  31273f9

  Copy full SHA for 31273f9

• closes #758: fixed missing edges in the dependency graph

  konnov

  committed
  3fcbfb8

  Copy full SHA for 3fcbfb8

• entry in unreleased

  konnov

  committed
  b8d4ed9

  Copy full SHA for b8d4ed9

• closes #645: fixed a false cycle that, caused by a parameter having the same name as an operator

  konnov

  committed
  b49f1d4

  Copy full SHA for b49f1d4

• entry in UNRELEASED

  konnov

  committed
  1e0ef3c

  Copy full SHA for 1e0ef3c

• Merge branch 'unstable' into igor/bug758

  konnov

  authored
  29ef8e5

  Copy full SHA for 29ef8e5

• Update tla-types/src/main/scala/at/forsyte/apalache/tla/typecheck/etc/EtcTypeChecker.scala

  Show description for 8a8d554
  

  konnov

  and

  Shon Feder

  authored
  8a8d554

  Copy full SHA for 8a8d554

• Update tla-types/src/main/scala/at/forsyte/apalache/tla/typecheck/etc/EtcTypeChecker.scala

  Show description for a8fea81
  

  konnov

  and

  Shon Feder

  authored
  a8fea81

  Copy full SHA for a8fea81

• Merge branch 'unstable' into igor/bug758

  konnov

  authored
  af8dbc7

  Copy full SHA for af8dbc7

• fixed the error message

  konnov

  committed
  2b70546

  Copy full SHA for 2b70546