You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jan 11, 2022. It is now read-only.
We are currently compiling Z3 to WebAssembly using the -pthread option, the reason for this is because Z3 seems to be using some Z3 functionality.
Emscripten supports pthreads, but needs a SharedArrayBuffer which is only available on pages that have specific COP headers set [1].
This somewhat limits the hosting possibilities (although they can be mitigated using service workers [2]).
Using the Z3 supported --single-threaded option does not seem to resolve the issue.
The proposal of this issue is to investigate the origins of the pthread dependency, and remove it from Z3 (either by doing some automated patch work, or by contributing a fix to the official Z3 repository).
We are currently compiling Z3 to WebAssembly using the -pthread option, the reason for this is because Z3 seems to be using some Z3 functionality.
Emscripten supports pthreads, but needs a SharedArrayBuffer which is only available on pages that have specific COP headers set [1].
This somewhat limits the hosting possibilities (although they can be mitigated using service workers [2]).
Using the Z3 supported --single-threaded option does not seem to resolve the issue.
The proposal of this issue is to investigate the origins of the pthread dependency, and remove it from Z3 (either by doing some automated patch work, or by contributing a fix to the official Z3 repository).
[1] https://emscripten.org/docs/porting/pthreads.html
[2] https://github.com/gzuidhof/coi-serviceworker
The text was updated successfully, but these errors were encountered: