Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add generate operator #1455

Open
wants to merge 14 commits into
base: main
Choose a base branch
from
Open

Add generate operator #1455

wants to merge 14 commits into from

Commits on Jun 24, 2024

  1. add 'generate' similar to 'oneOf'

    @konnov
    konnov committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    b859bf5 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. add a sample value to infer types

    @konnov
    konnov committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    a7d5846 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. introduce the operator 'generate'

    @konnov
    konnov committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    2f4fef2 View commit details
    Browse the repository at this point in the history

  2. use a sample value in generate

    @konnov
    konnov committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    fb5eff9 View commit details
    Browse the repository at this point in the history

  3. update changelog

    @konnov
    konnov committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    b845f43 View commit details
    Browse the repository at this point in the history

  4. add the PR number

    @konnov
    konnov committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    ddf686e View commit details
    Browse the repository at this point in the history

  5. update the examples dashboard

    @konnov
    konnov committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    4df3ae5 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

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

    @konnov
    konnov authored Jul 18, 2024
    Configuration menu
    Copy the full SHA
    4c83171 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. Merge branch 'main' into igor/add-gen

    @konnov
    konnov authored Aug 22, 2024
    Configuration menu
    Copy the full SHA
    07585a0 View commit details
    Browse the repository at this point in the history

  2. bump apalache to 0.45.3

    @konnov
    konnov committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    7ff56bc View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Merge branch 'main' into igor/add-gen

    @konnov
    konnov committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    935f164 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Merge branch 'main' into igor/add-gen

    @konnov
    konnov committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    db2eaf8 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Merge branch 'main' into igor/add-gen

    @konnov
    konnov authored Oct 2, 2024
    Configuration menu
    Copy the full SHA
    7eba972 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Merge branch 'main' into igor/add-gen

    @konnov
    konnov authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    2313909 View commit details
    Browse the repository at this point in the history