Update dependency: haskell-backend/src/main/native/haskell-backend#3143
Merged
ana-pantilie merged 6 commits intodevelopfrom _update-deps_runtimeverification_haskell-backendFeb 7, 2023
+4-4
Commits
Commits on Feb 7, 2023
haskell-backend/src/main/native/haskell-backend: 86798cf72 - Reorganize the functions parameters in kore-exec Main (#3485)
committed- committed
rv-jenkins haskell-backend/src/main/native/haskell-backend: d2b439a05 - If stuck retry full simplification once (#3459)
committed- committedrv-jenkins
haskell-backend/src/main/native/haskell-backend: 74bc7a963 - kore-rpc: call smt solver, handle trivial check impl properly (#3487)
committed- committedrv-jenkins
