Skip to content

Actions: safer-rust/RAPx

Actions

RAPx CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
2,169 workflow runs
2,169 workflow runs

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
Trace copy roots for inlined callee arg fields RAPx CI #2360: Commit 9a19e4a pushed by hxuhack
17m 1s main
main
17m 1s
Inline unsafe callees to propagate branch-dependent return values RAPx CI #2359: Commit 79f32b6 pushed by hxuhack
16m 12s main
main
16m 12s
Share switch_is_debug_assert between inline_callees and exec_inline_call RAPx CI #2358: Commit 048b4e7 pushed by hxuhack
13m 36s main
main
13m 36s
Inline loop-free local callees with SwitchInt to recover provenance RAPx CI #2357: Commit dc0b4d0 pushed by hxuhack
16m 53s main
main
16m 53s
Document InlineCtx deferred &mut writes and tighten field comments RAPx CI #2356: Commit 2682b23 pushed by hxuhack
17m 14s main
main
17m 14s
Simplify FrameSnapshot and refresh stale state.rs comments RAPx CI #2355: Commit 66b6972 pushed by hxuhack
17m 6s main
main
17m 6s
Simplify FrameSnapshot to hold Locals and AnalysisCtx wholesale RAPx CI #2354: Commit 282b3c9 pushed by hxuhack
18m 27s main
main
18m 27s
Simplify VmState path handling, drop ExecCtx RAPx CI #2353: Commit 2294ab6 pushed by hxuhack
16m 48s main
main
16m 48s
Simplify VmState path handling: slice SwitchInt successors, drop ExecCtx RAPx CI #2352: Commit 11bd9a5 pushed by hxuhack
16m 17s main
main
16m 17s
Fold ExecCtx into VmState: reenter into PathFacts, inline to top level RAPx CI #2351: Commit 34722e7 pushed by hxuhack
16m 57s main
main
16m 57s
Compute path block set in run() instead of storing it in ExecCtx RAPx CI #2350: Commit 4a07417 pushed by hxuhack
15m 45s main
main
15m 45s
Drop ExecCtx::path; keep derived path_blocks and unrolled facts RAPx CI #2349: Commit 7424049 pushed by hxuhack
14m 27s main
main
14m 27s
Slice SwitchInt successors in the slicer, drop VM path replay counters RAPx CI #2348: Commit a61fee7 pushed by hxuhack
17m 8s main
main
17m 8s
Refactor VmState: separate run inputs from state, derive body from ca… RAPx CI #2347: Commit 9f9c078 pushed by hxuhack
16m 54s main
main
16m 54s
Drop redundant Memory::next_alloc_id (AllocId == allocations.len()) RAPx CI #2346: Commit 99ab249 pushed by hxuhack
16m 41s main
main
16m 41s
Refactor VmState: move run inputs into VmInput, drop derived body field RAPx CI #2345: Commit 8551873 pushed by hxuhack
16m 49s main
main
16m 49s
Generalize for_each facts to ForEachFacts (Typed/Align/Allocated/Owning) RAPx CI #2344: Commit 8e87368 pushed by hxuhack
17m 2s main
main
17m 2s
Complete requires/invariant fact propagation and generic instantiation RAPx CI #2343: Commit e1cf222 pushed by hxuhack
16m 36s main
main
16m 36s
Drop chain-swap test case RAPx CI #2342: Commit 4f5d538 pushed by hxuhack
14m 4s main
main
14m 4s
Complete requires/invariant fact propagation and generic type/const i… RAPx CI #2341: Commit a73148e pushed by hxuhack
16m 23s main
main
16m 23s
Generalize for_each facts to ForEachFacts (Typed/Align/Allocated/Owning) RAPx CI #2340: Commit 8e87368 pushed by hxuhack
14m 20s main
main
14m 20s
Flatten AllocFacts into Allocation fields RAPx CI #2339: Commit 1412cf1 pushed by hxuhack
16m 47s main
main
16m 47s
Model select_unpredictable as a CallEffect; simplify BinaryOpSource RAPx CI #2338: Commit 3ce4687 pushed by hxuhack
17m 10s main
main
17m 10s
Refine VmState structure: SolverState, AllocFacts, drop InlineFrame RAPx CI #2337: Commit 6c593c3 pushed by hxuhack
16m 58s main
main
16m 58s
Drop redundant InlineFrame wrapper RAPx CI #2336: Commit 547c20a pushed by hxuhack
14m 8s main
main
14m 8s