Skip to content

Actions: runtimeverification/mir-semantics

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add --fail-fast and --maintainence-rate pyk flags (#900) Master Push #200: Commit 2e7c7da pushed by automergerpr-permission-manager bot
14s master
master
14s
fix: include function pointer arguments in call_edges for reduce_to (… Master Push #199: Commit 9b38e26 pushed by jberthold
12s master
master
12s
Update dependency: deps/stable-mir-json_release (#896) Master Push #198: Commit 6e25bee pushed by automergerpr-permission-manager bot
16s master
master
16s
feat: support terminator call from a function pointer (#894) Master Push #197: Commit c0d99e3 pushed by Stevengre
12s master
master
12s
Update dependency: deps/uv2nix (#892) Master Push #196: Commit 16a937b pushed by automergerpr-permission-manager bot
18s master
master
18s
Update dependency: deps/pyproject-build-systems (#893) Master Push #195: Commit 90f0b94 pushed by automergerpr-permission-manager bot
14s master
master
14s
ptr_offset_from intrinsics (#885) Master Push #194: Commit e42fd70 pushed by jberthold
15s master
master
15s
Special fix-up rule to apply field projection on array head elements … Master Push #193: Commit 4da0440 pushed by jberthold
17s master
master
17s
Stratify lookup functions to speed up llvm-kompile-matching (#875) Master Push #192: Commit f8f55a5 pushed by jberthold
12s master
master
12s
Allow field(0) projection as a no-op when target value is a PtrLocal … Master Push #191: Commit a9876cb pushed by jberthold
12s master
master
12s
CastKind::Transmute for T -> std::mem::MaybeUninit<T> (#863) Master Push #190: Commit bc9101e pushed by dkcumming
20s master
master
20s
More byte simplification (#864) Master Push #189: Commit b4182cd pushed by jberthold
13s master
master
13s
Union fields and layout plumbing (#862) Master Push #188: Commit 3d763c0 pushed by automergerpr-permission-manager bot
13s master
master
13s
Union Value Sort (#861) Master Push #187: Commit d124b36 pushed by automergerpr-permission-manager bot
12s master
master
12s
Solana 109: implement sizeof, refactor alignOf (#859) Master Push #186: Commit 3363f4e pushed by jberthold
12s master
master
12s
Add a few simplifications and definedness preservation attributes (#… Master Push #185: Commit 936833e pushed by jberthold
15s master
master
15s
Update dependency: deps/stable-mir-json_release (#854) Master Push #184: Commit 8713564 pushed by automergerpr-permission-manager bot
14s master
master
14s
assert_inhabited intrinsic support (#851) Master Push #183: Commit 57345df pushed by automergerpr-permission-manager bot
14s master
master
14s
feat: add adjustRef/mapOffset simplifications (#850) Master Push #182: Commit 9127004 pushed by automergerpr-permission-manager bot
13s master
master
13s
Update dependency: deps/k_release (#839) Master Push #181: Commit 596829b pushed by dkcumming
16s master
master
16s
Transmute integer to fieldless enum (#840) Master Push #180: Commit e32a326 pushed by automergerpr-permission-manager bot
11s master
master
11s
Update dependency: deps/uv2nix (#846) Master Push #179: Commit 153bce7 pushed by automergerpr-permission-manager bot
12s master
master
12s
Update dependency: deps/pyproject-build-systems (#847) Master Push #178: Commit 48e9abd pushed by automergerpr-permission-manager bot
16s master
master
16s
fix(rt): align transparent pointer casts (#811) Master Push #177: Commit 0b8189a pushed by automergerpr-permission-manager bot
15s master
master
15s
Add simplifications for bytes converted to u64 (#837) Master Push #176: Commit 1b10abd pushed by jberthold
14s master
master
14s