Skip to content

Actions: runtimeverification/haskell-backend

Actions

Bump version and make release job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pass args to the smt solver via --smt-arg (#4021) Bump version and make release job #69: Commit 9f70027 pushed by rv-jenkins
August 8, 2024 12:02 12m 17s master
master
August 8, 2024 12:02 12m 17s
Refactor booster smt (#4017) Bump version and make release job #68: Commit b6f8807 pushed by goodlyrottenapple
August 7, 2024 13:42 12m 7s master
master
August 7, 2024 13:42 12m 7s
Only send unevaluated functions to LLVM (#4018) Bump version and make release job #67: Commit 3ed541b pushed by rv-jenkins
August 7, 2024 12:29 12m 48s master
master
August 7, 2024 12:29 12m 48s
Remove "log-timing" and "log-fallbacks" RPC log options (#4015) Bump version and make release job #66: Commit def3190 pushed by rv-jenkins
August 6, 2024 12:30 12m 28s master
master
August 6, 2024 12:30 12m 28s
Update dependency: deps/k_release (#4004) Bump version and make release job #65: Commit 4bbd34b pushed by rv-jenkins
August 5, 2024 18:02 12m 4s master
master
August 5, 2024 18:02 12m 4s
EXPERIMENTS: shorten cache lookup chains, invalidate cache on new ens… Bump version and make release job #64: Commit ce5e392 pushed by rv-jenkins
August 5, 2024 12:02 12m 17s master
master
August 5, 2024 12:02 12m 17s
Allow matching empty sets (#4009) Bump version and make release job #63: Commit e4bd3aa pushed by rv-jenkins
August 1, 2024 12:49 12m 15s master
master
August 1, 2024 12:49 12m 15s
Booster interim simplification, refactor rewrite and logging paramete… Bump version and make release job #62: Commit 6fdb95b pushed by jberthold
August 1, 2024 12:00 12m 24s master
master
August 1, 2024 12:00 12m 24s
Add pyk implication tests to the rpc integration test suite (#3997) Bump version and make release job #61: Commit e5a921f pushed by rv-jenkins
July 30, 2024 16:02 12m 17s master
master
July 30, 2024 16:02 12m 17s
Booster: Avoid var. names from input substitution when creating new o… Bump version and make release job #60: Commit be64ead pushed by rv-jenkins
July 30, 2024 13:26 12m 1s master
master
July 30, 2024 13:26 12m 1s
Make SMTContext mandatory and merge Unknown with ReasonUnknown (#4003) Bump version and make release job #59: Commit f66df15 pushed by rv-jenkins
July 30, 2024 10:42 12m 33s master
master
July 30, 2024 10:42 12m 33s
Update dependency: deps/k_release (#3984) Bump version and make release job #58: Commit 3b90f2b pushed by jberthold
July 30, 2024 06:33 43s master
master
July 30, 2024 06:33 43s
add a small integration test for the new naming behaviour Bump version and make release job #57: Commit 4bfdfcd pushed by jberthold
July 30, 2024 06:31 1m 32s master
master
July 30, 2024 06:31 1m 32s
Update dependency: deps/k_release (#3984) Bump version and make release job #56: Commit 3b90f2b pushed by rv-jenkins
July 29, 2024 15:02 12m 45s master
master
July 29, 2024 15:02 12m 45s
remove SMT solver from RewriteStepState, use solver from arg. to eval… Bump version and make release job #55: Commit cff1bd6 pushed by geo2a
July 29, 2024 13:24 12m 44s master
master
July 29, 2024 13:24 12m 44s
Remove references to my contact details from repo (#3999) Bump version and make release job #54: Commit 613cb49 pushed by rv-jenkins
July 26, 2024 17:24 12m 41s master
master
July 26, 2024 17:24 12m 41s
Fixes to simplification diff, request statistics, process-logs (#3992) Bump version and make release job #53: Commit f0b3596 pushed by rv-jenkins
July 25, 2024 07:42 12m 24s master
master
July 25, 2024 07:42 12m 24s
Update kore-rpc-client to use tar-0.6.3 (#3996) Bump version and make release job #52: Commit 698c143 pushed by rv-jenkins
July 25, 2024 06:43 13m 17s master
master
July 25, 2024 06:43 13m 17s
Recover from TooManyIterations when simplifying during rewriting (#… Bump version and make release job #51: Commit 10ef196 pushed by rv-jenkins
July 23, 2024 11:22 12m 47s master
master
July 23, 2024 11:22 12m 47s
Fix SMT interaction in Booster (#3987) Bump version and make release job #50: Commit 1103673 pushed by geo2a
July 18, 2024 15:18 12m 22s master
master
July 18, 2024 15:18 12m 22s
remove event log tracing code (#3988) Bump version and make release job #49: Commit 6203f33 pushed by rv-jenkins
July 18, 2024 11:23 12m 18s master
master
July 18, 2024 11:23 12m 18s
Use a release- prefix for the tag on master (#3986) Bump version and make release job #48: Commit 5fdd57a pushed by rv-jenkins
July 17, 2024 13:04 13m 6s master
master
July 17, 2024 13:04 13m 6s
HOTFIX master.yml: Push version tag to origin (#3985) Bump version and make release job #47: Commit c93594b pushed by rv-jenkins
July 17, 2024 11:23 12m 24s master
master
July 17, 2024 11:23 12m 24s
HOTFIX Better version information (#3983) Bump version and make release job #46: Commit 8ee0dad pushed by jberthold
July 17, 2024 10:35 12m 7s master
master
July 17, 2024 10:35 12m 7s
Update dependency: deps/k_release (#3965) Bump version and make release job #45: Commit b07c939 pushed by rv-jenkins
July 17, 2024 04:26 12m 33s master
master
July 17, 2024 04:26 12m 33s