12 commits

Author	SHA1	Message	Date
dependabot[bot]	96e317620c	Bump actions/setup-node from 2 to 3 (#6067)	2022-06-02 09:56:41 +01:00
dependabot[bot]	b8367247f5	Bump actions/checkout from 2 to 3 (#6066)	2022-06-02 09:14:08 +01:00
Kevin Gibbons	2b934b601d	Add WebAssembly/TypeScript bindings (#5762) ... * Add TypeScript bindings * mark Z3_eval_smtlib2_string as async	2022-01-09 17:16:38 -08:00
Nikolaj Bjorner	010bccf353	Update wasm.yml ... add some more limited retention	2022-01-09 11:35:50 -08:00
Nikolaj Bjorner	a11ca1a1b7	Update wasm.yml	2021-10-29 17:51:20 +02:00
Nikolaj Bjorner	933bb4f1f0	Update wasm.yml	2021-10-29 17:03:04 +02:00
Nikolaj Bjorner	dfba177813	Update wasm.yml	2021-10-29 17:02:15 +02:00
Nikolaj Bjorner	f61e6abb35	Update wasm.yml	2021-10-29 16:10:40 +02:00
Nikolaj Bjorner	f83226df9c	Update wasm.yml	2021-10-29 16:07:04 +02:00
Nikolaj Bjorner	fe0e1cce30	Update wasm.yml	2021-10-29 16:03:22 +02:00
Leonardo	e7a54db8b0	Use emscripten to create a wasm build (#5634)	2021-10-29 16:01:06 +02:00
Nikolaj Bjorner	780761a29e	Create wasm.yml ... initial wasm	2021-10-29 15:27:49 +02:00