Copilot c324f41eb0 Add TypeScript API parity: Solver introspection, congruence closure, and Model sort universe methods (#8129) ... * Initial plan * Add TypeScript API parity: Solver and Model introspection methods Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Format code and add API parity demo example Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add comprehensive API parity documentation Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix Context usage in tests and demo - use api.Context('main') Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Delete src/api/js/API_PARITY.md * Delete src/api/js/examples/high-level/api-parity-demo.ts --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2026-01-09 09:03:53 -08:00
..
async-fns.ts	Add high level bindings for js (#6048)	2022-06-14 09:55:58 -07:00
build-wasm.ts	Update emscripten (#7473)	2024-12-06 18:11:14 -08:00
make-cc-wrapper.ts	Add TypeScript API parity: Solver introspection, congruence closure, and Model sort universe methods (#8129)	2026-01-09 09:03:53 -08:00
make-ts-wrapper.ts	Add TypeScript API parity: Solver introspection, congruence closure, and Model sort universe methods (#8129)	2026-01-09 09:03:53 -08:00
parse-api.ts	missing new closure	2025-08-06 21:22:23 -07:00