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

Shorten simplification warning and error messages (#489) Release #153: Commit 5976645 pushed by rv-jenkins
February 1, 2024 16:02 13s main
main
February 1, 2024 16:02 13s
Fix pattern AndBool and friends that did not match the _andBool_ … Release #152: Commit bbeedd6 pushed by rv-jenkins
February 1, 2024 11:41 10s main
main
February 1, 2024 11:41 10s
Remove states from RPC logs, include only rule unique IDs (#484) Release #151: Commit a15ebef pushed by rv-jenkins
February 1, 2024 10:42 12s main
main
February 1, 2024 10:42 12s
Don't change directory in Nix flakes's dev shell (#485) Release #150: Commit 3ee0794 pushed by rv-jenkins
January 31, 2024 11:21 11s main
main
January 31, 2024 11:21 11s
Make connection attempts an env variable (#482) Release #149: Commit 697de69 pushed by rv-jenkins
January 31, 2024 10:01 14s main
main
January 31, 2024 10:01 14s
Run single threaded by default (#483) Release #148: Commit 0ef6ecd pushed by goodlyrottenapple
January 30, 2024 13:52 14s main
main
January 30, 2024 13:52 14s
Revert "Don't lose traces in Booster" (#481) Release #147: Commit b406bd4 pushed by goodlyrottenapple
January 30, 2024 13:13 14s main
main
January 30, 2024 13:13 14s
Use explicit IPv4 localhost address (#480) Release #146: Commit 0096f93 pushed by rv-jenkins
January 29, 2024 19:21 10s main
main
January 29, 2024 19:21 10s
Update dependency: deps/haskell-backend_release (#479) Release #145: Commit f4cc133 pushed by rv-jenkins
January 29, 2024 07:41 13s main
main
January 29, 2024 07:41 13s
Don't lose traces in Booster (#470) Release #144: Commit a956edb pushed by rv-jenkins
January 24, 2024 12:48 11s main
main
January 24, 2024 12:48 11s
Concurrent kore-rpc-booster (#427) Release #143: Commit 0f11436 pushed by goodlyrottenapple
January 24, 2024 10:10 11s main
main
January 24, 2024 10:10 11s
Update dependency: deps/haskell-backend_release (#473) Release #142: Commit 889e046 pushed by rv-jenkins
January 23, 2024 14:25 13s main
main
January 23, 2024 14:25 13s
Update dependency: deps/k_release (#448) Release #141: Commit f295a6a pushed by rv-jenkins
January 22, 2024 10:26 12s main
main
January 22, 2024 10:26 12s
Update dependency: deps/haskell-backend_release (#450) Release #140: Commit 76fd9a6 pushed by rv-jenkins
January 19, 2024 15:02 12s main
main
January 19, 2024 15:02 12s
LLVM lib error handling (#469) Release #139: Commit d153e54 pushed by rv-jenkins
January 18, 2024 15:42 8s main
main
January 18, 2024 15:42 8s
433 syntactically filter requires-clauses / apply substitutions from … Release #138: Commit 60beeb0 pushed by rv-jenkins
January 18, 2024 12:02 15s main
main
January 18, 2024 12:02 15s
KEVM abort analysis script (#462) Release #137: Commit d8351d2 pushed by goodlyrottenapple
January 17, 2024 12:23 12s main
main
January 17, 2024 12:23 12s
Documentation of the booster architecture (#454) Release #136: Commit 6067fee pushed by rv-jenkins
January 16, 2024 16:27 15s main
main
January 16, 2024 16:27 15s
Consolidate variable marking API (#461) Release #135: Commit 2d2dd7f pushed by rv-jenkins
January 16, 2024 08:26 11s main
main
January 16, 2024 08:26 11s
271 recursive simplification of constraints during evaluation (#455) Release #134: Commit 98e9b26 pushed by rv-jenkins
January 15, 2024 23:02 13s main
main
January 15, 2024 23:02 13s
Refactor equals k to follow hook structure (#458) Release #133: Commit 04b25dd pushed by jberthold
January 15, 2024 11:39 16s main
main
January 15, 2024 11:39 16s
Revert "Revert "Enable preserving-definedness ... (#440)" (#441) Release #132: Commit 4948a2f pushed by rv-jenkins
January 15, 2024 07:23 13s main
main
January 15, 2024 07:23 13s
Improve handling of ?-variables (#453) Release #131: Commit bdc5d37 pushed by rv-jenkins
January 12, 2024 11:41 12s main
main
January 12, 2024 11:41 12s
437 implement #if_#then_#else hook (#442) Release #130: Commit a673bb5 pushed by jberthold
January 12, 2024 02:04 10s main
main
January 12, 2024 02:04 10s
Assume definedness of current configuration in HB when falling back … Release #129: Commit c3436ba pushed by rv-jenkins
January 11, 2024 15:24 12s main
main
January 11, 2024 15:24 12s