Copilot 7a35caa60a Fix memory lifetime bug in async array parameter handling for JS API (#8125) ... * Initial plan * Fix async array parameter handling in JS API wrappers Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add test for solver.check() with assumptions Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Address code review feedback: add null checks and improve readability Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add unsatCore() method to Solver class 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>		2026-01-08 18:43:58 -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	Fix memory lifetime bug in async array parameter handling for JS API (#8125)	2026-01-08 18:43:58 -08:00
make-ts-wrapper.ts	Fix memory lifetime bug in async array parameter handling for JS API (#8125)	2026-01-08 18:43:58 -08:00
parse-api.ts	missing new closure	2025-08-06 21:22:23 -07:00