5 commits

Author	SHA1	Message	Date
copilot-swe-agent[bot]	f734ce9ce3	Address code review feedback: use os.CreateTemp and remove unused vars ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-02-18 21:02:28 -08:00
copilot-swe-agent[bot]	42c783ac98	Fix duplicate example in advanced_example.go and add silent markers for unused vars ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-02-18 21:02:28 -08:00
copilot-swe-agent[bot]	d1dd539519	Add missing high-priority Go bindings to Solver ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-02-18 21:02:27 -08:00
copilot-swe-agent[bot]	c61ee6b16c	Fix Go bindings and enable in CI ... - Fix all compilation errors in Go bindings - Add missing type definitions (Pattern, ASTVector, ParamDescrs) - Fix boolean comparisons to use bool() casts - Fix Z3_app type casts using unsafe.Pointer - Fix null symbol handling to use nil - Fix unused variable in basic_example.go - Fix CMake test target to run from examples/go directory - Restore CI steps to build and test Go bindings Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-02-18 21:02:27 -08:00
Nikolaj Bjorner	a03500a194	git bindings v1.0	2026-02-18 21:02:25 -08:00