New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

JS/TS: add Optimize class #6712

Merged

NikolajBjorner merged 4 commits into Z3Prover:master from gbagan:master

May 6, 2023

Contributor

gbagan commented May 6, 2023

add an Optimize class in the Typescript high level API
add tests for this class
add _malloc to exported functions (fix javascript tests fail with the error "TypeError: Mod._malloc is not a function" #6709)

gbagan added 4 commits

May 6, 2023 00:35


          implement Optimize class for the high level Typescript API

835ab4c


          javascript and wasm: add _malloc to exported functions

816dd05

fix the bug Z3Prover#6709


          javascript: add tests for the Optimize class

acac7e1


          javascript: no reason that minimize and optimize must be constants

f551a4a

Contributor Author

gbagan commented May 6, 2023

@microsoft-github-policy-service agree

NikolajBjorner merged commit 0c9a5f6 into Z3Prover:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment