Code

Update dependency: deps/z3#2675

Code

Merged

automergerpr-permission-manager[bot] merged 5 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/z3-imagesruntimeverification/evm-semantics:_update-deps/runtimeverification/z3-imagesCopy head branch name to clipboardJan 13, 2025

+3-5

Commits

Commits on Jan 6, 2025

• deps/z3: Set Version 4.13.4

  

  devops

  committed
  68b2202

  Copy full SHA for 68b2202

Commits on Jan 7, 2025

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

  palinatolmach

  authored
  40e1774

  Copy full SHA for 40e1774

Commits on Jan 9, 2025

• Experimental: double smt timeout, retry limit for examples/sum-to-n-spec.k

  palinatolmach

  committed
  ab5b7ec

  Copy full SHA for ab5b7ec

Commits on Jan 13, 2025

• temporary fix

  PetarMax

  committed
  04927d3

  Copy full SHA for 04927d3

• Revert timeout bump

  palinatolmach

  committed
  5856efb

  Copy full SHA for 5856efb