Code

Hotfix for high memory usage#1465

Code

Merged

bugarela merged 4 commits intomaininformalsystems/quint:mainfrom gabriela/fix-memory-issueinformalsystems/quint:gabriela/fix-memory-issueCopy head branch name to clipboardJul 26, 2024

+29-23

Commits

Commits on Jul 24, 2024

• Store only the requested amount of traces

  bugarela

  committed
  fd48556

  Copy full SHA for fd48556

• Add CHANGELOG entry

  bugarela

  committed
  9a63dde

  Copy full SHA for 9a63dde

• Remove unused import

  bugarela

  committed
  4fecf3f

  Copy full SHA for 4fecf3f

Commits on Jul 26, 2024

• Merge branch 'main' into gabriela/fix-memory-issue

  bugarela

  authored
  8b787a9

  Copy full SHA for 8b787a9