Copilot 7a8ba4b474 Add support for Algebraic Datatypes in JavaScript/TypeScript bindings (#7734) ... * Initial plan * Add datatype type definitions to types.ts (work in progress) Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Complete datatype type definitions with working TypeScript compilation Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Implement core datatype functionality with TypeScript compilation success Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Complete datatype implementation with full Context integration and tests Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>		2025-08-04 20:58:42 -07:00
..
high-level	Add support for Algebraic Datatypes in JavaScript/TypeScript bindings (#7734)	2025-08-04 20:58:42 -07: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	Add high level bindings for js (#6048)	2022-06-14 09:55:58 -07:00