Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Cleanup CI steps Test PR #442: Pull request #4611 opened by ehildenb
August 28, 2024 17:32 1m 48s cleanup-ci
cleanup-ci
August 28, 2024 17:32 1m 48s
add ubuntu noble release Test PR #441: Pull request #4608 opened by dwightguth
August 26, 2024 14:59 35s noble
noble
August 26, 2024 14:59 35s
Start kdist workers with spawn Test PR #440: Pull request #4601 opened by tothtamas28
August 21, 2024 10:15 29s kdist-spawn
kdist-spawn
August 21, 2024 10:15 29s
Reusing backend information to construct KCFGs more efficiently Test PR #439: Pull request #4590 opened by PetarMax
August 14, 2024 21:31 18s petar/streamlining-branching
petar/streamlining-branching
August 14, 2024 21:31 18s