Code

Refactor traces in the compiler#1429

Code

Merged

bugarela merged 8 commits intomaininformalsystems/quint:mainfrom gabriela/refactor-tracesinformalsystems/quint:gabriela/refactor-tracesCopy head branch name to clipboardApr 25, 2024

+75-96

Commits

Commits on Apr 16, 2024

• Keep traces in an object instead of a shadow var

  Show description for 0a83e68
  bugarela

  committed
  0a83e68

  Copy full SHA for 0a83e68

Commits on Apr 24, 2024

• Go back to "delegated" attributes from evaluation state

  bugarela

  committed
  453fa18

  Copy full SHA for 453fa18

• Add builtin signatures for q::lastTrace

  bugarela

  committed
  54787b9

  Copy full SHA for 54787b9

• Remove unecessary spread

  bugarela

  committed
  c7beef5

  Copy full SHA for c7beef5

• Add doc header

  bugarela

  committed
  24114db

  Copy full SHA for 24114db

• Remove debugging comment

  bugarela

  committed
  43b8f6c

  Copy full SHA for 43b8f6c

Commits on Apr 25, 2024

• Use different action to setup jq in CI

  bugarela

  committed
  ffe3020

  Copy full SHA for ffe3020

• Use another jq setup action that should work on all platforms

  bugarela

  committed
  a384209

  Copy full SHA for a384209