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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate binders for variables in definedness constraints (#4751) Bump version and make master job #1175: Commit db556c8 pushed by automergerpr-permission-manager bot
February 3, 2025 17:03 22s develop
develop
February 3, 2025 17:03 22s
Add klean command (#4749) Bump version and make master job #1174: Commit 4f12b28 pushed by automergerpr-permission-manager bot
February 3, 2025 13:42 23s develop
develop
February 3, 2025 13:42 23s
Generate lake project (#4748) Bump version and make master job #1173: Commit 1f2715a pushed by automergerpr-permission-manager bot
January 31, 2025 16:02 25s develop
develop
January 31, 2025 16:02 25s
Generate rewrite relation (#4745) Bump version and make master job #1172: Commit e85cda0 pushed by automergerpr-permission-manager bot
January 27, 2025 12:30 21s develop
develop
January 27, 2025 12:30 21s
Fix build_rule (#4744) Bump version and make master job #1171: Commit 6482ee2 pushed by automergerpr-permission-manager bot
January 23, 2025 18:29 24s develop
develop
January 23, 2025 18:29 24s
Add uninterpreted List implementation to Prelude.lean (#4740) Bump version and make master job #1170: Commit 2ec5eec pushed by automergerpr-permission-manager bot
January 21, 2025 17:02 26s develop
develop
January 21, 2025 17:02 26s
Add method filter_rewrites to KoreDefn (#4739) Bump version and make master job #1169: Commit 14697a2 pushed by automergerpr-permission-manager bot
January 20, 2025 20:02 20s develop
develop
January 20, 2025 20:02 20s
Add uninterpreted Set implementation to Prelude.lean (#4738) Bump version and make master job #1168: Commit e5a79fc pushed by automergerpr-permission-manager bot
January 20, 2025 17:25 20s develop
develop
January 20, 2025 17:25 20s
Add uninterpreted Map implementation to Prelude.lean (#4734) Bump version and make master job #1167: Commit 9be6e60 pushed by automergerpr-permission-manager bot
January 20, 2025 13:06 20s develop
develop
January 20, 2025 13:06 20s
Generate an axiom for each function signature (#4736) Bump version and make master job #1166: Commit cf76566 pushed by automergerpr-permission-manager bot
January 20, 2025 08:44 22s develop
develop
January 20, 2025 08:44 22s
Generate structure-s where possible (#4731) Bump version and make master job #1165: Commit 57a3bfa pushed by tothtamas28
January 17, 2025 14:53 20s develop
develop
January 17, 2025 14:53 20s
Generate injection instances (#4733) Bump version and make master job #1164: Commit 80ff6f9 pushed by automergerpr-permission-manager bot
January 17, 2025 10:43 21s develop
develop
January 17, 2025 10:43 21s
Order sort declarations topologically (#4735) Bump version and make master job #1163: Commit 03253f8 pushed by automergerpr-permission-manager bot
January 16, 2025 20:02 21s develop
develop
January 16, 2025 20:02 21s
Update dependency: deps/llvm-backend_release (#4715) Bump version and make master job #1162: Commit 796208a pushed by automergerpr-permission-manager bot
January 14, 2025 18:29 26s develop
develop
January 14, 2025 18:29 26s
Allow special characters in generated Lean 4 identifiers (#4729) Bump version and make master job #1161: Commit 1f7f4a9 pushed by automergerpr-permission-manager bot
January 8, 2025 19:25 28s develop
develop
January 8, 2025 19:25 28s
Generate Lean 4 type definitions from a KORE definition (#4717) Bump version and make master job #1160: Commit 8c40191 pushed by automergerpr-permission-manager bot
January 7, 2025 17:42 21s develop
develop
January 7, 2025 17:42 21s
Bump version and make master job Bump version and make master job #1159: by automergerpr-permission-manager bot
January 7, 2025 14:50 24s develop
develop
January 7, 2025 14:50 24s
Fix Poetry and Ubuntu runner versions on CI (#4721) Bump version and make master job #1158: Commit 141fe58 pushed by automergerpr-permission-manager bot
January 7, 2025 12:30 23s develop
develop
January 7, 2025 12:30 23s
Update dependency: deps/haskell-backend_release (#4702) Bump version and make master job #1157: Commit f85629c pushed by PetarMax
December 29, 2024 15:22 24s develop
develop
December 29, 2024 15:22 24s
Add class KoreDefn (#4712) Bump version and make master job #1156: Commit 638559f pushed by automergerpr-permission-manager bot
December 19, 2024 00:36 25s develop
develop
December 19, 2024 00:36 25s
pyk: added --llvm-hidden-visibility attribute (#4714) Bump version and make master job #1155: Commit 38acfbb pushed by traiansf
December 17, 2024 13:50 31s develop
develop
December 17, 2024 13:50 31s
Roll back to pre mmap in llvm backend (0.1.103) (#4713) Bump version and make master job #1154: Commit 29aedd7 pushed by automergerpr-permission-manager bot
December 17, 2024 04:44 25s develop
develop
December 17, 2024 04:44 25s
Update dependency: deps/llvm-backend_release (#4711) Bump version and make master job #1153: Commit 5f79fb3 pushed by automergerpr-permission-manager bot
December 14, 2024 05:43 25s develop
develop
December 14, 2024 05:43 25s
KCFG optimisation-on-creation (#4710) Bump version and make master job #1152: Commit 129a166 pushed by PetarMax
December 13, 2024 15:01 23s develop
develop
December 13, 2024 15:01 23s
Optimize pyk.kast.inner.collect (#4708) Bump version and make master job #1151: Commit c4d9777 pushed by automergerpr-permission-manager bot
December 11, 2024 08:45 27s develop
develop
December 11, 2024 08:45 27s