search

cpitclaudel / z3.wasm

WASM builds of the Z3 SMT solver
MIT License
141 stars 9 forks source link

Update to latest z3 version #6

Open io12 opened 4 years ago

jakeisnt commented 2 years ago

bump - would appreciate this

cpitclaudel commented 2 years ago

Would love to merge a PR.

ViRb3 commented 2 years ago

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

cpitclaudel commented 2 years ago

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)

ViRb3 commented 2 years ago

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?

cpitclaudel commented 2 years ago

Headers are the easiest way to track provenance, I think. Thanks for your efforts! :)

MargeKh commented 5 months ago

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.