Skip to content

Actions: runtimeverification/mir-semantics

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
215 workflow runs
215 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
Include lemma from feature/p-token (#908) Master Push #203: Commit 9ff569b pushed by automergerpr-permission-manager Bot
11s master
master
11s
Update dependency: deps/uv2nix (#909) Master Push #202: Commit 02ec87e pushed by automergerpr-permission-manager Bot
17s master
master
17s
Update dependency: deps/k_release (#904) Master Push #201: Commit 24a387b pushed by automergerpr-permission-manager Bot
15s master
master
15s
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