Code

js: Adding manual release methods#7428

Code

Merged

NikolajBjorner merged 4 commits intoZ3Prover:masterZ3Prover/z3:masterfrom HalfdanJ:js-dec-refHalfdanJ/z3:js-dec-refCopy head branch name to clipboardOct 22, 2024

+75-21

Commits

Commits on Oct 19, 2024

• js: Adding manual release methods

  HalfdanJ

  committed
  f2dfee2

  Copy full SHA for f2dfee2

Commits on Oct 20, 2024

• Add unregister token

  HalfdanJ

  committed
  194f4d4

  Copy full SHA for 194f4d4

Commits on Oct 21, 2024

• Add pointer assertion

  HalfdanJ

  committed
  c92ab91

  Copy full SHA for c92ab91

• Add missing line

  HalfdanJ

  committed
  23fe35d

  Copy full SHA for 23fe35d