model-checking/kani-github-action issues and pull requests

#50 - Add notice to README on main

Pull Request - State: closed - Opened by jaisnan about 1 year ago

#49 - Update Kani version to 0.37.0

Pull Request - State: closed - Opened by remi-delmas-3000 about 1 year ago

#48 - Testing CI

Pull Request - State: closed - Opened by jaisnan about 1 year ago

#47 - Update Kani version to 0.36.0

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago

#46 - Decouple Kani-github-action version from Kani

Issue - State: open - Opened by jaisnan about 1 year ago
Labels: enhancement

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

Pull Request - State: closed - Opened by jaisnan about 1 year ago - 1 comment

#44 - Add `kani-version` parameter to `kani-github-action`

Pull Request - State: closed - Opened by jaisnan about 1 year ago

#43 - Update Kani version to 0.35.0

Pull Request - State: closed - Opened by celinval about 1 year ago

#42 - Bump Kani version to 0.34.0

Pull Request - State: closed - Opened by tautschnig over 1 year ago

#41 - Bump Kani version

Pull Request - State: closed - Opened by zhassan-aws over 1 year ago

#40 - Bump Kani version to 0.32.0

Pull Request - State: closed - Opened by adpaco-aws over 1 year ago

#39 - update-to-0.31.0

Pull Request - State: closed - Opened by jaisnan over 1 year ago

#38 - Bump kani version to 0.30.0

Pull Request - State: closed - Opened by karkhaz over 1 year ago

#37 - Bump kani version to 0.29.0

Pull Request - State: closed - Opened by tautschnig over 1 year ago

#36 - Bump Kani version to 0.28.0

Pull Request - State: closed - Opened by zhassan-aws over 1 year ago

#35 - Update Kani version to 0.27.0

Pull Request - State: closed - Opened by adpaco-aws over 1 year ago

#34 - Replaces actions-rs/toolchain with dtolnay/rust-toolchain

Pull Request - State: closed - Opened by tottoto over 1 year ago

#33 - Bump version to 0.26.0

Pull Request - State: closed - Opened by karkhaz over 1 year ago

#32 - Bump version to 0.25.0

Pull Request - State: closed - Opened by celinval over 1 year ago

#31 - Bump Kani-GitHub-Action version to 0.24.0

Pull Request - State: closed - Opened by feliperodri over 1 year ago

#30 - Action corrupts local rust registry

Issue - State: closed - Opened by ChristopherRabotin over 1 year ago - 5 comments
Labels: bug

#29 - Bump kani version to 0.23.0

Pull Request - State: closed - Opened by qinheping over 1 year ago

#28 - Upgrade to Kani 0.22

Pull Request - State: closed - Opened by zhassan-aws almost 2 years ago

#27 - The GitHub action installs two Rust toolchains

Issue - State: open - Opened by zhassan-aws almost 2 years ago
Labels: bug

#26 - Install stable rust toolchain

Pull Request - State: closed - Opened by zhassan-aws almost 2 years ago - 1 comment

#25 - The action's PropProof step runs regardless of `enable-propproof`

Issue - State: closed - Opened by zhassan-aws almost 2 years ago
Labels: bug

#24 - Avoid cloning kani submodules and fix `enable-propproof` flag

Pull Request - State: closed - Opened by zhassan-aws almost 2 years ago - 3 comments

#23 - Bump version to 0.21

Pull Request - State: closed - Opened by danielsn almost 2 years ago

#22 - bump version to 0.20.0

Pull Request - State: closed - Opened by rahulku almost 2 years ago

#21 - update versions to match kani 0.19 release

Pull Request - State: closed - Opened by jaisnan almost 2 years ago

#20 - Bump Kani version to 0.18

Pull Request - State: closed - Opened by zhassan-aws almost 2 years ago

#19 - PropProof integration

Pull Request - State: closed - Opened by YoshikiTakashima almost 2 years ago - 8 comments

#18 - Bump Kani version to `0.17.0`

Pull Request - State: closed - Opened by adpaco-aws almost 2 years ago

#17 - Bump to 0.16

Pull Request - State: closed - Opened by tedinski almost 2 years ago - 1 comment

#16 - Update versions to match Kani 0.15.0 release

Pull Request - State: closed - Opened by celinval about 2 years ago

#15 - Proptest support within Kani Action.

Issue - State: closed - Opened by YoshikiTakashima about 2 years ago

#14 - Improve README.md

Issue - State: open - Opened by celinval about 2 years ago

#13 - Update kani to v0.14.1

Pull Request - State: closed - Opened by jaisnan about 2 years ago

#12 - Publish a `stable` release channel which tracks the latest stable release

Issue - State: open - Opened by danielsn about 2 years ago - 1 comment

#11 - Upgrade Kani to 0.14.0

Pull Request - State: closed - Opened by jaisnan about 2 years ago

#10 - Support --output-format=terse

Issue - State: closed - Opened by weaversa about 2 years ago - 3 comments

#9 - Automatically get the rust version from the kani toolchain.toml

Issue - State: closed - Opened by danielsn about 2 years ago - 1 comment

#8 - Install updated toolchain to the one from the kani release

Pull Request - State: closed - Opened by danielsn about 2 years ago - 2 comments

#7 - Provide a more ergonomic way of setting arguments and working directory

Pull Request - State: closed - Opened by danielsn about 2 years ago

#6 - Test putting checkout in the action

Pull Request - State: closed - Opened by danielsn about 2 years ago

#5 - Tracking issue for improving test coverage of the action

Issue - State: open - Opened by danielsn about 2 years ago - 1 comment

#4 - Implement docker container for action

Issue - State: open - Opened by danielsn about 2 years ago

#3 - Implement a CI action for Kani

Pull Request - State: closed - Opened by danielsn about 2 years ago

#2 - Implement a CI action for Kani

Pull Request - State: closed - Opened by danielsn about 2 years ago

#1 - Initial Github Action

Issue - State: closed - Opened by danielsn about 2 years ago

GitHub / model-checking/kani-github-action issues and pull requests