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
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused options from cterm_symbolic function (#4789) Bump version and make master job #1200: Commit bdcb85a pushed by ehildenb
21s develop
develop
21s
Update dependency: deps/llvm-backend_release (#4787) Bump version and make master job #1199: Commit 2954f43 pushed by automergerpr-permission-manager bot
25s develop
develop
25s
Update dependency: deps/haskell-backend_release (#4778) Bump version and make master job #1198: Commit 7e5b220 pushed by automergerpr-permission-manager bot
22s develop
develop
22s
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