Code

QuintError everywhere#1211

Code

Merged

bugarela merged 12 commits intomaininformalsystems/quint:mainfrom gabriela/quint-error-standardinformalsystems/quint:gabriela/quint-error-standardCopy head branch name to clipboardOct 10, 2023

+440-381

Commits

Commits on Oct 6, 2023

• Start transition to QuintError as standard

  bugarela

  committed
  844c583

  Copy full SHA for 844c583

Commits on Oct 9, 2023

• Use QuintError everywhere before cli layer

  bugarela

  committed
  b14458d

  Copy full SHA for b14458d

• Update fixtures

  bugarela

  committed
  6ff1a0b

  Copy full SHA for 6ff1a0b

• Update integration tests

  bugarela

  committed
  7108cca

  Copy full SHA for 7108cca

• Update language server with new interfaces

  bugarela

  committed
  2340955

  Copy full SHA for 2340955

• Fix replace code action rule

  bugarela

  committed
  a09ad91

  Copy full SHA for a09ad91

• Update unit tests

  bugarela

  committed
  39fb765

  Copy full SHA for 39fb765

• Revert verifier changes

  bugarela

  committed
  efbc6e7

  Copy full SHA for efbc6e7

Commits on Oct 10, 2023

• Update quint/src/parsing/parseErrors.ts

  Show description for ca9fa97
  

  bugarela

  and

  konnov

  authored
  ca9fa97

  Copy full SHA for ca9fa97

• Rename usages of lowercaseTypeError

  bugarela

  committed
  08ade65

  Copy full SHA for 08ade65

• Merge branch 'main' into gabriela/quint-error-standard

  bugarela

  authored
  194ee66

  Copy full SHA for 194ee66

• Fix import order

  bugarela

  committed
  86bbc9a

  Copy full SHA for 86bbc9a