Code

Upgrade F* to use Z3 4.13.3#3631

Code

Merged

mtzguido merged 17 commits intomasterFStarLang/FStar:masterfrom nik_z3_4.13.3FStarLang/FStar:nik_z3_4.13.3Copy head branch name to clipboardDec 16, 2024

+571-124

Commits

Commits on Dec 13, 2024

• moving to z3-4.13.3

  

  nikswamy

  authored and

  mtzguido

  committed
  7ad0d61

  Copy full SHA for 7ad0d61

• explicitly use 4.13.3 everywhere

  

  nikswamy

  authored and

  mtzguido

  committed
  885893e

  Copy full SHA for 885893e

• Add script to get Z3 versions.

  

  gebner

  authored and

  mtzguido

  committed
  ca76a4f

  Copy full SHA for ca76a4f

• Use get_fstar_z3.sh in dockerfile.

  

  gebner

  authored and

  mtzguido

  committed
  7d2cbab

  Copy full SHA for 7d2cbab

• Remove unused install.sh file.

  

  gebner

  authored and

  mtzguido

  committed
  94183f4

  Copy full SHA for 94183f4

• Use get_fstar_z3 script in devcontainer dockerfile.

  

  gebner

  authored and

  mtzguido

  committed
  7c94787

  Copy full SHA for 7c94787

• Remove z3 from opam dependencies.

  

  gebner

  authored and

  mtzguido

  committed
  9b78160

  Copy full SHA for 9b78160

• Fix devcontainer build.

  

  gebner

  authored and

  mtzguido

  committed
  88d67e4

  Copy full SHA for 88d67e4

• Update README.

  

  gebner

  authored and

  mtzguido

  committed
  9b4e6c8

  Copy full SHA for 9b4e6c8

• Fix nix build.

  

  gebner

  authored and

  mtzguido

  committed
  90ae03f

  Copy full SHA for 90ae03f

• nu_base.Dockerfile: install z3-4.13.3 too, bump to ubuntu 24.04

  mtzguido

  committed
  3a1d287

  Copy full SHA for 3a1d287

• fstar.opam: admit queries while building, avoids need for Z3

  mtzguido

  committed
  135acd5

  Copy full SHA for 135acd5

• get_fstar_z3: do not crash on missing release

  

  gebner

  authored and

  mtzguido

  committed
  3fe1be9

  Copy full SHA for 3fe1be9

• a python notebook to diff query stats

  

  nikswamy

  authored and

  mtzguido

  committed
  a462b9a

  Copy full SHA for a462b9a

• oops

  gebner

  committed
  6fb59fd

  Copy full SHA for 6fb59fd

Commits on Dec 14, 2024

• Merge branch 'master' into nik_z3_4.13.3

  mtzguido

  authored
  df007ed

  Copy full SHA for df007ed

Commits on Dec 16, 2024

• Merge branch 'master' into nik_z3_4.13.3

  mtzguido

  authored
  5a057e7

  Copy full SHA for 5a057e7