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

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

Show file tree
Hide file tree
Changes from 17 commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
78b3c28
Add command to run Kani from the root and from CI w/ cache
jaisnan Aug 28, 2024
60725a0
Merge branch 'main' of https://github.com/model-checking/verify-rust-…
jaisnan Sep 6, 2024
3c83c5c
Remove log and error_exit
jaisnan Sep 6, 2024
614af49
Update CI
jaisnan Sep 6, 2024
9ba9aae
Change output-format to terse
jaisnan Sep 6, 2024
ec92080
Remove version number from toml
jaisnan Sep 6, 2024
70f9d40
Add dependency installation based on the os
jaisnan Sep 6, 2024
f9557be
Modify trigger for kani.yml
jaisnan Sep 6, 2024
882a065
Add CI workflow to test entrypoint script
jaisnan Sep 6, 2024
d3009c3
Add --path to kani.yml check
jaisnan Sep 6, 2024
329ef6a
Rename check name
jaisnan Sep 6, 2024
aba4ecf
Fix workflow names
jaisnan Sep 6, 2024
739d898
Fix step for without -p
jaisnan Sep 6, 2024
0ddbd8f
Remove entry point workflow and move kani script
jaisnan Sep 10, 2024
b9a8c08
Merge branch 'main' of https://github.com/model-checking/verify-rust-…
jaisnan Sep 10, 2024
c18d6d5
Add comments
jaisnan Sep 10, 2024
98f213c
Apply suggestions from code review
jaisnan Sep 13, 2024
200fe46
Merge branch 'main' of https://github.com/model-checking/verify-rust-…
jaisnan Oct 15, 2024
5c06ed5
Address PR comments
jaisnan Oct 22, 2024
5dfe0b9
Merge branch 'main' into add-script-to-automate-build
jaisnan Oct 22, 2024
4ceae2e
Fix Kani script and CI path
jaisnan Oct 22, 2024
de85fdd
Merge branch 'add-script-to-automate-build' of https://github.com/jai…
jaisnan Oct 22, 2024
12e4f44
Removed cargo.lock from PR
jaisnan Oct 22, 2024
0943f8f
Remove cargo.lock from PR entirely
jaisnan Oct 22, 2024
b2f84d7
Address PR comments
jaisnan Oct 22, 2024
525ba7e
Fix build jobs names
jaisnan Oct 22, 2024
56845d9
Rename steps
jaisnan Oct 22, 2024
e2bdb06
Merge branch 'main' into add-script-to-automate-build
jaisnan Oct 22, 2024
54f5562
Merge branch 'main' into add-script-to-automate-build
jaisnan Oct 23, 2024
d348149
Update branch commit ID and add git submodule update in case of local…
jaisnan Oct 23, 2024
7ec00a3
Merge branch 'add-script-to-automate-build' of https://github.com/jai…
jaisnan Oct 23, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 9 additions & 2 deletions .github/workflows/kani.yml
View file
Open in desktop
jaisnan marked this conversation as resolved.
Show resolved Hide resolved
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ on:
paths:
- 'library/**'
- '.github/workflows/kani.yml'
- 'scripts/check_kani.sh'
- 'scripts/run-kani.sh'

defaults:
run:
Expand All @@ -35,4 +35,11 @@ jobs:
submodules: true

- name: Run Kani Script
jaisnan marked this conversation as resolved.
Show resolved Hide resolved
run: bash ./head/scripts/check_kani.sh ${{github.workspace}}/head
run: head/scripts/run-kani.sh --path ${{github.workspace}}/head

- name: Run Kani Script with --kani-args and -p
run: head/scripts/run-kani.sh -p ${{github.workspace}}/head --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
jaisnan marked this conversation as resolved.
Show resolved Hide resolved

- name: Run Kani Script without -p
working-directory: ${{github.workspace}}/head
tautschnig marked this conversation as resolved.
Show resolved Hide resolved
run: scripts/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
2 changes: 2 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,9 @@ Session.vim
## Build
/book/
/build/
/kani_build/
/target
/library/target
*.rlib
*.rmeta
*.mir
Expand Down
86 changes: 86 additions & 0 deletions library/Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

55 changes: 0 additions & 55 deletions scripts/check_kani.sh
View file
Open in desktop

This file was deleted.

Loading
Loading