Update dependency: deps/llvm-backend_release#4582

Merged

rv-jenkins merged 13 commits intodevelopfrom _update-deps/runtimeverification/llvm-backend

Aug 20, 2024

+7-7

Commits on Aug 9, 2024

deps/llvm-backend_release: Set Version 0.1.78
devops
committed
flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.78
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed
deps/llvm-backend_release: Set Version 0.1.79
devops
committed
flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.79
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed

Commits on Aug 20, 2024