search

cpitclaudel / z3.wasm

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

Generate both assembly and ams.js #8

Closed samuelbarbosazup closed 4 years ago

samuelbarbosazup commented 4 years ago

How can I generate both files, assembly and asm.js ?

cpitclaudel commented 4 years ago

What do you mean?

samuelbarbosazup commented 4 years ago

I just got it, thanks anyway

Em ter., 7 de jul. de 2020 às 16:54, Clément Pit-Claudel < notifications@github.com> escreveu:

What do you mean?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/cpitclaudel/z3.wasm/issues/8#issuecomment-655091707, or unsubscribe https://github.com/notifications/unsubscribe-auth/AQBLE3ODCZWCPYYKKHWQWDTR2N4QHANCNFSM4OTII4BA .

--

Samuel Barbosa

Desenvolvedor BackEnd | Tecnologia

+55 (31) 98845.4269

zup.com.br

samuelbarbosazup commented 4 years ago

Im study and im trying to banckmark assembly and asm.js