Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Sort Ambiguity items before reporting error Test PR #343: Pull request #4289 opened by Scott-Guest
April 26, 2024 19:59 18s sort-amb
sort-amb
April 26, 2024 19:59 18s
PyK wrappers for the proof trace python bindings Test PR #342: Pull request #4288 opened by theo25
April 26, 2024 18:44 20s pyk-proof-trace
pyk-proof-trace
April 26, 2024 18:44 20s
Revert constraint unsortedness Test PR #341: Pull request #4281 opened by PetarMax
April 25, 2024 10:41 19s petar/revert-constraint-unsortedness
petar/revert-constraint-unsortedness
April 25, 2024 10:41 19s