Skip to content

Actions: celinval/rust-dev

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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