z3.wasm
z3.wasm copied to clipboard
cpitclaudel
Update to latest z3 version
There are now official builds and bindings of z3, with full support for threads in cases like timers. Initial load also takes less than 3 seconds on latest Safari, Chrome and Firefox. I adapted your UI to the official release and released it here as a static GitHub page: https://github.com/ViRb3/z3-wasm
That looks really good @ViRb3 ! For the parts you recycled from this repo, please do keep the license terms in mind (including the copyright notice)
Hey @cpitclaudel, sorry, I made the repo in a bit of a rush and didn't include a proper LICENSE file, though I did credit you in the README. Would it be okay if I include your license a LICENSE file, or would you like it as headers in each file that originates from here?
Headers are the easiest way to track provenance, I think. Thanks for your efforts! :)
There are now official builds and bindings of z3, with full support for threads in cases like timers. Initial load also takes less than 3 seconds on latest Safari, Chrome and Firefox. I adapted your UI to the official release and released it here as a static GitHub page: https://github.com/ViRb3/z3-wasm
Now it requires the use of SharedArrayBuffer, but the "old" version made by cpitclaudel worked without it. Could you please explain how to avoid using SharedArrayBuffer in the newest version? It requires COOP/COEP, but I can't add these headers for the entire app because some sources need to be accessed without them.
