Code

Support get_fstar_z3.sh on macos#3646

Code

Merged

gebner merged 2 commits intomasterFStarLang/FStar:masterfrom gebner_getz3_macosFStarLang/FStar:gebner_getz3_macosCopy head branch name to clipboardDec 26, 2024

+43-15

Commits

Commits on Dec 22, 2024

• Drop associative arrays.

  gebner

  committed
  d11d2b9

  Copy full SHA for d11d2b9

Commits on Dec 26, 2024

• Download x86_64 for 4.8.5 on aarch64

  gebner

  committed
  fb063f6

  Copy full SHA for fb063f6