Code

Update emscripten#7473

Code

Merged

NikolajBjorner merged 6 commits intoZ3Prover:masterZ3Prover/z3:masterfrom bakkot:update-emscriptenbakkot/z3:update-emscriptenCopy head branch name to clipboardDec 7, 2024

+275-108

Commits

Commits on Dec 6, 2024

• fixes for newer emscripten thread handling behavior

  bakkot

  committed
  df793f9

  Copy full SHA for df793f9

• fix return type for async wrapper functions

  bakkot

  committed
  2d903aa

  Copy full SHA for 2d903aa

• update prettier

  bakkot

  committed
  d93a8fd

  Copy full SHA for d93a8fd

• update typescript and fix errors

  bakkot

  committed
  bd41f85

  Copy full SHA for bd41f85

• update emscripten version in CI

  bakkot

  committed
  d0f8db4

  Copy full SHA for d0f8db4

• update js readme about tests

  bakkot

  committed
  e6b78c3

  Copy full SHA for e6b78c3