Skip to content

Actions: runtimeverification/mir-semantics

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Master Push Master Push #225: Manually run by dkcumming
16s feature/p-token
feature/p-token
16s
Fix metadata on PtrToPtr cast (#941) Master Push #224: Commit 7453069 pushed by automergerpr-permission-manager bot
13s master
master
13s
Add type-correcting projections on pointer cast and related operation… Master Push #223: Commit 4ed7d9a pushed by dkcumming
17s master
master
17s
fix: type of offset for applyBinOp(binOpOffset, ...) (#936) Master Push #222: Commit 174f26a pushed by automergerpr-permission-manager bot
18s master
master
18s
More BinOp::Offset tests (#935) Master Push #221: Commit 55f06be pushed by automergerpr-permission-manager bot
18s master
master
18s
Add simplification for 0 <=Int asInt(#findVariantIdxAux(...)) (#933) Master Push #220: Commit 030db09 pushed by jberthold
13s master
master
13s
Hotfix discriminant refactor 2 (#930) Master Push #219: Commit 6be5824 pushed by jberthold
14s master
master
14s
Updated README for required K version. (#929) Master Push #218: Commit 7bc6312 pushed by mariaKt
20s master
master
20s
Pass haskell_threads to BoosterServer (#928) Master Push #217: Commit 6abd969 pushed by automergerpr-permission-manager bot
12s master
master
12s
Update dependency: deps/k_release (#924) Master Push #216: Commit a042782 pushed by dkcumming
15s master
master
15s
Add support for parallel proving (#922) Master Push #215: Commit b87d4b1 pushed by automergerpr-permission-manager bot
12s master
master
12s
Update dependency: deps/k_release (#921) Master Push #214: Commit 451ca0c pushed by tothtamas28
13s master
master
13s
Refactor discriminant lookup (#923) Master Push #213: Commit 8bcee59 pushed by automergerpr-permission-manager bot
16s master
master
16s
Extract module kmir._prove (#920) Master Push #212: Commit acf7918 pushed by automergerpr-permission-manager bot
17s master
master
17s
Added volatile_store intrinsic (#919) Master Push #211: Commit 377f3f0 pushed by automergerpr-permission-manager bot
14s master
master
14s
feat(kompile): add \exists quantifiers for existential variables in a… Master Push #210: Commit 14a8e4a pushed by automergerpr-permission-manager bot
16s master
master
16s
Add missing command-line options in _parse_args (#918) Master Push #209: Commit e0abf9b pushed by automergerpr-permission-manager bot
14s master
master
14s
Update dependency: deps/stable-mir-json_release (#915) Master Push #208: Commit ba67f50 pushed by automergerpr-permission-manager bot
17s master
master
17s
Added transmute cast for Range of T into Range of `MaybeUninit<… Master Push #207: Commit 7ddce12 pushed by automergerpr-permission-manager bot
13s master
master
13s
Enable running kmir with arbitrary kdist target (#911) Master Push #206: Commit 812dac9 pushed by tothtamas28
11s master
master
11s
feat: add --to-module, --minimize-proof, and --add-module CLI options… Master Push #205: Commit 0f61f01 pushed by automergerpr-permission-manager bot
17s master
master
17s
Update dependency: deps/stable-mir-json_release (#905) Master Push #204: Commit 09b6124 pushed by automergerpr-permission-manager bot
14s master
master
14s
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