Code

Check assumptions during simulation#1487

Code

Draft

romac wants to merge 2 commits intomaininformalsystems/quint:mainfrom romac/eval-assumeinformalsystems/quint:romac/eval-assumeCopy head branch name to clipboard

+24

Commits

Commits on Aug 23, 2024

• Check assumptions during simulation

  romac

  committed
  e68a357

  Copy full SHA for e68a357

Commits on Aug 28, 2024

• Merge branch 'main' into romac/eval-assume

  romac

  authored
  1885b9e

  Copy full SHA for 1885b9e