Code

Change tuple structure#1514

Code

Closed

MahtabNorouzi wants to merge 21 commits intomaininformalsystems/quint:mainfrom change-tuple-structureinformalsystems/quint:change-tuple-structureCopy head branch name to clipboard

+5,051-2,143

Commits

Commits on Sep 23, 2024

• modify ir

  MahtabNorouzi

  committed
  0bdd36c

• modify types

  MahtabNorouzi

  committed
  d286900

• modify static

  MahtabNorouzi

  committed
  aaa84a6

• modify parsing

  MahtabNorouzi

  committed
  338892c

• modify names

  MahtabNorouzi

  committed
  debd71d

• modify graphics

  MahtabNorouzi

  committed
  5645a4f

• modify itf

  MahtabNorouzi

  committed
  83cca82

• modify impl

  MahtabNorouzi

  committed
  86d0457

• modify effects

  MahtabNorouzi

  committed
  d16a162

• modify impl

  MahtabNorouzi

  committed
  865df1d

• modify names

  MahtabNorouzi

  committed
  43c9cc0

Commits on Sep 24, 2024

• fix not finding id for tuple

  MahtabNorouzi

  committed
  153e40e

• spreads/pairs fix

  MahtabNorouzi

  committed
  ddac289

• fix exitRecord

  MahtabNorouzi

  committed
  a4292fd

• exitRecord fixed

  MahtabNorouzi

  committed
  32d02fc

• SuperSpec updated

  MahtabNorouzi

  committed
  24c52ef

• format fixed

  MahtabNorouzi

  committed
  f5362f8

Commits on Sep 26, 2024

• npm test errors fixed

  MahtabNorouzi

  committed
  a80ba97

• npm test errors fixed

  MahtabNorouzi

  committed
  14957bb

Commits on Sep 27, 2024

• errors fixed

  MahtabNorouzi

  committed
  32da233

• Update apalache.ts

  MahtabNorouzi

  authored
  5bc17b0