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

dedupe closures generated by #let (#4584) Bump version and make master job #1075: Commit fdff3e7 pushed by dwightguth
August 16, 2024 16:45 1m 22s develop
develop
August 16, 2024 16:45 1m 22s
--no-clean option for kdist build (#4583) Bump version and make master job #1074: Commit dcd3440 pushed by rv-jenkins
August 15, 2024 17:02 1m 33s develop
develop
August 15, 2024 17:02 1m 33s
Add parser tests for pyk.kore.syntax.String (#4588) Bump version and make master job #1073: Commit 079be45 pushed by rv-jenkins
August 14, 2024 20:04 1m 46s develop
develop
August 14, 2024 20:04 1m 46s
APRProof get_steps optimizations (#4585) Bump version and make master job #1072: Commit df56618 pushed by rv-jenkins
August 14, 2024 19:02 1m 33s develop
develop
August 14, 2024 19:02 1m 33s
Fixing indentation in run_proof_hint (#4589) Bump version and make master job #1071: Commit 9e12e63 pushed by rv-jenkins
August 14, 2024 18:28 1m 39s develop
develop
August 14, 2024 18:28 1m 39s
Update dependency: deps/haskell-backend_release (#4572) Bump version and make master job #1070: Commit 754fdde pushed by rv-jenkins
August 14, 2024 11:23 1m 7s develop
develop
August 14, 2024 11:23 1m 7s
Update dependency: deps/z3 (#4586) Bump version and make master job #1069: Commit 4f14b27 pushed by rv-jenkins
August 14, 2024 08:04 1m 49s develop
develop
August 14, 2024 08:04 1m 49s
Adding --proof-hint flag to PyK KRun (#4532) Bump version and make master job #1068: Commit 4ebb140 pushed by rv-jenkins
August 12, 2024 19:22 1m 44s develop
develop
August 12, 2024 19:22 1m 44s
Redesigning rewrite logging (#4580) Bump version and make master job #1067: Commit 015327f pushed by PetarMax
August 9, 2024 16:57 1m 29s develop
develop
August 9, 2024 16:57 1m 29s
Bug not allowing --smt-retry-limit 0 (#4581) Bump version and make master job #1066: Commit 1e01eea pushed by rv-jenkins
August 8, 2024 20:02 1m 11s develop
develop
August 8, 2024 20:02 1m 11s
fix bug in mint inference (#4562) Bump version and make master job #1065: Commit 7e2efdd pushed by rv-jenkins
August 8, 2024 19:02 3m 0s develop
develop
August 8, 2024 19:02 3m 0s
Update dependency: deps/llvm-backend_release (#4578) Bump version and make master job #1064: Commit 4da0743 pushed by rv-jenkins
August 8, 2024 18:02 1m 33s develop
develop
August 8, 2024 18:02 1m 33s
Optimizations for write_cfg_data (#4569) Bump version and make master job #1063: Commit d55c98f pushed by PetarMax
August 8, 2024 11:03 3m 54s develop
develop
August 8, 2024 11:03 3m 54s
Removing minimize_constraints and adding ability to use booster impli… Bump version and make master job #1062: Commit 394c95b pushed by PetarMax
August 8, 2024 10:18 1m 19s develop
develop
August 8, 2024 10:18 1m 19s
Update dependency: deps/llvm-backend_release (#4565) Bump version and make master job #1061: Commit 5bae740 pushed by dwightguth
August 7, 2024 20:50 1m 34s develop
develop
August 7, 2024 20:50 1m 34s
Status bar improvements (#4575) Bump version and make master job #1060: Commit a2b5a76 pushed by PetarMax
August 7, 2024 08:00 1m 12s develop
develop
August 7, 2024 08:00 1m 12s
Support for non-immediate proof maintenance (#4563) Bump version and make master job #1059: Commit 3d4c2c5 pushed by PetarMax
August 6, 2024 21:03 1m 7s develop
develop
August 6, 2024 21:03 1m 7s
Remove the deprecated "log-timing" RPC log option (#4573) Bump version and make master job #1058: Commit e72b530 pushed by rv-jenkins
August 6, 2024 09:02 1m 11s develop
develop
August 6, 2024 09:02 1m 11s
Update dependency: deps/haskell-backend_release (#4571) Bump version and make master job #1057: Commit b6d768f pushed by rv-jenkins
August 5, 2024 15:41 1m 25s develop
develop
August 5, 2024 15:41 1m 25s
Update dependency: deps/haskell-backend_release (#4558) Bump version and make master job #1056: Commit 2afa840 pushed by rv-jenkins
August 2, 2024 12:49 1m 19s develop
develop
August 2, 2024 12:49 1m 19s
Display number of terminal nodes in one_line_summary for APRProof… Bump version and make master job #1055: Commit 72ee1ab pushed by anvacaru
August 2, 2024 07:13 1m 37s develop
develop
August 2, 2024 07:13 1m 37s
Update dependency: deps/llvm-backend_release (#4559) Bump version and make master job #1054: Commit 3d21f8d pushed by rv-jenkins
August 1, 2024 16:43 1m 18s develop
develop
August 1, 2024 16:43 1m 18s
Status bar support in proof loop (#4561) Bump version and make master job #1053: Commit 0a794a7 pushed by rv-jenkins
July 30, 2024 16:28 1m 49s develop
develop
July 30, 2024 16:28 1m 49s
Add extra check for lldb path in krun --debugger (#4560) Bump version and make master job #1052: Commit 590d034 pushed by rv-jenkins
July 29, 2024 19:21 1m 12s develop
develop
July 29, 2024 19:21 1m 12s
fix bug in inference of parametric sorts (#4513) Bump version and make master job #1051: Commit 7adfb98 pushed by dwightguth
July 29, 2024 16:57 1m 54s develop
develop
July 29, 2024 16:57 1m 54s