Code

Toposort on modules#1268

Code

Merged

konnov merged 15 commits intomaininformalsystems/quint:mainfrom igor/sort-modules1009informalsystems/quint:igor/sort-modules1009Copy head branch name to clipboardNov 27, 2023

+126-36

Commits

Commits on Nov 23, 2023

• fix one unit test

  konnov

  committed
  a348ed6

  Copy full SHA for a348ed6

• fix the wrapper test

  konnov

  committed
  d749e91

  Copy full SHA for d749e91

Commits on Nov 24, 2023

• sorting the modules new way

  konnov

  committed
  8c8579b

  Copy full SHA for 8c8579b

• fix the tests

  konnov

  committed
  b97efe3

  Copy full SHA for b97efe3

• add a regression test

  konnov

  committed
  854c42f

  Copy full SHA for 854c42f

• update changelog

  konnov

  committed
  54c862d

  Copy full SHA for 54c862d

• Merge branch 'main' into igor/sort-modules1009

  konnov

  authored
  8bf72c5

  Copy full SHA for 8bf72c5

• fix formatting

  konnov

  committed
  3227297

  Copy full SHA for 3227297

Commits on Nov 27, 2023

• Update quint/src/parsing/quintParserFrontend.ts

  Show description for fbf7590
  

  konnov

  and

  bugarela

  authored
  fbf7590

  Copy full SHA for fbf7590

• refactor duplicate detection

  konnov

  committed
  5c32df0

  Copy full SHA for 5c32df0

• Merge branch 'main' into igor/sort-modules1009

  konnov

  authored
  65732d7

  Copy full SHA for 65732d7

• fix formatting

  konnov

  committed
  10547ba

  Copy full SHA for 10547ba

• use name map

  konnov

  committed
  e6165d9

  Copy full SHA for e6165d9

• remove exports from the module ordering

  konnov

  committed
  f8280e2

  Copy full SHA for f8280e2

• linting

  konnov

  committed
  acff7f9

  Copy full SHA for acff7f9