Skip to content

Actions: runtimeverification/k

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README: correct cachix target for K (#4780) Bump version and make master job #1197: Commit a2bccd5 pushed by automergerpr-permission-manager bot
35s develop
develop
35s
Allow introducing semantic rules in kprove (#4772) Bump version and make master job #1196: Commit a2a6d9c pushed by automergerpr-permission-manager bot
24s develop
develop
24s
PyK: Misc enhancements to KCFG and anti-unification (#4775) Bump version and make master job #1195: Commit 45c0b09 pushed by automergerpr-permission-manager bot
23s develop
develop
23s
Update dependency: deps/haskell-backend_release (#4777) Bump version and make master job #1194: Commit 2501a51 pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Update dependency: deps/llvm-backend_release (#4765) Bump version and make master job #1193: Commit 49436bd pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Update pyk dependencies (#4746) Bump version and make master job #1192: Commit 753144d pushed by automergerpr-permission-manager bot
24s develop
develop
24s
Prelude.lean: embed carrier implementation in hook signatures (#4770) Bump version and make master job #1191: Commit 3219822 pushed by automergerpr-permission-manager bot
21s develop
develop
21s
Check for empty output in llvm_interpret (#4773) Bump version and make master job #1190: Commit 26cbd0f pushed by Stevengre
26s develop
develop
26s
Refactor adding modules via CTermSymbolic (#4771) Bump version and make master job #1189: Commit 0301a14 pushed by automergerpr-permission-manager bot
21s develop
develop
21s
Use bottom_up in fuzzer template substitution (#4769) Bump version and make master job #1188: Commit 4113224 pushed by automergerpr-permission-manager bot
25s develop
develop
25s
Process complex LHS patterns in function rules (#4757) Bump version and make master job #1187: Commit ba9f7cd pushed by automergerpr-permission-manager bot
22s develop
develop
22s
Update Poetry version (#4767) Bump version and make master job #1186: Commit eebad2b pushed by automergerpr-permission-manager bot
23s develop
develop
23s
Add support for generating deriving clause (#4768) Bump version and make master job #1185: Commit 44bdb47 pushed by automergerpr-permission-manager bot
25s develop
develop
25s
Add Lean prelude instances and change collection implementation (#4766) Bump version and make master job #1184: Commit 9271b8b pushed by automergerpr-permission-manager bot
24s develop
develop
24s
Update dependency: deps/llvm-backend_release (#4764) Bump version and make master job #1183: Commit 010ed6e pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Update dependency: deps/haskell-backend_release (#4763) Bump version and make master job #1182: Commit da5a5dc pushed by automergerpr-permission-manager bot
23s develop
develop
23s
Update dependency: deps/haskell-backend_release (#4719) Bump version and make master job #1181: Commit add1944 pushed by automergerpr-permission-manager bot
22s develop
develop
22s
Generate function definitions (#4753) Bump version and make master job #1180: Commit 92cf58a pushed by automergerpr-permission-manager bot
28s develop
develop
28s
Add README.md for klean (#4759) Bump version and make master job #1179: Commit 9368f56 pushed by automergerpr-permission-manager bot
27s develop
develop
27s
Option to configure llvm backend cmake var HYPERBLOCK_SIZE_MULTIPLIER… Bump version and make master job #1178: Commit 43e8733 pushed by mariaKt
23s develop
develop
23s
Update dependency: deps/llvm-backend_release (#4737) Bump version and make master job #1177: Commit 3a41a29 pushed by automergerpr-permission-manager bot
22s develop
develop
22s
Adding --save-temps and --statistics to krun (#4750) Bump version and make master job #1176: Commit a3dcde1 pushed by Robertorosmaninho
24s develop
develop
24s
Generate binders for variables in definedness constraints (#4751) Bump version and make master job #1175: Commit db556c8 pushed by automergerpr-permission-manager bot
22s develop
develop
22s
Add klean command (#4749) Bump version and make master job #1174: Commit 4f12b28 pushed by automergerpr-permission-manager bot
23s develop
develop
23s
Generate lake project (#4748) Bump version and make master job #1173: Commit 1f2715a pushed by automergerpr-permission-manager bot
25s develop
develop
25s