inc version

Signed-off-by: Nikolaj Bjorner <[email protected]>

fix closing parnetheses

Signed-off-by: Nikolaj Bjorner <[email protected]>

inc release number

Signed-off-by: Nikolaj Bjorner <[email protected]>

startswith

Signed-off-by: Nikolaj Bjorner <[email protected]>

Merge branch 'master' of https://github.com/z3prover/z3

update release notes

Signed-off-by: Nikolaj Bjorner <[email protected]>

Update release.yml for Azure Pipelines

enable pypi release

Signed-off-by: Nikolaj Bjorner <[email protected]>

wasm build: disable error handler (Z3Prover#5996)

* wasm: set error handler to no-op

* wasm: better wrapper for use in html

remove buggy code, close, fix Z3Prover#5825

Signed-off-by: Nikolaj Bjorner <[email protected]>