4 Commits

Author	SHA1	Message	Date
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