Code

update z3 to 4.14.0#1316

Code

Draft

Catoverflow wants to merge 1 commit intoverus-lang:mainverus-lang/verus:mainfrom Catoverflow:mainCatoverflow/verus:mainCopy head branch name to clipboard

+8-7

Commits

Commits on Feb 19, 2025

• update default z3 version to 4.14.0

  Show description for b30720a
  

  Catoverflow

  and

  utaal

  committed
  b30720a

  Copy full SHA for b30720a