Skip to content

Actions: celinval/rust-dev

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update intrinsics.rs Kani #36: Commit d41e5c1 pushed by celinval
September 20, 2024 01:40 3m 47s verify-intrinsics
verify-intrinsics
September 20, 2024 01:40 3m 47s
Clean up arbitrary pointer Kani #35: Commit a38c161 pushed by celinval
September 20, 2024 01:29 3m 59s verify-intrinsics
verify-intrinsics
September 20, 2024 01:29 3m 59s
Clean up arbitrary pointer Kani #34: Commit 6827756 pushed by celinval
September 20, 2024 01:29 3m 41s verify-intrinsics
verify-intrinsics
September 20, 2024 01:29 3m 41s
Final adjustments for new harnesses Kani #33: Commit 87dc890 pushed by celinval
September 19, 2024 22:35 31m 5s verify-intrinsics
verify-intrinsics
September 19, 2024 22:35 31m 5s
Final adjustments for new harnesses Kani #32: Commit b2eaef8 pushed by celinval
September 19, 2024 22:33 31m 24s verify-intrinsics
verify-intrinsics
September 19, 2024 22:33 31m 24s
A few adjustments Kani #31: Commit 3cbe82e pushed by celinval
September 19, 2024 17:44 26m 40s slow-cex
slow-cex
September 19, 2024 17:44 26m 40s
Fix Rust build and make MetadataPredicates public Kani #30: Commit 15086ea pushed by celinval
July 17, 2024 20:46 4m 6s verify-intrinsics
verify-intrinsics
July 17, 2024 20:46 4m 6s
Fix copy* contract to make it untyped Kani #29: Commit ee88552 pushed by celinval
July 17, 2024 19:53 4m 17s verify-intrinsics
verify-intrinsics
July 17, 2024 19:53 4m 17s
Merge commit 'a01899fdc8ae' into sync-2024-07-16 Kani #28: Commit 66a17e0 pushed by celinval
July 17, 2024 02:34 3m 41s sync-2024-07-16
sync-2024-07-16
July 17, 2024 02:34 3m 41s
Reapply repository changes to library files Kani #27: Commit a70ad70 pushed by celinval
July 17, 2024 02:20 4m 26s chore-0039-subtree
chore-0039-subtree
July 17, 2024 02:20 4m 26s
Fix copy* contract to make it untyped Kani #26: Commit c6f96e3 pushed by celinval
July 16, 2024 18:28 4m 37s verify-intrinsics
verify-intrinsics
July 16, 2024 18:28 4m 37s
Add a few intrinsics contracts Kani #25: Commit d4aa09f pushed by celinval
July 16, 2024 03:37 4m 36s verify-intrinsics
verify-intrinsics
July 16, 2024 03:37 4m 36s
Add a few intrinsics contracts Kani #24: Commit d6a8726 pushed by celinval
July 16, 2024 03:34 4m 26s verify-intrinsics
verify-intrinsics
July 16, 2024 03:34 4m 26s
Merge branch 'main' into challenge-0003-ptr-arith Kani #23: Commit 8a32992 pushed by celinval
July 3, 2024 17:25 3m 53s challenge-0003-ptr-arith
challenge-0003-ptr-arith
July 3, 2024 17:25 3m 53s
Fix challenge numbers and move to challenges/ dir Kani #22: Commit fbfcf10 pushed by celinval
June 20, 2024 22:22 7m 23s verify-0000-summary
verify-0000-summary
June 20, 2024 22:22 7m 23s
Merge branch 'main' into verify-0000-swap Kani #21: Commit 73e1173 pushed by celinval
June 12, 2024 15:51 5m 31s verify-0000-swap
verify-0000-swap
June 12, 2024 15:51 5m 31s
Remove redundant check Kani #20: Commit b6d7ea2 pushed by celinval
June 12, 2024 15:51 4m 42s verify-0000-swap
verify-0000-swap
June 12, 2024 15:51 4m 42s
Update library/core/src/intrinsics.rs Kani #19: Commit 8c3c80e pushed by celinval
June 12, 2024 15:43 4m 45s verify-0000-swap
verify-0000-swap
June 12, 2024 15:43 4m 45s
Add a few more contract and harness examples Kani #18: Commit c49757e pushed by celinval
June 12, 2024 03:52 3m 19s verify-0000-swap
verify-0000-swap
June 12, 2024 03:52 3m 19s
Apply suggestions from code review Kani #17: Commit c4b9c19 pushed by celinval
June 12, 2024 02:18 4m 4s verify-0000-mem
verify-0000-mem
June 12, 2024 02:18 4m 4s
Add comments and --check-cfg Kani #16: Commit 2509480 pushed by celinval
June 11, 2024 23:59 3m 38s verify-0000-mem
verify-0000-mem
June 11, 2024 23:59 3m 38s
Try to remove host warnings and fix ensures Kani #15: Commit bced939 pushed by celinval
June 11, 2024 23:03 3m 32s verify-0000-mem
verify-0000-mem
June 11, 2024 23:03 3m 32s
Install Kani's runtime dependencies and fix Rust CI Kani #14: Commit bfefeff pushed by celinval
June 11, 2024 22:06 3m 55s verify-0000-mem
verify-0000-mem
June 11, 2024 22:06 3m 55s
Install Kani's runtime dependencies and fix Rust CI Kani #13: Commit 8d18976 pushed by celinval
June 11, 2024 21:52 4m 43s verify-0000-mem
verify-0000-mem
June 11, 2024 21:52 4m 43s
Add simple ensures, requires, predicates Kani #12: Commit f7269e2 pushed by celinval
June 11, 2024 21:36 3m 24s verify-0000-mem
verify-0000-mem
June 11, 2024 21:36 3m 24s