6 Commits

Author	SHA1	Message	Date
Timothy Werquin	8602701c9d	[z3] Update to 4.12.2 (#32281) ... Updates the z3 port to 4.12.2 to fix building on macOS.	2023-06-29 14:35:12 -07:00
Eric Kilmer	423df8c72d	[z3] Update to 4.11.0 (#26429) ... * [z3] Update to 4.11.0 * Update version db	2022-08-22 09:14:35 -07:00
Eric Kilmer	cf5979b735	[z3] Update to v4.10.2 (#25954) ... * [z3] Update to v4.10.2 * Update version	2022-08-01 09:56:24 -07:00
Eric Kilmer	f3aaee3cda	[z3] Update to v4.9.1 (#25911) ... * [z3] Update to v4.9.1 * Update version	2022-07-22 10:58:36 -07:00
Eric Kilmer	07b9eeecd2	[z3] Update to 4.8.16 (#24407) ... * [z3] Update to 4.8.16 * Use Python3 instead of Python2 Python2 is EOL and the build script works with Python3, so we should prefer Python3 * Update version	2022-04-26 19:24:59 -07:00
Eric Kilmer	37ebb4419b	[z3] Update to 4.8.15 (#24209) ... * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch 3828130791 * Update version	2022-04-19 09:29:01 -07:00