Skip to content

Actions: celinval/rust-dev

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge commit '8fe8f562171f4b696234c1313a25418878c1b885' into sync-202… Kani #64: Commit 810d584 pushed by celinval
November 29, 2024 21:07 1h 5m 6s sync-2024-11-26
sync-2024-11-26
November 29, 2024 21:07 1h 5m 6s
Merge branch 'main' into chores-update-rewards Kani #63: Commit 0e1f7de pushed by celinval
November 22, 2024 17:22 49m 34s chores-update-rewards
chores-update-rewards
November 22, 2024 17:22 49m 34s
Merge branch 'main' into chores-170-target Kani #62: Commit 3fdedab pushed by celinval
November 20, 2024 18:12 56m 21s chores-170-target
chores-170-target
November 20, 2024 18:12 56m 21s
Improve run-kani script to use default target Kani #61: Commit 06ce4c4 pushed by celinval
November 20, 2024 03:21 49m 17s chores-170-target
chores-170-target
November 20, 2024 03:21 49m 17s
Merge branch 'main' into challenge-cstr Kani #60: Commit 15f2657 pushed by celinval
November 13, 2024 19:02 44m 49s challenge-cstr
challenge-cstr
November 13, 2024 19:02 44m 49s
Override CBMC version for now Kani #59: Commit 8dbc1c0 pushed by celinval
November 9, 2024 01:20 5m 15s verify-iter-2
verify-iter-2
November 9, 2024 01:20 5m 15s
Override CBMC version for now Kani #58: Commit 311787d pushed by celinval
November 9, 2024 01:14 5m 34s verify-iter-2
verify-iter-2
November 9, 2024 01:14 5m 34s
Remove unsafe operation Kani #57: Commit b6e185e pushed by celinval
November 8, 2024 04:02 38m 39s verify-intrinsics
verify-intrinsics
November 8, 2024 04:02 38m 39s
Address PR feedback Kani #56: Commit 432145c pushed by celinval
November 7, 2024 18:51 47m 5s verify-iter
verify-iter
November 7, 2024 18:51 47m 5s
Update library/core/src/intrinsics.rs Kani #55: Commit 4c07dcd pushed by celinval
November 7, 2024 00:07 37m 37s verify-intrinsics
verify-intrinsics
November 7, 2024 00:07 37m 37s
Address PR feedback Kani #54: Commit aca1c9e pushed by celinval
November 5, 2024 19:23 48m 38s verify-iter
verify-iter
November 5, 2024 19:23 48m 38s
Fix invariant for Iter/IterMut Kani #53: Commit 4de4a2e pushed by celinval
November 5, 2024 02:11 5m 0s verify-iter
verify-iter
November 5, 2024 02:11 5m 0s
Fix copy_nonoverlapping harness Kani #52: Commit 5e24d04 pushed by celinval
November 5, 2024 00:26 40m 43s verify-intrinsics
verify-intrinsics
November 5, 2024 00:26 40m 43s
Add comments to the Invariant implementation Kani #51: Commit 5103841 pushed by celinval
November 4, 2024 19:27 42m 27s verify-iter
verify-iter
November 4, 2024 19:27 42m 27s
Fix rustc compilation and code format Kani #50: Commit f9d1c17 pushed by celinval
November 4, 2024 18:03 55m 14s verify-iter
verify-iter
November 4, 2024 18:03 55m 14s
Fix rustc compilation and code format Kani #49: Commit 3539fa1 pushed by celinval
November 3, 2024 01:21 4m 45s verify-iter
verify-iter
November 3, 2024 01:21 4m 45s
Fix rustc compilation and code format Kani #48: Commit b540e64 pushed by celinval
November 3, 2024 00:20 54m 2s verify-iter
verify-iter
November 3, 2024 00:20 54m 2s
Start the verification of slice::Iter Kani #47: Commit fb98bf7 pushed by celinval
November 2, 2024 01:35 48m 20s verify-iter
verify-iter
November 2, 2024 01:35 48m 20s
Start the verification of slice::Iter Kani #46: Commit 4311069 pushed by celinval
November 2, 2024 01:32 44m 24s verify-iter
verify-iter
November 2, 2024 01:32 44m 24s
Start the verification of slice::Iter Kani #45: Commit fa9511d pushed by celinval
November 2, 2024 01:31 43m 38s verify-intrinsics
verify-intrinsics
November 2, 2024 01:31 43m 38s
Remove wrappers and contracts per PR comments (#2) Kani #44: Commit b99e4de pushed by celinval
October 29, 2024 17:55 35m 15s verify-0000-unicode
verify-0000-unicode
October 29, 2024 17:55 35m 15s
Remove wrappers and contracts per PR comments (#2) Kani #43: Commit a0aaf57 pushed by celinval
October 28, 2024 16:34 1m 33s verify-0000-unicode
verify-0000-unicode
October 28, 2024 16:34 1m 33s
Remove wrappers and contracts per PR comments Kani #42: Commit 4463114 pushed by celinval
October 28, 2024 16:05 1m 30s celinval-patch-1
celinval-patch-1
October 28, 2024 16:05 1m 30s
Undo format changes Kani #41: Commit 24495a4 pushed by celinval
October 16, 2024 23:44 19m 29s verify-intrinsics
verify-intrinsics
October 16, 2024 23:44 19m 29s
Undo format changes Kani #40: Commit fbc8c69 pushed by celinval
October 16, 2024 23:43 18m 11s verify-intrinsics
verify-intrinsics
October 16, 2024 23:43 18m 11s