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

Options refactor for kontrol #416

Closed
wants to merge 19 commits into from
Closed

Options refactor for kontrol #416

wants to merge 19 commits into from

Commits on Oct 27, 2023

  1. Add escaping to sort_field

    @nwatson22
    nwatson22 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    453fc16 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Merge branch 'master' of https://github.com/runtimeverification/kontrol

    @nwatson22
    nwatson22 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    0e3ba2e View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Merge branch 'master' of https://github.com/runtimeverification/kontrol

    @nwatson22
    nwatson22 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    ab9216a View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Merge branch 'master' of https://github.com/runtimeverification/kontrol

    @nwatson22
    nwatson22 committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    0ec8865 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. Merge branch 'master' of https://github.com/runtimeverification/kontrol

    @nwatson22
    nwatson22 committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    ec3590e View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Merge branch 'master' of https://github.com/runtimeverification/kontrol

    @nwatson22
    nwatson22 committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    8997d5a View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Merge branch 'master' of https://github.com/runtimeverification/kontrol

    @nwatson22
    nwatson22 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    d4e6ac4 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Merge branch 'master' of https://github.com/runtimeverification/kontrol

    @nwatson22
    nwatson22 committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2461cfd View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Use new commands/arguments system

    @nwatson22
    nwatson22 committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    3bd8256 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. Use get_command()

    @nwatson22
    nwatson22 committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    3461269 View commit details
    Browse the repository at this point in the history

  2. Merge master into branch

    @nwatson22
    nwatson22 committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    ad9f3e0 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into noah/kontrol-default-options

    @nwatson22
    nwatson22 authored Mar 7, 2024
    Configuration menu
    Copy the full SHA
    6d6c114 View commit details
    Browse the repository at this point in the history

  4. Set Version: 0.1.188

    devops committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    f6a91ad View commit details
    Browse the repository at this point in the history

  5. Update poetry.lock

    @nwatson22
    nwatson22 committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    9a2cdc3 View commit details
    Browse the repository at this point in the history

  6. Update poetry.lock

    @nwatson22
    nwatson22 committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    04c32a0 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Merge master into branch

    @nwatson22
    nwatson22 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    943d496 View commit details
    Browse the repository at this point in the history

  2. Set Version: 0.1.195

    devops committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    3a5f77c View commit details
    Browse the repository at this point in the history

  3. Use default=None for boolean options

    @nwatson22
    nwatson22 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    fba2bf2 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'noah/kontrol-default-options' of https://github.com/run… 

    …timeverification/kontrol into noah/kontrol-default-options
    @nwatson22
    nwatson22 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    2c4afef View commit details
    Browse the repository at this point in the history