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

Add mx performance script (#567) Release #203: Commit 754e6ca pushed by goodlyrottenapple
April 4, 2024 13:55 1m 13s main
main
April 4, 2024 13:55 1m 13s
Compute hashes correctly when constructing internalised collections (… Release #202: Commit 34305b1 pushed by rv-jenkins
April 4, 2024 11:02 11s main
main
April 4, 2024 11:02 11s
Update dependency: deps/haskell-backend_release (#565) Release #201: Commit 1e4cc49 pushed by rv-jenkins
April 4, 2024 06:42 11s main
main
April 4, 2024 06:42 11s
Update dependency: deps/k_release (#559) Release #200: Commit 5a28d11 pushed by rv-jenkins
April 3, 2024 17:42 11s main
main
April 3, 2024 17:42 11s
More information on equations in logs (#566) Release #199: Commit d66edcd pushed by rv-jenkins
April 3, 2024 13:42 11s main
main
April 3, 2024 13:42 11s
Return rule-id's in execute response (#561) Release #198: Commit bafee82 pushed by goodlyrottenapple
April 3, 2024 11:03 11s main
main
April 3, 2024 11:03 11s
Call hpack in fourmolu format CI check (#564) Release #197: Commit 2672c00 pushed by rv-jenkins
March 27, 2024 23:23 13s main
main
March 27, 2024 23:23 13s
revert debug Release #196: Commit fa56cc8 pushed by goodlyrottenapple
March 27, 2024 16:05 12s main
main
March 27, 2024 16:05 12s
debug Release #195: Commit 6b18d57 pushed by goodlyrottenapple
March 27, 2024 16:04 12s main
main
March 27, 2024 16:04 12s
479 do not backtranslate fancy sorts in get-model (#563) Release #194: Commit 248f67b pushed by rv-jenkins
March 27, 2024 11:02 11s main
main
March 27, 2024 11:02 11s
Update dependency: deps/haskell-backend_release (#562) Release #193: Commit 1653f52 pushed by rv-jenkins
March 27, 2024 07:42 12s main
main
March 27, 2024 07:42 12s
Log ceil analysis with -l Ceil (#510) Release #192: Commit c2b6455 pushed by goodlyrottenapple
March 26, 2024 10:32 11s main
main
March 26, 2024 10:32 11s
Update dependency: deps/haskell-backend_release (#557) Release #191: Commit f18a030 pushed by rv-jenkins
March 25, 2024 23:25 11s main
main
March 25, 2024 23:25 11s
Update dependency: deps/k_release (#534) Release #190: Commit 99a39cb pushed by rv-jenkins
March 24, 2024 23:41 16s main
main
March 24, 2024 23:41 16s
ApplyEquations refactor (#555) Release #189: Commit 78c457e pushed by goodlyrottenapple
March 22, 2024 09:29 11s main
main
March 22, 2024 09:29 11s
549 use get model booster implementation in proxy (#556) Release #188: Commit 88ffab5 pushed by rv-jenkins
March 21, 2024 09:41 15s main
main
March 21, 2024 09:41 15s
Add bug report option to the kontrol performance script (#541) Release #187: Commit 36d54e0 pushed by rv-jenkins
March 21, 2024 09:02 13s main
main
March 21, 2024 09:02 13s
Emit JSON simplification logs with -l SimplifyJson (#516) Release #186: Commit d090886 pushed by rv-jenkins
March 21, 2024 08:25 13s main
main
March 21, 2024 08:25 13s
Update dependency: deps/haskell-backend_release (#554) Release #185: Commit b21ce14 pushed by rv-jenkins
March 21, 2024 07:42 14s main
main
March 21, 2024 07:42 14s
Fix unification case between inj and function (#544) Release #184: Commit 8c26ad4 pushed by rv-jenkins
March 14, 2024 11:23 12s main
main
March 14, 2024 11:23 12s
Separate llvm pass from equation evaluator (#543) Release #183: Commit ef22c88 pushed by jberthold
March 9, 2024 04:27 12s main
main
March 9, 2024 04:27 12s
Fix abort reason analysis script, wait longer for server (#542) Release #182: Commit cd8bac1 pushed by jberthold
March 7, 2024 10:01 13s main
main
March 7, 2024 10:01 13s
Remove the code that handles redirecting the GHC eventlog into a file… Release #181: Commit 1644ab5 pushed by rv-jenkins
March 6, 2024 10:25 14s main
main
March 6, 2024 10:25 14s
Update dependency: deps/haskell-backend_release (#535) Release #180: Commit 243529c pushed by rv-jenkins
March 5, 2024 09:25 13s main
main
March 5, 2024 09:25 13s
519 - use SmtSolverError for all Smt-related errors in booster (#525) Release #179: Commit 099d445 pushed by rv-jenkins
March 5, 2024 08:25 10s main
main
March 5, 2024 08:25 10s