Code

Add generate operator#1455

Code

Open

konnov wants to merge 14 commits intoinformalsystems:maininformalsystems/quint:mainfrom konnov:igor/add-genkonnov/quint:igor/add-genCopy head branch name to clipboard

+41-8

Commits

Commits on Jun 24, 2024

• add 'generate' similar to 'oneOf'

  konnov

  committed
  b859bf5

  Copy full SHA for b859bf5

Commits on Jun 26, 2024

• add a sample value to infer types

  konnov

  committed
  a7d5846

  Copy full SHA for a7d5846

Commits on Jun 27, 2024

• introduce the operator 'generate'

  konnov

  committed
  2f4fef2

  Copy full SHA for 2f4fef2

• use a sample value in generate

  konnov

  committed
  fb5eff9

  Copy full SHA for fb5eff9

• update changelog

  konnov

  committed
  b845f43

  Copy full SHA for b845f43

• add the PR number

  konnov

  committed
  ddf686e

  Copy full SHA for ddf686e

• update the examples dashboard

  konnov

  committed
  4df3ae5

  Copy full SHA for 4df3ae5

Commits on Jul 18, 2024

• Merge branch 'informalsystems:main' into igor/add-gen

  konnov

  authored
  4c83171

  Copy full SHA for 4c83171

Commits on Aug 22, 2024

• Merge branch 'main' into igor/add-gen

  konnov

  authored
  07585a0

  Copy full SHA for 07585a0

• bump apalache to 0.45.3

  konnov

  committed
  7ff56bc

  Copy full SHA for 7ff56bc

Commits on Sep 4, 2024

• Merge branch 'main' into igor/add-gen

  konnov

  committed
  935f164

  Copy full SHA for 935f164

Commits on Sep 25, 2024

• Merge branch 'main' into igor/add-gen

  konnov

  committed
  db2eaf8

  Copy full SHA for db2eaf8

Commits on Oct 2, 2024

• Merge branch 'main' into igor/add-gen

  konnov

  authored
  7eba972

  Copy full SHA for 7eba972

Commits on Oct 3, 2024

• Merge branch 'main' into igor/add-gen

  konnov

  authored
  2313909

  Copy full SHA for 2313909