Nikolaj Bjorner 3bd5b5a5d4 Merge pull request #8500 from Z3Prover/copilot/update-functional-datatype ... Add datatype_update_field to C++, Python, TypeScript, and OCaml bindings		2026-02-07 10:11:54 -08:00
..
high-level	Merge pull request #8500 from Z3Prover/copilot/update-functional-datatype	2026-02-07 10:11:54 -08:00
low-level	Update emscripten (#7473)	2024-12-06 18:11:14 -08:00
browser.ts	Add high level bindings for js (#6048)	2022-06-14 09:55:58 -07:00
jest.ts	fix the path to ../build/z3-built	2022-07-20 22:36:34 -07:00
node.ts	Typescript typedef and doc fixes take 2 (#8078)	2025-12-15 20:31:20 +00:00