7 commits

Author	SHA1	Message	Date
copilot-swe-agent[bot]	f4ad6a8f97	Fix version update script and finalize implementation ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2025-08-20 15:53:21 +00:00
copilot-swe-agent[bot]	dd04a7fedd	Complete centralized version management system ... Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2025-08-20 15:51:33 +00:00
Nikolaj Bjorner	4542fc0b3b	update version number to 4.15.4 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2025-08-17 17:09:56 -07:00
Nikolaj Bjorner	2f2289eaff	update minor version number ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2025-06-25 09:14:13 -07:00
Nikolaj Bjorner	e1661759db	update version to 4.15.2	2025-06-10 15:55:54 -07:00
Nikhil Idiculla	bcedb66911	Expose z3_static target for Bazel build (#7660)	2025-06-03 11:51:18 +02:00
Steffen Smolka	0b26f7e0ee	Add support for building Z3 using Bazel. (#7646) ... Signed-off-by: Steffen Smolka <smolkaj@google.com>	2025-05-15 08:47:29 -07:00