Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-pr.yml
78 workflow run results
78 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove flatten_label recursion Test PR #368: Pull request #4361 opened by JuanCoRo
May 16, 2024 16:19 18s remove-flatten-label-recursion
remove-flatten-label-recursion
May 16, 2024 16:19 18s
Proof container proof type Test PR #367: Pull request #4358 synchronize by nwatson22
May 15, 2024 23:24 26s noah/multi-proof
noah/multi-proof
May 15, 2024 23:24 26s
Proof container proof type Test PR #366: Pull request #4358 opened by nwatson22
May 15, 2024 23:24 12s noah/multi-proof
noah/multi-proof
May 15, 2024 23:24 12s
Reduce verbosity of the subsumption check message in pyk.proof.reachability Test PR #365: Pull request #4348 opened by anvacaru
May 14, 2024 14:39 18s anvacaru/implies-log
anvacaru/implies-log
May 14, 2024 14:39 18s
Simplify the initial state before computing it's definedness Test PR #364: Pull request #4347 opened by anvacaru
May 14, 2024 14:31 19s anvacaru/cterm_simplify
anvacaru/cterm_simplify
May 14, 2024 14:31 19s
Simplify the initial state before computing it's definedness Test PR #363: Pull request #4346 synchronize by anvacaru
May 14, 2024 14:26 8s anvacaru/560
anvacaru/560
May 14, 2024 14:26 8s
Simplify the initial state before computing it's definedness Test PR #362: Pull request #4346 opened by anvacaru
May 14, 2024 14:26 18s anvacaru/560
anvacaru/560
May 14, 2024 14:26 18s
Add support for parallel Booster kompilation Test PR #361: Pull request #4345 opened by tothtamas28
May 14, 2024 13:10 22s kompile-backend-booster
kompile-backend-booster
May 14, 2024 13:10 22s
pyk RPC: bug-report w/o dt dir Test PR #360: Pull request #4340 opened by jberthold
May 13, 2024 04:05 21s jb/pyk-rpc-fixes
jb/pyk-rpc-fixes
May 13, 2024 04:05 21s
Fix import_kllvm in Pyk and modifying imports in ProofTrace Test PR #359: Pull request #4339 opened by Robertorosmaninho
May 10, 2024 17:44 21s fix_import_kllvm
fix_import_kllvm
May 10, 2024 17:44 21s
Add textual KAST parser to pyk Test PR #358: Pull request #4336 opened by tothtamas28
May 10, 2024 11:55 25s kast-parser
kast-parser
May 10, 2024 11:55 25s
Expose booster-dev from flake Test PR #357: Pull request #4335 opened by geo2a
May 10, 2024 07:31 26s georgy/flake-expose-booster-dev
georgy/flake-expose-booster-dev
May 10, 2024 07:31 26s
Add is_loop predicate to KCFGSemantics and derived classes Test PR #356: Pull request #4329 opened by nwatson22
May 8, 2024 22:52 25s noah/is-loop-head
noah/is-loop-head
May 8, 2024 22:52 25s
Add test for proof progressing on reload Test PR #355: Pull request #4327 opened by nwatson22
May 8, 2024 18:20 18s noah/test-proof-reload
noah/test-proof-reload
May 8, 2024 18:20 18s
Support NULL return from requires binding of get_requires() Test PR #354: Pull request #4326 opened by Robertorosmaninho
May 8, 2024 17:56 28s fix-get_requires
fix-get_requires
May 8, 2024 17:56 28s
Fix main prover in parallel_advance_proof not being closed Test PR #353: Pull request #4323 opened by nwatson22
May 7, 2024 19:05 20s noah/parallel-resource-fix
noah/parallel-resource-fix
May 7, 2024 19:05 20s
Add class Formatter Test PR #352: Pull request #4322 opened by tothtamas28
May 7, 2024 14:00 20s pyk-formatter
pyk-formatter
May 7, 2024 14:00 20s
Increase heap size in frontend compiler Test PR #351: Pull request #4320 opened by Baltoli
May 7, 2024 10:23 20s bump-heap
bump-heap
May 7, 2024 10:23 20s
Replace LLVMREwriteEvent with llvm_rewrite_event Test PR #350: Pull request #4310 opened by Robertorosmaninho
May 3, 2024 14:25 17s Fix-CamelCase-LLVMREwriteEvent
Fix-CamelCase-LLVMREwriteEvent
May 3, 2024 14:25 17s
Renaming satisfiable to valid for ImpliesResult Test PR #349: Pull request #4305 synchronize by PetarMax
May 1, 2024 15:18 25s petar/implication-reasoning
petar/implication-reasoning
May 1, 2024 15:18 25s
Renaming satisfiable to valid for ImpliesResult Test PR #348: Pull request #4305 opened by PetarMax
May 1, 2024 15:18 10s petar/implication-reasoning
petar/implication-reasoning
May 1, 2024 15:18 10s
Minimizing branching constraints Test PR #347: Pull request #4299 synchronize by PetarMax
April 30, 2024 17:59 27s petar/minimizing-branching-constraints
petar/minimizing-branching-constraints
April 30, 2024 17:59 27s
Minimizing branching constraints Test PR #346: Pull request #4299 opened by PetarMax
April 30, 2024 17:58 17s petar/minimizing-branching-constraints
petar/minimizing-branching-constraints
April 30, 2024 17:58 17s
Add --kore-rpc-command option to pyk prove Test PR #345: Pull request #4296 opened by geo2a
April 30, 2024 14:14 18s georgy/pyk-prove-add-missing-options
georgy/pyk-prove-add-missing-options
April 30, 2024 14:14 18s
Minimize boilerplate when building Commands/Options Test PR #344: Pull request #4292 opened by nwatson22
April 27, 2024 00:08 19s noah/options-2
noah/options-2
April 27, 2024 00:08 19s