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

Decouple kani version from kani-github-action version #45

Merged
merged 32 commits into from
Sep 27, 2023
Merged

Decouple kani version from kani-github-action version #45

merged 32 commits into from
Sep 27, 2023

Commits on Sep 6, 2023

  1. Decouple kani version from kani-github-action version

    @jaisnan
    jaisnan committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    1fe9f74 View commit details
    Browse the repository at this point in the history

  2. Remove leftover echo

    @jaisnan
    jaisnan committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    13ad53c View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. Merge 'main'

    @jaisnan
    jaisnan committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    bff8a97 View commit details
    Browse the repository at this point in the history

  2. add test for kani-version parameter

    @jaisnan
    jaisnan committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    34a34e9 View commit details
    Browse the repository at this point in the history

  3. Swap run order to let latest version of kani run on subsequent CI jobs

    @jaisnan
    jaisnan committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    83d31b0 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Add parameters to readme

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    f025fdf View commit details
    Browse the repository at this point in the history

  2. Add tests to check for invalid versions

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    da35c83 View commit details
    Browse the repository at this point in the history

  3. Verify version number of Kani installed

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    a89f30c View commit details
    Browse the repository at this point in the history

  4. Fix readme

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    fbe9753 View commit details
    Browse the repository at this point in the history

  5. Update readme

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    561ecd2 View commit details
    Browse the repository at this point in the history

  6. Update invalid version

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    60aafda View commit details
    Browse the repository at this point in the history

  7. Fix test string

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    e68809b View commit details
    Browse the repository at this point in the history

  8. Update message

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    91bd80d View commit details
    Browse the repository at this point in the history

  9. Fix variable name

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    94b8a46 View commit details
    Browse the repository at this point in the history

  10. Fix error message parsing

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    a3d3f07 View commit details
    Browse the repository at this point in the history

  11. Check against stderr

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    72396bb View commit details
    Browse the repository at this point in the history

  12. Use ids

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    60d2021 View commit details
    Browse the repository at this point in the history

  13. try with stdout

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    a58b4d4 View commit details
    Browse the repository at this point in the history

  14. debug steps

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    40e2e0a View commit details
    Browse the repository at this point in the history

  15. Store output in github env

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    efd219b View commit details
    Browse the repository at this point in the history

  16. Add output

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    205f9d3 View commit details
    Browse the repository at this point in the history

  17. Add debug info

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    f785b2b View commit details
    Browse the repository at this point in the history

  18. Add echo for output

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    400ff98 View commit details
    Browse the repository at this point in the history

  19. remove whitespace

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    a759f7f View commit details
    Browse the repository at this point in the history

  20. Remove broken test

    @jaisnan
    jaisnan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    2e7e278 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2023

  1. Update with CI tests

    @jaisnan
    jaisnan committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    13f0f5f View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2023

  1. Update readme with examples

    @jaisnan
    jaisnan committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    3e3a589 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/model-checking/kani-github-… 

    …action into use-kani-latest-by-default
    @jaisnan
    jaisnan committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    b212289 View commit details
    Browse the repository at this point in the history

  3. remove second run

    @jaisnan
    jaisnan committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    9232379 View commit details
    Browse the repository at this point in the history

  4. Update readme

    @jaisnan
    jaisnan committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    fab837c View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Update readme

    @jaisnan
    jaisnan committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    f3955ff View commit details
    Browse the repository at this point in the history

  2. Update with proptest link

    @jaisnan
    jaisnan committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    68f536a View commit details
    Browse the repository at this point in the history