Update dependency: deps/llvm-backend_release#4715

Merged

automergerpr-permission-manager[bot] merged 18 commits intodevelopfrom _update-deps/runtimeverification/llvm-backend

Jan 14, 2025

+107-33

Commits on Dec 17, 2024

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

Commits on Dec 19, 2024

Merge remote-tracking branch 'origin/develop' into _update-deps/runtimeverification/llvm-backend
devops
committed
deps/llvm-backend_release: Set Version 0.1.121
devops
committed
flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.121
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed

Commits on Dec 29, 2024

Merge branch 'develop' into _update-deps/runtimeverification/llvm-backend
PetarMax
authored

Commits on Jan 10, 2025

Merge remote-tracking branch 'origin/develop' into _update-deps/runtimeverification/llvm-backend
devops
committed
deps/llvm-backend_release: Set Version 0.1.122
devops
committed
flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.122
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed