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
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Georgy/refactor check requires (#4035) Bump version and make release job #74: Commit 3d7e91d pushed by rv-jenkins
August 15, 2024 12:03 12m 49s master
master
August 15, 2024 12:03 12m 49s
bump z3 version to 4.13.0 (#4032) Bump version and make release job #73: Commit 95155fc pushed by rv-jenkins
August 14, 2024 10:02 11m 54s master
master
August 14, 2024 10:02 11m 54s
Back-translate the SMTLIB unary minus, ignore models in "get-model"… Bump version and make release job #72: Commit 53d55df pushed by rv-jenkins
August 14, 2024 08:30 12m 46s master
master
August 14, 2024 08:30 12m 46s
Update dependency: deps/k_release (#4016) Bump version and make release job #71: Commit 08dbeab pushed by rv-jenkins
August 12, 2024 16:44 12m 21s master
master
August 12, 2024 16:44 12m 21s
Set user supplied value when checking the SMT prelude in booster (#4030) Bump version and make release job #70: Commit 8fc07af pushed by rv-jenkins
August 12, 2024 12:50 12m 17s master
master
August 12, 2024 12:50 12m 17s
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