Skip to content

Releases: model-checking/kani-github-action

Kani Verifier CI Action 0.19

11 Jan 03:59
@jaisnan jaisnan
v0.19
0422b24
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Kani Verifier CI Action 0.19
Marketplace
Marketplace

What's Changed

Full Changelog: v0.18...v0.19

Contributors

YoshikiTakashima
Loading

Kani Verifier CI Action 0.18

27 Dec 19:30
@zhassan-aws zhassan-aws
v0.18
8b10534
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Kani Verifier CI Action 0.18
Marketplace
Marketplace 
v0.18

Bump Kani version to 0.18 (#20)
Loading

Kani Verifier CI Action 0.17

13 Dec 17:23
@adpaco-aws adpaco-aws
v0.17
01d49c5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Kani Verifier CI Action 0.17
Marketplace
Marketplace

Update to Kani 0.17.0

Loading

Kani Verifier CI Action 0.16

29 Nov 21:06
@tedinski tedinski
v0.16
69cbde4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Kani Verifier CI Action 0.16
Marketplace
Marketplace

Update to Kani 0.16.0

Loading

Kani Verifier CI Action 0.15

16 Nov 22:08
@celinval celinval
v0.15
901fbb8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Kani Verifier CI Action 0.15
Marketplace
Marketplace

Upgrade Kani to 0.15.0

Loading

Kani Verifier CI Action v0.14

04 Nov 16:12
@jaisnan jaisnan
v0.14
4c54b4a

Choose a tag to compare

View all tags
Kani Verifier CI Action v0.14
Marketplace
Marketplace 
add deleted end line
Loading

Kani Verifier CI Action v0.14.0

03 Nov 21:26
@jaisnan jaisnan
v0.14.0
ce6989a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Kani Verifier CI Action v0.14.0
Marketplace
Marketplace 
Upgrade Kani to 0.14.0 (#11)
Loading

Kani Verifier CI Action v0.13

28 Oct 18:23
@danielsn danielsn
v0.13
e68870a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Kani Verifier CI Action v0.13
Marketplace
Marketplace

Implement a CI Action for the Kani Rust verifier.
Tagged to 0.13 release of Kani.

Loading