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

Model-based test driver for LightClient #550

Merged
merged 15 commits into from
Sep 11, 2020
Merged

Model-based test driver for LightClient #550

merged 15 commits into from
Sep 11, 2020

Commits on Sep 2, 2020

  1. #414: testgen tester -- utilities to run multiple tests with logs and… 

    … reports
    @andrey-kuprianov
    andrey-kuprianov committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    3dcb316 View commit details
    Browse the repository at this point in the history

  2. 14: add testgen commands, in particular to call apalache and jsonatr

    @andrey-kuprianov
    andrey-kuprianov committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    b5853ca View commit details
    Browse the repository at this point in the history

  3. #414: add model-based test driver to LightClient tests

    @andrey-kuprianov
    andrey-kuprianov committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    d9167e1 View commit details
    Browse the repository at this point in the history

  4. add talk abstract

    @andrey-kuprianov
    andrey-kuprianov committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    e03c10f View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2020

  1. #547 add missing file updates from #529

    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    29807a4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into andrey/mbt-testgen-tester

    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    969ec0d View commit details
    Browse the repository at this point in the history

  3. fix merge typo

    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    f95a8c9 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'andrey/mbt-testgen-tester' into andrey/mbt-testgen-comm… 

    …andds
    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    d75346a View commit details
    Browse the repository at this point in the history

  5. remove ref to time: it's in another PR

    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    9d4531a View commit details
    Browse the repository at this point in the history

  6. fix clippy warning

    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    4df1e28 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'andrey/mbt-testgen-tester' into andrey/mbt-lightclient

    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    92d9ee2 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'andrey/mbt-testgen-commandds' into andrey/mbt-lightclient

    @andrey-kuprianov
    andrey-kuprianov committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    8ba1f43 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2020

  1. Merge branch 'master' into andrey/mbt-lightclient

    @andrey-kuprianov
    andrey-kuprianov committed Sep 11, 2020
    Configuration menu
    Copy the full SHA
    6555b44 View commit details
    Browse the repository at this point in the history

  2. fix merging typo

    @andrey-kuprianov
    andrey-kuprianov committed Sep 11, 2020
    Configuration menu
    Copy the full SHA
    f032a20 View commit details
    Browse the repository at this point in the history

  3. cargo fmt

    @andrey-kuprianov
    andrey-kuprianov committed Sep 11, 2020
    Configuration menu
    Copy the full SHA
    6af3bd0 View commit details
    Browse the repository at this point in the history