9 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	6670cf0b65	na	2022-05-09 09:16:05 -07:00
Nikolaj Bjorner	fbf5e322dc	js ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2022-05-09 08:49:02 -07:00
Nikolaj Bjorner	04b0b3690d	js ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2022-05-07 12:46:52 -07:00
Nikolaj Bjorner	1e586888c9	patch js for fnptr ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2022-05-07 11:18:19 -07:00
Kevin Gibbons	dc18b47967	automatically release wasm build (#5997)	2022-04-24 18:06:36 +01:00
Kevin Gibbons	312e037458	wasm build: disable error handler (#5996) ... * wasm: set error handler to no-op * wasm: better wrapper for use in html	2022-04-24 11:04:08 +01:00
Victor	bd6b3027cd	Document gotcha with z3-js (#5994)	2022-04-23 19:52:35 +01:00
Nikolaj Bjorner	36cfb88f5f	add preliminary stub to handle closure types	2022-01-17 22:01:31 -08: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