Skip to content

Actions: feliperodri/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for quantifiers Kani CI #129: Commit 3d87050 pushed by feliperodri
November 25, 2024 17:50 4m 55s quantifiers
quantifiers
November 25, 2024 17:50 4m 55s
Add support for quantifiers Kani CI #128: Commit 94b42b1 pushed by feliperodri
November 25, 2024 17:50 4m 57s quantifiers
quantifiers
November 25, 2024 17:50 4m 57s
Add support for quantifiers Kani CI #127: Commit 2b0a305 pushed by feliperodri
November 25, 2024 17:48 5m 18s quantifiers
quantifiers
November 25, 2024 17:48 5m 18s
Add support for quantifiers Kani CI #126: Commit 1ed6971 pushed by feliperodri
November 25, 2024 17:45 4m 28s quantifiers
quantifiers
November 25, 2024 17:45 4m 28s
Add support for quantifiers Kani CI #125: Commit a465e00 pushed by feliperodri
November 25, 2024 17:44 3m 27s quantifiers
quantifiers
November 25, 2024 17:44 3m 27s
Add support for quantifiers Kani CI #124: Commit 6040814 pushed by feliperodri
November 25, 2024 17:43 4m 58s quantifiers
quantifiers
November 25, 2024 17:43 4m 58s
Actually apply CBMC patch (#3436) Kani CI #123: Commit e2a209b pushed by feliperodri
August 13, 2024 20:34 42m 23s features/verify-rust-std
features/verify-rust-std
August 13, 2024 20:34 42m 23s
Automatic cargo update to 2024-08-12 (#3433) Kani CI #122: Commit 952e753 pushed by feliperodri
August 12, 2024 19:44 42m 19s features/verify-rust-std
features/verify-rust-std
August 12, 2024 19:44 42m 19s
Bump Kani version to 0.54.0 Kani CI #121: Commit b4c55a3 pushed by feliperodri
August 8, 2024 20:49 42m 58s release-0.54.0
release-0.54.0
August 8, 2024 20:49 42m 58s
Update depencencies Kani CI #120: Commit 4906099 pushed by feliperodri
August 7, 2024 21:39 40m 5s cargo-update
cargo-update
August 7, 2024 21:39 40m 5s
Upgrade rust toolchain to 06-26 (#3299) Kani CI #119: Commit 3b9665f pushed by feliperodri
June 27, 2024 22:10 29m 39s main
main
June 27, 2024 22:10 29m 39s
Fix typos Kani CI #118: Commit cae0f44 pushed by feliperodri
June 27, 2024 06:48 29m 9s quantifiers-rfc
quantifiers-rfc
June 27, 2024 06:48 29m 9s
Final tweaks Kani CI #117: Commit 970203f pushed by feliperodri
June 27, 2024 06:42 35m 13s quantifiers-rfc
quantifiers-rfc
June 27, 2024 06:42 35m 13s
Consider Pattern Type style Kani CI #116: Commit 32e7468 pushed by feliperodri
June 26, 2024 22:18 28m 40s quantifiers-rfc
quantifiers-rfc
June 26, 2024 22:18 28m 40s
RFC: Quantifiers Kani CI #115: Commit 5514a11 pushed by feliperodri
June 7, 2024 21:45 30m 24s quantifiers-rfc
quantifiers-rfc
June 7, 2024 21:45 30m 24s
Merge branch 'main' into remove-arbitrary-modifies Kani CI #114: Commit 8cfb6bb pushed by adpaco-aws
May 3, 2024 18:53 33m 23s remove-arbitrary-modifies
remove-arbitrary-modifies
May 3, 2024 18:53 33m 23s
Update tests/expected/function-contract/modifies/simple_only_verifica… Kani CI #113: Commit 4d64a4f pushed by adpaco-aws
May 3, 2024 18:53 32m 50s remove-arbitrary-modifies
remove-arbitrary-modifies
May 3, 2024 18:53 32m 50s
Minor suggestions Kani CI #112: Commit 9c4fafa pushed by adpaco-aws
May 3, 2024 18:53 32m 14s remove-arbitrary-modifies
remove-arbitrary-modifies
May 3, 2024 18:53 32m 14s
Add regression test and improve documentation Kani CI #111: Commit bb76eaf pushed by feliperodri
May 2, 2024 21:29 31m 28s remove-arbitrary-modifies
remove-arbitrary-modifies
May 2, 2024 21:29 31m 28s
Debug Kani CI #110: Commit c7a9ac0 pushed by feliperodri
May 1, 2024 23:11 31m 19s improve-foreign-function-stubbing
improve-foreign-function-stubbing
May 1, 2024 23:11 31m 19s
Do not assume that ZST-typed symbols refer to unique objects (#3134) Kani CI #109: Commit 9e34364 pushed by feliperodri
May 1, 2024 23:08 31m 43s main
main
May 1, 2024 23:08 31m 43s
Remove kani::Arbitrary from the modifies contract instrumentation Kani CI #108: Commit 70725f1 pushed by feliperodri
May 1, 2024 22:45 30m 57s remove-arbitrary-modifies
remove-arbitrary-modifies
May 1, 2024 22:45 30m 57s
Remove kani::Arbitrary from the modifies contract instrumentation Kani CI #107: Commit e87374f pushed by feliperodri
May 1, 2024 22:42 30m 46s remove-arbitrary-modifies
remove-arbitrary-modifies
May 1, 2024 22:42 30m 46s
Remove floating-point check for +/-Inf Kani CI #106: Commit 7eea734 pushed by feliperodri
April 23, 2024 23:17 32m 46s remove-float-check
remove-float-check
April 23, 2024 23:17 32m 46s
Fix cbmc-update CI job (#3156) Kani CI #105: Commit 180e10c pushed by feliperodri
April 23, 2024 23:13 34m 47s remove-float-check
remove-float-check
April 23, 2024 23:13 34m 47s