Skip to content

Actions: runtimeverification/hs-backend-booster

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Internalisation checks for symbol application (#447) Release #128: Commit beab5ee pushed by goodlyrottenapple
January 11, 2024 14:53 13s main
main
January 11, 2024 14:53 13s
HOTFIX: restore subsort injections removed by LLVM (#452) Release #127: Commit 6dd78c2 pushed by rv-jenkins
January 10, 2024 15:02 14s main
main
January 10, 2024 15:02 14s
431 handle raw term from llvm part 2 (#439) Release #126: Commit a41c97f pushed by goodlyrottenapple
January 8, 2024 14:18 12s main
main
January 8, 2024 14:18 12s
Update dependency: deps/k_release (#418) Release #125: Commit 6ce9aaf pushed by goodlyrottenapple
January 8, 2024 13:44 19s main
main
January 8, 2024 13:44 19s
Remove --use-booster from performance-test-kontrol.sh (#444) Release #124: Commit 445bc07 pushed by geo2a
December 21, 2023 09:36 12s main
main
December 21, 2023 09:36 12s
431 handle raw term from llvm (#438) Release #123: Commit 4a693bc pushed by rv-jenkins
December 20, 2023 22:42 9s main
main
December 20, 2023 22:42 9s
Revert "Enable preserving-definedness ... (#440) Release #122: Commit c6edfad pushed by geo2a
December 20, 2023 13:26 10s main
main
December 20, 2023 13:26 10s
Update dependency: deps/haskell-backend_release (#425) Release #121: Commit 65c2d7c pushed by geo2a
December 20, 2023 11:31 13s main
main
December 20, 2023 11:31 13s
Make ceil generation of in_keys more robust (#429) Release #120: Commit 4ab3fc3 pushed by geo2a
December 19, 2023 13:06 10s main
main
December 19, 2023 13:06 10s
(Dev.) Options to control fall-back reasons and post-exec simplificat… Release #119: Commit 152d94d pushed by rv-jenkins
December 19, 2023 10:42 13s main
main
December 19, 2023 10:42 13s
Hotfix avoid entering a bogus equation loop through recursion (#435) Release #118: Commit bd40059 pushed by jberthold
December 19, 2023 10:14 11s main
main
December 19, 2023 10:14 11s
Use internal sorts when externalising (#432) Release #117: Commit edfffbc pushed by rv-jenkins
December 18, 2023 22:25 13s main
main
December 18, 2023 22:25 13s
Enable preserving-definedness atrribute for rules discovered during c… Release #116: Commit ad46990 pushed by rv-jenkins
December 18, 2023 13:04 10s main
main
December 18, 2023 13:04 10s
More Abort/Fallback logging and better predicate simplification (#430) Release #115: Commit 9b87f1e pushed by rv-jenkins
December 18, 2023 11:42 12s main
main
December 18, 2023 11:42 12s
Multi request rpc client (#428) Release #114: Commit 79f0aee pushed by rv-jenkins
December 18, 2023 10:42 12s main
main
December 18, 2023 10:42 12s
Handle conflicting DomainValues in bindVariable (#420) Release #113: Commit 6e29375 pushed by geo2a
December 13, 2023 11:10 13s main
main
December 13, 2023 11:10 13s
384 409 rework predicate internalisation (#416) Release #112: Commit e39ac19 pushed by rv-jenkins
December 13, 2023 01:00 15s main
main
December 13, 2023 01:00 15s
Partial revert of #378 - Fix incorrect KMap injections, received fro… Release #111: Commit 83c33a5 pushed by goodlyrottenapple
December 12, 2023 09:53 14s main
main
December 12, 2023 09:53 14s
Update dependency: deps/k_release (#379) Release #110: Commit 0f4af13 pushed by goodlyrottenapple
December 11, 2023 16:14 10s main
main
December 11, 2023 16:14 10s
Ceil simplifier + static ceil computation for rewrite rules (#402) Release #109: Commit be7a631 pushed by goodlyrottenapple
December 11, 2023 12:18 15s main
main
December 11, 2023 12:18 15s
Abort when Kore's simplifier throws DecidePredicateUnknown (#392) Release #108: Commit 9469f18 pushed by rv-jenkins
December 8, 2023 13:42 14s main
main
December 8, 2023 13:42 14s
Georgy/fix rule unification (#408) Release #107: Commit c841bfa pushed by rv-jenkins
December 7, 2023 16:44 15s main
main
December 7, 2023 16:44 15s
Update dependency: deps/haskell-backend_release (#412) Release #106: Commit 7fa6410 pushed by rv-jenkins
December 7, 2023 13:30 14s main
main
December 7, 2023 13:30 14s
Revert "Do not simplify before calling kore-rpc #362" (#403) Release #105: Commit 52fffaf pushed by rv-jenkins
December 7, 2023 12:02 13s main
main
December 7, 2023 12:02 13s
Misc dev fixes (#411) Release #104: Commit e6752d1 pushed by rv-jenkins
December 6, 2023 22:26 10s main
main
December 6, 2023 22:26 10s