Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-pr.yml
233 workflow runs
233 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Take result attributes directly from the production when resolving contexts Test PR #467: Pull request #4685 synchronize by virgil-serbanuta
November 15, 2024 21:43 11s virgil-serbanuta:issue-4683
virgil-serbanuta:issue-4683
November 15, 2024 21:43 11s
Take result attributes directly from the production when resolving contexts Test PR #466: Pull request #4685 synchronize by virgil-serbanuta
November 15, 2024 19:11 13s virgil-serbanuta:issue-4683
virgil-serbanuta:issue-4683
November 15, 2024 19:11 13s
Take result attributes directly from the production when resolving contexts Test PR #465: Pull request #4685 opened by virgil-serbanuta
November 15, 2024 18:40 13s virgil-serbanuta:issue-4683
virgil-serbanuta:issue-4683
November 15, 2024 18:40 13s
Allow including lemmas dynamically into APRProver Test PR #464: Pull request #4681 opened by ehildenb
November 12, 2024 06:01 29s custom-modules-for-proofs
custom-modules-for-proofs
November 12, 2024 06:01 29s
Adding preserves-definedness attributes to domains.md Test PR #463: Pull request #4680 opened by PetarMax
November 2, 2024 14:22 27s petar/pres-def
petar/pres-def
November 2, 2024 14:22 27s
Adding Timer Hook Implementation for K Test PR #462: Pull request #4673 opened by Robertorosmaninho
October 22, 2024 21:22 21s timer-hook-impl
timer-hook-impl
October 22, 2024 21:22 21s
add hidden visibility flag Test PR #461: Pull request #4666 opened by dwightguth
October 17, 2024 15:56 26s hidden
hidden
October 17, 2024 15:56 26s
Marking simplifications that preserve definedness Test PR #460: Pull request #4662 opened by PetarMax
October 16, 2024 15:05 24s petar/simp-pres-def
petar/simp-pres-def
October 16, 2024 15:05 24s
TOML: use default profile values by default when another profile is active Test PR #459: Pull request #4657 opened by palinatolmach
October 8, 2024 11:05 24s always-use-default-toml-profile
always-use-default-toml-profile
October 8, 2024 11:05 24s
Bug: Correctly typing and initialising prior_loops_cache Test PR #458: Pull request #4654 opened by PetarMax
October 3, 2024 10:20 22s petar/loop-cache-type-correction
petar/loop-cache-type-correction
October 3, 2024 10:20 22s
Adding is-loop functionality Test PR #457: Pull request #4650 opened by PetarMax
September 25, 2024 07:05 22s petar/is-loop
petar/is-loop
September 25, 2024 07:05 22s
No trimming of split constraints when printed Test PR #456: Pull request #4644 opened by PetarMax
September 18, 2024 14:50 24s petar/constraint-printing
petar/constraint-printing
September 18, 2024 14:50 24s
Introducing the LLVMPatternMatchingFailureEvent class in ProofTrace module Test PR #455: Pull request #4643 opened by Robertorosmaninho
September 18, 2024 13:12 23s expose-pattern-matching-failure-event-to-pyk
expose-pattern-matching-failure-event-to-pyk
September 18, 2024 13:12 23s
Correct how pyk loads seqstrict attribute Test PR #454: Pull request #4641 opened by ehildenb
September 17, 2024 16:59 27s seqstrict-pyk
seqstrict-pyk
September 17, 2024 16:59 27s
Impure attribute in KORE Test PR #453: Pull request #4637 opened by dwightguth
September 11, 2024 14:06 27s impure
impure
September 11, 2024 14:06 27s
More readable and informative status bar Test PR #452: Pull request #4636 opened by PetarMax
September 11, 2024 09:47 25s petar/status-bar-adjustment
petar/status-bar-adjustment
September 11, 2024 09:47 25s
Minimize substitutions by default Test PR #451: Pull request #4635 opened by ehildenb
September 9, 2024 20:05 25s fix-subst-minimize
fix-subst-minimize
September 9, 2024 20:05 25s
Handle list random access patterns in frontend Test PR #450: Pull request #4634 opened by dwightguth
September 9, 2024 19:59 21s list-set
list-set
September 9, 2024 19:59 21s
Adjust the sort of mlEquals Test PR #449: Pull request #4633 opened by ehildenb
September 6, 2024 15:16 23s ml-equals-sort
ml-equals-sort
September 6, 2024 15:16 23s
Improvements/refactors to substitution extraction routine Test PR #448: Pull request #4631 opened by ehildenb
September 6, 2024 06:09 21s extract-subst-improvements
extract-subst-improvements
September 6, 2024 06:09 21s
Refactoring to KCFG printer for CSubst Test PR #447: Pull request #4630 opened by ehildenb
September 6, 2024 05:33 25s update-kcfg-printer
update-kcfg-printer
September 6, 2024 05:33 25s
Remove Subst.pred functionality Test PR #446: Pull request #4626 opened by ehildenb
September 5, 2024 22:21 21s remove-subst-pred
remove-subst-pred
September 5, 2024 22:21 21s
Cleanups to handling ml predicates and substitutions Test PR #445: Pull request #4625 opened by ehildenb
September 5, 2024 22:14 26s fix-subst-ml-pred
fix-subst-ml-pred
September 5, 2024 22:14 26s
release.yml: On failure run publish with verbose option enabled Test PR #444: Pull request #4623 opened by F-WRunTime
September 3, 2024 18:34 22s debug/release-build
debug/release-build
September 3, 2024 18:34 22s
Update poetry2nix Test PR #443: Pull request #4620 opened by goodlyrottenapple
September 2, 2024 16:05 19s sam/poetry2nix-pyk-update
sam/poetry2nix-pyk-update
September 2, 2024 16:05 19s