Code

Update dependency: deps/z3#4720

Code

Merged

automergerpr-permission-manager[bot] merged 3 commits intodevelopruntimeverification/k:developfrom _update-deps/runtimeverification/z3-imagesruntimeverification/k:_update-deps/runtimeverification/z3-imagesCopy head branch name to clipboardJan 7, 2025

+2-2

Commits

Commits on Jan 6, 2025

• deps/z3: Set Version 4.13.4

  

  devops

  committed
  3e3db2c

  Copy full SHA for 3e3db2c

Commits on Jan 7, 2025

• Update z3 version in ubuntu-noble docker image

  palinatolmach

  committed
  2b8d506

  Copy full SHA for 2b8d506

• Merge branch 'develop' into _update-deps/runtimeverification/z3-images

  palinatolmach

  authored
  aa67d8c

  Copy full SHA for aa67d8c