Skip to content

Actions: safer-rust/RAPx

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,781 workflow runs
1,781 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(verify): discharge align_to reinterpret via align_to_offsets pro… Deploy Doc #803: Commit 6321f59 pushed by hxuhack
6m 22s main
main
6m 22s
feat(verify): discharge align_to reinterpret via align_to_offsets pro… RAPx CI #1025: Commit 6321f59 pushed by hxuhack
9m 53s main
main
9m 53s
feat(verify): discharge align_to reinterpret via align_to_offsets pro… RAPx CI #1024: Commit 7bda10a pushed by hxuhack
5m 17s verify-std
verify-std
5m 17s
fix(verify): match align_to_offsets name through impl-block generics RAPx CI #1023: Commit 069cfdb pushed by hxuhack
5m 8s verify-std
verify-std
5m 8s
fix(verify): assert ts_len >= 0 in align_to_offsets SMT bound RAPx CI #1022: Commit 0d2baa6 pushed by hxuhack
5m 8s verify-std
verify-std
5m 8s
feat(verify): prove MaybeUninit array initiation via covering N-loop RAPx CI #1021: Commit ef4c15b pushed by hxuhack
10m 13s verify-std
verify-std
10m 13s
feat(verify): prove fixed-array bounds via const-generic length and R… RAPx CI #1020: Commit b1f3071 pushed by hxuhack
5m 35s verify-std
verify-std
5m 35s
feat(verify): discharge single-element Allocated via IndexAccess call… RAPx CI #1019: Commit 35c2006 pushed by hxuhack
5m 2s verify-std
verify-std
5m 2s
feat(verify): model align_to_offsets ReturnLcmSplit with weak field-1… RAPx CI #1018: Commit 0fd8138 pushed by hxuhack
5m 24s verify-std
verify-std
5m 24s
feat(verify): prove align_of::<T>() != 0 invariant; drop private API … RAPx CI #1017: Commit 2ec4a91 pushed by hxuhack
5m 34s verify-std
verify-std
5m 34s
feat(verify): model slice::range postcondition and alignment through … RAPx CI #1016: Commit 0c65cd6 pushed by hxuhack
5m 21s verify-std
verify-std
5m 21s
feat(verify): implement ValidTransmute checker for src-composed targe… RAPx CI #1015: Commit 9faae5a pushed by hxuhack
5m 3s verify-std
verify-std
5m 3s
feat(verify): model checked arithmetic + Option/Result unwrap for val… RAPx CI #1014: Commit 9b41dab pushed by hxuhack
5m 18s verify-std
verify-std
5m 18s
feat(verify): model unchecked add/sub/mul BinOps in SMT term lowering RAPx CI #1013: Commit acdd0cb pushed by hxuhack
5m 15s verify-std
verify-std
5m 15s
feat(verify): model pointer .cast(), pure numeric intrinsics, and con… RAPx CI #1012: Commit 02ecb7f pushed by hxuhack
5m 5s verify-std
verify-std
5m 5s
feat(verify): discharge slice-size language invariant for ValidNum RAPx CI #1011: Commit 083c1b0 pushed by hxuhack
5m 9s verify-std
verify-std
5m 9s
feat(verify): prove Align for as_ptr-derived pointers and recognize g… RAPx CI #1010: Commit 3c7e503 pushed by hxuhack
5m 5s verify-std
verify-std
5m 5s
revert: rollback engine changes to base 3f9a09ef RAPx CI #1009: Commit 3dee69e pushed by hxuhack
5m 1s verify-std
verify-std
5m 1s
feat(verify): emit KnownLen fact for from_raw_parts calls, use in SMT RAPx CI #1008: Commit e411ee5 pushed by hxuhack
5m 27s verify-std
verify-std
5m 27s
fix(verify): add mul_operand_len_for_origin fallback in bounds_len_fo… RAPx CI #1007: Commit 76dcbb4 pushed by hxuhack
5m 20s verify-std
verify-std
5m 20s
fix(verify): FromRawParts dep summary, strip field projections in Cas… RAPx CI #1006: Commit 71b1e14 pushed by hxuhack
5m 30s verify-std
verify-std
5m 30s
fix(verify): JSON named param resolution, cross-call cast tracking, d… RAPx CI #1005: Commit 8c197d2 pushed by hxuhack
5m 32s verify-std
verify-std
5m 32s
chore: pin verify-std toolchain to nightly-2025-10-09 RAPx CI #1004: Commit 3f9a09e pushed by hxuhack
5m 11s verify-std
verify-std
5m 11s
release: v0.7.21 RAPx CI #1003: Commit 5429ab7 pushed by hxuhack
5m 14s v0.7.21
v0.7.21
5m 14s
release: v0.7.21 Deploy Doc #802: Commit 5429ab7 pushed by hxuhack
1m 30s main
main
1m 30s