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 script to automate build & running kani #78

Merged
merged 31 commits into from
Oct 23, 2024
Merged

Add script to automate build & running kani #78

merged 31 commits into from
Oct 23, 2024

Commits on Sep 6, 2024

  1. Add command to run Kani from the root and from CI w/ cache

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    78b3c28 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/model-checking/verify-rust-std 

     into add-script-to-automate-build
    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    60725a0 View commit details
    Browse the repository at this point in the history

  3. Remove log and error_exit

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    3c83c5c View commit details
    Browse the repository at this point in the history

  4. Update CI

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    614af49 View commit details
    Browse the repository at this point in the history

  5. Change output-format to terse

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    9ba9aae View commit details
    Browse the repository at this point in the history

  6. Remove version number from toml

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

  7. Add dependency installation based on the os

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    70f9d40 View commit details
    Browse the repository at this point in the history

  8. Modify trigger for kani.yml

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

  9. Add CI workflow to test entrypoint script

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    882a065 View commit details
    Browse the repository at this point in the history

  10. Add --path to kani.yml check

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

  11. Rename check name

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    329ef6a View commit details
    Browse the repository at this point in the history

  12. Fix workflow names

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

  13. Fix step for without -p

    @jaisnan
    jaisnan committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    739d898 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. Remove entry point workflow and move kani script

    @jaisnan
    jaisnan committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    0ddbd8f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/model-checking/verify-rust-std 

     into add-script-to-automate-build
    @jaisnan
    jaisnan committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    b9a8c08 View commit details
    Browse the repository at this point in the history

  3. Add comments

    @jaisnan
    jaisnan committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    c18d6d5 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Michael Tautschnig <mt@debian.org>
    @jaisnan @tautschnig
    jaisnan and tautschnig authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    98f213c View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Merge branch 'main' of https://github.com/model-checking/verify-rust-std 

     into simplify-ux
    @jaisnan
    jaisnan committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    200fe46 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. Address PR comments

    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    5c06ed5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into add-script-to-automate-build

    @jaisnan
    jaisnan authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    5dfe0b9 View commit details
    Browse the repository at this point in the history

  3. Fix Kani script and CI path

    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    4ceae2e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'add-script-to-automate-build' of https://github.com/jai… 

    …snan/rust-dev into add-script-to-automate-build
    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    de85fdd View commit details
    Browse the repository at this point in the history

  5. Removed cargo.lock from PR

    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    12e4f44 View commit details
    Browse the repository at this point in the history

  6. Remove cargo.lock from PR entirely

    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    0943f8f View commit details
    Browse the repository at this point in the history

  7. Address PR comments

    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    b2f84d7 View commit details
    Browse the repository at this point in the history

  8. Fix build jobs names

    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    525ba7e View commit details
    Browse the repository at this point in the history

  9. Rename steps

    @jaisnan
    jaisnan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    56845d9 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into add-script-to-automate-build

    @jaisnan
    jaisnan authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    e2bdb06 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Merge branch 'main' into add-script-to-automate-build

    @jaisnan
    jaisnan authored Oct 23, 2024
    Configuration menu
    Copy the full SHA
    54f5562 View commit details
    Browse the repository at this point in the history

  2. Update branch commit ID and add git submodule update in case of local… 

    … copies not doing it.
    @jaisnan
    jaisnan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    d348149 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'add-script-to-automate-build' of https://github.com/jai… 

    …snan/rust-dev into add-script-to-automate-build
    @jaisnan
    jaisnan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    7ec00a3 View commit details
    Browse the repository at this point in the history