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
Initial Ptr Offset semantics binOpOffset (#746) Master Push #153: Commit 4fb9a32 pushed by automergerpr-permission-manager Bot
19s master
master
19s
Implement fuzzing for Boolean and integer parameters (#765) Master Push #152: Commit 206880e pushed by tothtamas28
21s master
master
21s
Add flake8 plugin pep8-naming (#767) Master Push #151: Commit 64f12f0 pushed by automergerpr-permission-manager Bot
18s master
master
18s
Update dependency: deps/stable-mir-json_release (#760) Master Push #150: Commit d48b514 pushed by automergerpr-permission-manager Bot
22s master
master
22s
feat(show): --statistics support multi-branches to one node. (#754) Master Push #149: Commit 0f96555 pushed by jberthold
19s master
master
19s
Add pyproject-nix overlay in nix derivation (#724) Master Push #148: Commit 0054ada pushed by jberthold
18s master
master
18s
feat: handle empty-body functions in smir.json. (#753) Master Push #147: Commit 9c279b8 pushed by automergerpr-permission-manager Bot
19s master
master
19s
Implement decoding for structs (#762) Master Push #146: Commit b8e6a93 pushed by tothtamas28
17s master
master
17s
Refactor call config construction (#755) Master Push #145: Commit 161c1a6 pushed by automergerpr-permission-manager Bot
21s master
master
21s
replace interim-simplification 50 by simplify-each 30 (#757) Master Push #144: Commit 29a89d8 pushed by jberthold
19s master
master
19s
Update dependency: deps/k_release (#756) Master Push #143: Commit 4496200 pushed by jberthold
18s master
master
18s
Model GlobalAllocs (#677) Master Push #142: Commit b90dc47 pushed by automergerpr-permission-manager Bot
17s master
master
17s
Remove unused code (#752) Master Push #141: Commit 1cccdc0 pushed by tothtamas28
21s master
master
21s
Extract SMIR kompilation into module kmir.kompile (#751) Master Push #140: Commit 51a716a pushed by automergerpr-permission-manager Bot
19s master
master
19s
Compiling SMIR JSON to kore to avoid static data in config (#745) Master Push #139: Commit f741dfd pushed by jberthold
20s master
master
20s
Update dependency: deps/k_release (#730) Master Push #138: Commit b0329e8 pushed by jberthold
13s master
master
13s
Implement decoding for niche-encoded enums (#743) Master Push #137: Commit 84573c9 pushed by automergerpr-permission-manager Bot
16s master
master
16s
Update dependency: deps/uv2nix (#744) Master Push #136: Commit dc978a0 pushed by jberthold
10s master
master
10s
More enum decoding (#740) Master Push #135: Commit 6c8d46e pushed by tothtamas28
12s master
master
12s
Enhance kmir show with --statistics and --leaves (#707) (#741) Master Push #134: Commit 5432828 pushed by automergerpr-permission-manager Bot
13s master
master
13s
use opt_level: 2 to support mac verification. (#738) Master Push #133: Commit 56186c2 pushed by automergerpr-permission-manager Bot
15s master
master
15s
Add pointer equality semantics (#736) Master Push #132: Commit 54bcf07 pushed by automergerpr-permission-manager Bot
16s master
master
16s
HOTFIX: avoid bitRangeInt function for branching (#switchInt) (#732) Master Push #131: Commit 2fb4f61 pushed by Stevengre
10s master
master
10s
Decode strings (#731) Master Push #130: Commit d401761 pushed by jberthold
15s master
master
15s
Remove alloc decoding from the K definition (#729) Master Push #129: Commit 8fba85a pushed by automergerpr-permission-manager Bot
16s master
master
16s