chore(release): release 2026-02-21
Z3 Development · Feb 22, 2026, 12:54 AM UTC
f245ea3a5072Commits included in published releases. Unpublished intermediate commits are private. Showing matches from the latest 100 commits ending at this release.
Z3 Development · Feb 22, 2026, 12:54 AM UTC
f245ea3a5072z3dev · Feb 22, 2026, 12:37 AM UTC
602bb2a3a2c2z3dev · Feb 21, 2026, 6:45 AM UTC
3dd2cb952b68john roll · Feb 21, 2026, 6:21 AM UTC
ff6f60809b5cZ3 Development · Feb 18, 2026, 11:14 AM UTC
fc2f7c413f36dependabot[bot] · Feb 11, 2026, 7:16 AM UTC
d8a829096bbaZ3 Development · Feb 11, 2026, 2:19 AM UTC
57d68165daedz3dev · Feb 11, 2026, 1:55 AM UTC
138ee5685425z3dev · Feb 11, 2026, 1:48 AM UTC
2b777729ecdfjohn roll · Feb 7, 2026, 5:58 AM UTC
1a6ef037e4f7Z3 Development · Feb 1, 2026, 9:45 PM UTC
942fa9f03e6fZ3 Development · Jan 30, 2026, 5:19 AM UTC
76ce0eecc4b6colin coin coin · Nov 22, 2025, 2:31 AM UTC
93d5df5d8515Z3 Development · Sep 20, 2025, 2:01 AM UTC
b138b6e94c39z3dev · Sep 20, 2025, 1:47 AM UTC
11a9a2d9235dZ3 Development · Sep 15, 2025, 1:41 AM UTC
72542345ae2ez3dev · Sep 14, 2025, 1:24 AM UTC
4500b71579fdz3dev · Sep 13, 2025, 7:15 AM UTC
074f05aa5432z3dev · Sep 13, 2025, 7:13 AM UTC
e2a212ff5527hpb-htw · Feb 12, 2025, 10:16 AM UTC
efd7e8436479Z3 Development · Feb 11, 2025, 7:39 AM UTC
451d7d841696hpb-htw · Feb 10, 2025, 8:24 PM UTC
1f7ea6532f1fZ3 Development · Dec 29, 2024, 1:15 AM UTC
b82f7f111bcdz3dev · Dec 29, 2024, 1:02 AM UTC
d8010c4f1d70Z3 Development · Dec 29, 2024, 12:31 AM UTC
0cd6beb5540fTomasz Jurkiewicz · Dec 17, 2024, 5:53 AM UTC
1519c7dfe123Z3 Development · Nov 10, 2024, 3:51 AM UTC
68aa97ae54a2z3dev · Nov 10, 2024, 3:31 AM UTC
ce4978ee40c3Z3 Development · Nov 10, 2024, 3:09 AM UTC
0e6215a8bbb3z3dev · Nov 10, 2024, 1:17 AM UTC
0070e9e4468dz3dev · Nov 9, 2024, 4:12 AM UTC
d89354debd62z3dev · Nov 9, 2024, 3:49 AM UTC
fc0138482c05z3dev · Nov 9, 2024, 3:48 AM UTC
8c5b23c0e27fz3dev · Nov 9, 2024, 3:31 AM UTC
9789cbf5fa00z3dev · Nov 9, 2024, 3:31 AM UTC
351da0da8173z3dev · Nov 9, 2024, 3:30 AM UTC
9e002fbc7a7ez3dev · Nov 9, 2024, 3:30 AM UTC
9b45f67aee6az3dev · Nov 9, 2024, 3:29 AM UTC
1054f1d4d23fz3dev · Nov 9, 2024, 3:17 AM UTC
11bbfe246d39z3dev · Nov 9, 2024, 3:15 AM UTC
6639ec8d2963z3dev · Nov 9, 2024, 3:07 AM UTC
0db5fe4975eez3dev · Nov 9, 2024, 2:53 AM UTC
eb3d3262c9d7z3dev · Nov 9, 2024, 2:26 AM UTC
92bf84212a77Z3 Development · Nov 9, 2024, 2:18 AM UTC
36b339ff5242Eldan Ben-Haim · Nov 5, 2024, 7:29 AM UTC
ce2bfe938a3fEldan Ben-Haim · Nov 2, 2024, 8:56 AM UTC
6dcb955a706dEldan Ben-Haim · Nov 2, 2024, 8:31 AM UTC
56a96ba72a98Z3 Development · Oct 6, 2024, 7:39 AM UTC
15a50a0b349bz3dev · Oct 6, 2024, 7:13 AM UTC
4627312c2337Mike Erickson · Aug 19, 2024, 10:01 AM UTC
2a3337a4b6d0Mike Erickson · Aug 17, 2024, 4:49 AM UTC
ad3d37d32c30her01n · Jul 28, 2024, 12:40 PM UTC
b3901f2b61a6Abe · Jul 14, 2024, 11:00 PM UTC
baad57baaf3fZ3 Development · Jun 22, 2024, 4:06 AM UTC
01ceae89570dZ3 Development · Jun 2, 2024, 4:25 AM UTC
9634e5e10d32z3dev · Jun 2, 2024, 3:55 AM UTC
5fbb5fea458cHermann Stamm-Wilbrandt · May 26, 2024, 9:51 PM UTC
e1af6579498eChristopher Krause · May 23, 2024, 11:42 PM UTC
7f4419776e2bDavor Hrg · May 14, 2024, 3:13 AM UTC
0d02c8343127Mike Erickson · Apr 30, 2024, 6:21 AM UTC
0998e7e933e1ZhangZihan · Apr 30, 2024, 6:19 AM UTC
7f02f7d94743Nicolas Mattia · Mar 19, 2024, 5:05 AM UTC
f6d52860f195Z3 Development · Feb 18, 2024, 2:23 AM UTC
9040dd23dd61z3dev · Feb 18, 2024, 1:50 AM UTC
e07bb27d61f6Z3 Development · Feb 13, 2024, 6:44 AM UTC
1d9efb506503Z3 Development · Jan 14, 2024, 4:59 AM UTC
6c7be85d7e20Toby Murray · Oct 9, 2023, 12:22 AM UTC
ce1b679ed49fKenny · Oct 5, 2023, 10:07 AM UTC
8b0306e06cc4Andreas Plesch · Sep 2, 2023, 11:36 PM UTC
03a114543303bruceborrett · Aug 26, 2023, 11:48 PM UTC
d7dc4fb37226Brian Takita · Jul 13, 2023, 7:24 AM UTC
4c1f37271764Z3 Development · Jun 27, 2023, 12:52 PM UTC
b7e31802f5c7z3dev · Jun 27, 2023, 12:25 PM UTC
e269f212db5az3dev · Jun 27, 2023, 12:22 PM UTC
91b0aad5052ez3dev · Jun 27, 2023, 11:49 AM UTC
6f187706b631Thomas Dexter · Jun 27, 2023, 11:27 AM UTC
a20b9cf0edaaLoosetooth · Jun 27, 2023, 11:25 AM UTC
7f5f8e1d777cKenny · Jun 14, 2023, 9:32 AM UTC
e1e20d16c7ceachirita · Jun 11, 2023, 12:23 AM UTC
12157ac886b7Andreas Plesch · May 14, 2023, 2:08 AM UTC
ba26567f207aKenny · May 7, 2023, 4:39 AM UTC
76b73690ec2aZ3 Development · Apr 30, 2023, 12:44 AM UTC
ba2fc2b957aez3dev · Apr 30, 2023, 12:09 AM UTC
4313974b5095Andreas Plesch · Apr 27, 2023, 6:07 AM UTC
3444e2d46244Andreas Plesch · Apr 22, 2023, 12:45 PM UTC
cc9954853c30Kenny · Apr 10, 2023, 11:47 PM UTC
2b62d762056aKenny · Apr 8, 2023, 8:09 PM UTC
4419fe5a9b08Kenny · Apr 8, 2023, 5:33 PM UTC
fc4ceef607abachirita · Mar 27, 2023, 4:44 AM UTC
1affca72a671Mike Erickson · Mar 15, 2023, 10:57 AM UTC
fe40aea35af8Kenny · Jan 12, 2023, 12:45 AM UTC
152ded437c78Kenny · Jan 12, 2023, 12:00 AM UTC
ba66b6c855e2Z3 Development · Jan 9, 2023, 2:04 AM UTC
e0f4cb6e680az3dev · Jan 9, 2023, 1:34 AM UTC
75c64d91dd6bz3dev · Jan 9, 2023, 1:27 AM UTC
cf720e7e146eAlicia Boya García · Jan 3, 2023, 4:25 AM UTC
de8ab3b31099Davor Hrg · Dec 24, 2022, 12:58 PM UTC
9a66b2abaccbLoosetooth · Dec 12, 2022, 4:04 AM UTC
1e99fa5222dfZ3 Development · Nov 26, 2022, 1:30 AM UTC
4754d88be380z3dev · Nov 26, 2022, 12:56 AM UTC
5899622c5ffc