Re: [boost][int128] Formal Review Begins Today (July 22-July 31)

Peter Turcan via Boost <[email protected]> Mon, 27 Jul 2026 20:53:01 -0700
Newsgroups gmane.comp.lib.boost.devel
Message-ID <CABnUvfK-AcsrASbzZawnTmJabevH9z_UPDMpRU9mtW9uaT-Wtw@mail.gmail.com>
QXJuYXVkLA0KDQpUaGFua3MgZm9yIHRha2luZyBvbiB0aGUgcmV2aWV3IG1hbmFnZXIgcm9sZSwg
YW5kIHRoYW5rcyB0byBNYXR0IGZvcg0Kc3VibWl0dGluZyB0aGlzIGxpYnJhcnkhDQoNCkhlcmUg
aXMgbXkgcmV2aWV3IG9mIHRoZSBCb29zdC5JbnQxMjggZG9jdW1lbnRhdGlvbi4gRm9yIHRoZSBy
ZWNvcmQgSSBhbQ0KdGhlIHRlY2huaWNhbCB3cml0ZXIgZm9yIHRoZSBDcHBBbGxpYW5jZS4NCg0K
T3ZlcmFsbCwgdGhlIGRvY3VtZW50YXRpb24gaXMgY29tcGxldGUgYW5kIHdlbGwgc3RydWN0dXJl
ZC4gV2hhdCBmb2xsb3dzDQphcmUgdGhlIG5pdHMgdGhhdCBjb3VsZCBiZSBhZGRyZXNzZWQgdG8g
aW1wcm92ZSB0aGUgdXNlciBleHBlcmllbmNlLg0KDQoqSW50cm9kdWN0aW9uKg0KVHJ5IHRvIGF2
b2lkIGF3a3dhcmQgcHVuY3R1YXRpb24gaW4gdGhlIGludHJvZHVjdGlvbiAocGFyZW50aGVzZXMs
IGkuZS4sDQpldGMuKSAtIHRoZXNlIGFyZSByZWFkaW5nIG9ic3RhY2xlcywgYW4gaW50cm9kdWN0
aW9uIHNob3VsZCBiZSBmbHVpZC4NCkNvbnNpZGVyIGNoYW5naW5nOg0KDQpCb29zdC5JbnQxMjgg
aXMgYSBwb3J0YWJsZSBpbXBsZW1lbnRhdGlvbiBvZiBhIHNpZ25lZCwgYW5kIGFuIHVuc2lnbmVk
DQoxMjgtYml0IGludGVnZXIgYW5kIHJlbGF0ZWQgZnVuY3Rpb25hbGl0eSAoaS5lLiA8Yml0Piwg
PGlvc3RyZWFtPiwgZXRjKS4NCkltcG9ydGFudGx5LCBvbiBhbGwgcGxhdGZvcm1zLCB0aGUgc2l6
ZW9mIHRoZSB0eXBlcyBwcm92aWRlZCBpbiB0aGlzDQpsaWJyYXJ5IGFyZSBleGFjdGx5IDEyOC1i
aXRzLg0KDQp0byBzb21ldGhpbmcgbGlrZToNCg0KKkJvb3N0LkludDEyOCBpcyBhIGZ1bGx5IHBv
cnRhYmxlIGltcGxlbWVudGF0aW9uIG9mIHNpZ25lZCBhbmQgdW5zaWduZWQNCjEyOC1iaXQgaW50
ZWdlcnMuIFRoZSBsaWJyYXJ5IHN1cHBvcnRzIGEgcm9idXN0IHJhbmdlIG9mIHJlbGF0ZWQNCmZ1
bmN0aW9uYWxpdHkgc3VjaCBhcyA8Yml0PiwgPG51bWVyaWM+LCA8aW9zPiwgPHN0cmluZz4gYW5k
IDxpb3N0cmVhbT4uICBPbg0KYWxsIHBsYXRmb3JtcywgdGhlIHNpemUgb2YgdGhlIDEyOCBiaXQg
dHlwZXMgcHJvdmlkZWQgYXJlIGV4YWN0bHkgMTI4LWJpdHMuKg0KDQpQZXJoYXBzIGFkZCBhIHBh
cmFncmFwaCB0byBnZXQgc29tZSBtb3JlIG51bWJlcnMgaW4gdGhlIG1peDoNCg0KKkZvciBjb21w
YXJpc29uLCBhIDY0LWJpdCB1bnNpZ25lZCBpbnRlZ2VyIG1heGltdW0gdmFsdWUgaXMNCjE4LDQ0
Niw3NDQsMDczLDcwOSw1NTEsNjE1LiBUaGUgbWF4aW11bSB2YWx1ZSBmb3IgYSAxMjgtYml0IHVu
c2lnbmVkDQppbnRlZ2VyIGlzIDM0MCwyODIsMzY2LDkyMCw5MzgsNDYzLDQ2MywzNzQsNjA3LDQz
MSw3NjgsMjExLDQ1NS4gRm9yIHNpZ25lZA0KaW50ZWdlcnMsIHRoZSBtYXhpbWEgYXJlIGhhbGYg
b2YgdGhlc2UuIFRoZXNlIGVub3Jtb3VzIG51bWJlcnMgYXJlIHVzZWQgaW4NCnNjaWVudGlmaWMg
YW5kIGZpbmFuY2lhbCBjb21wdXRpbmcsIHRob3VnaCBwZXJoYXBzIG1vcmUgb2Z0ZW4gYXMgMTI4
LWJpdA0KdmFsdWVzIGhvbGRpbmcgaWRlbnRpZmllcnMsIGFkZHJlc3NlcyBhbmQgYml0IG1hc2tz
LioNCg0KVGhpcyBwYXJhZ3JhcGggaXMgYSBsaXR0bGUgYXdrd2FyZCwgaGF2ZW4ndCB5b3UgYWxy
ZWFkeSBzYWlkIHRoZSBsaWJyYXJ5IGlzDQpoZWFkZXItb25seSAtIG5vIG5lZWQgdG8gc2F5ICJU
aGUgbGlicmFyeSBpcyBhbHNvIGF2YWlsYWJsZSBhcyBhIHNpbmdsZQ0KaGVhZGVyIGhlcmUuIg0K
DQpDb25zaWRlciBjaGFuZ2luZzoNCg0KVGhlIGxpYnJhcnkgaXMgaGVhZGVyLW9ubHksIGhhcyBu
byBkZXBlbmRlbmNpZXMsIGFuZCByZXF1aXJlcyBvbmx5IEMrKzE0Lg0KVGhlIGxpYnJhcnkgaXMg
YWxzbyBhdmFpbGFibGUgYXMgYSBzaW5nbGUgaGVhZGVyIGhlcmUuIFdoZW4gdXNpbmcgQysrMjAg
b3INCm5ld2VyLCB0aGUgbGlicmFyeSBjYW4gYmUgY29uc3VtZWQgYXMgYSBtb2R1bGUgaW1wb3J0
IGJvb3N0LmludDEyOC4NCg0KdG8gdHdvIHNob3J0IHBhcmFncmFwaHM6DQoNCipUaGUgbGlicmFy
eSBpcyBoZWFkZXItb25seSwgaGFzIG5vIGRlcGVuZGVuY2llcywgYW5kIHJlcXVpcmVzIEMrKzE0
IG9yDQpsYXRlci4gIFdoZW4gdXNpbmcgQysrMjAgb3IgbGF0ZXIsIHRoZSBsaWJyYXJ5IGNhbiBv
cHRpb25hbGx5IGJlIGltcG9ydGVkDQphcyBhIG1vZHVsZTogIGltcG9ydCBib29zdC5pbnQxMjgu
Kg0KDQoqQm9vc3QuSW50MTI4IGlzIGF2YWlsYWJsZSBoZXJlW0xJTktdLioNCg0KKkdldHRpbmcg
U3RhcnRlZCoNCldvdWxkIGhhdmUgbGlrZWQgdGhlICJHZXR0aW5nIFN0YXJ0ZWQiIHNlY3Rpb24g
dG8gZW5kIHdpdGggYSAiaGVsbG8gd29ybGQiDQpleGFtcGxlIC0gcG9zc2libHkgMyBzdXBlciBz
aG9ydCBleGFtcGxlcyAob25lIGVhY2ggZm9yIFdpbmRvd3MsIExpbnV4LA0KTWFjb3MpLCBwZXJo
YXBzIGV2ZW4ganVzdCBhZGRpbmcgdHdvIG51bWJlcnMgdG9nZXRoZXIgYW5kIHByaW50aW5nIHRo
ZQ0KcmVzdWx0Lg0KDQoNCipQcmV0dHkgUHJpbnRlcnMqV291bGQgcHJlZmVyIHRvIHNlZSB0aGUg
cHJldHR5IHByaW50ZXJzIHNlY3Rpb24gZm9sbG93IHRoZQ0KZXhhbXBsZXMuIGFuZCBub3QgcHJl
Y2VkZSBpdC4gU2VlbWVkIGphcnJpbmcgdG8gZ28gZnJvbSBnZXR0aW5nIHN0YXJ0ZWQNCnN0cmFp
Z2h0IGludG8gcHJpbnRpbmcsIHdpdGhvdXQgYW55IHdvcmtpbmcgY29kZSBpbiBiZXR3ZWVuLg0K
DQoNCipFeGFtcGxlcypHb29kIHRvIHNlZSB0aGUgRXhhbXBsZXMgd2VsbCBjb21tZW50ZWQgYW5k
IHdpdGggRXhwZWN0ZWQgT3V0cHV0DQotIHdvdWxkIGhhdmUgbGlrZWQgdG8gc2VlIGFuIGludHJv
ZHVjdG9yeSBzZW50ZW5jZS9wYXJhIHRvIGVhY2ggZXhhbXBsZQ0KaGlnaGxpZ2h0aW5nIGFueXRo
aW5nIHNwZWNpYWwgb3Igb2Ygbm90ZSBhYm91dCB0aGUgY29kZSwgYW5kL29yIHRoZSB1c2UNCmNh
c2UgdG8gd2hpY2ggaXQgYXBwbGllcy4NCg0KDQoqRGlyZWN0b3J5IFN0cnVjdHVyZSotIHNvbWUg
SGVhZGVycyBlbnRyaWVzIGFyZSBub3QgbGlua3M7IGNhbiB0aGV5IGJlIG1hZGUNCmxpbmtzPw0K
DQoNCipGb3JtYXR0aW5nIFN1cHBvcnQqVGhlIG9yZGVyIG9mIGZtdCwgZm9ybWF0IHJldmVyc2Vk
IGluIHRoZSBsZWZ0LWhhbmQgVE9DDQpjb21wYXJlZCB0byB0aGUgdGV4dC4NCg0KDQoNCipCb29z
dC5SYW5kb20gU3VwcG9ydENvbXBhcmlzb24gdG8gQm9vc3QuTXVsdGlwcmVjaXNpb24qVGhlc2Ug
c2VjdGlvbnMNCnNob3VsZCBpbmNsdWRlIGxpbmtzIHRvIHRoZSBuYW1lZCBsaWJyYXJ5IC0gZG9l
cyBib29zdDpyYW5kb21bXSB3b3JrIGFzIGFuDQphdXRvIGxpbms/DQoNCg0KKkNvbmZpZ3VyYXRp
b24gTWFjcm9zKklzIHRoZSB1c2Ugb2YgdGhlc2UgbWFjcm9zIHRyaXZpYWwsIG9yIHdvdWxkIHRo
ZSBtb3JlDQpjb21wbGV4IG9uZSdzIGJlbmVmaXQgZnJvbSBhIHNob3J0IGV4YW1wbGU/DQoNCipC
ZW5jaG1hcmtzKg0KQml0IG9mIGEgbml0IGJ1dCB0aGUgbG9uZyBudW1iZXJzIGFyZSBhd2t3YXJk
IHRvIGNvbXBhcmUgcXVpY2tseS4gRm9yDQpleGFtcGxlLA0KDQo5OTMyODY3ICAgMTAyNDI3MjAN
Cg0KVGhleSBhcmUgZWFzaWVyIHRvIGNvbXBhcmUgKG5vIGNvdW50aW5nIG9mIGRpZ2l0cykgYXM6
DQo5LDgzMiw4NjcgICAxMCwyNDIsNzIwDQoNClRoYXQncyBteSAyYy4NCg0KVGhlIGRvY3VtZW50
YXRpb24gaXMgYWJvdmUgcGFyIGFuZCBpcyBubyBvYnN0YWNsZSB0byB0aGUgbGlicmFyeSBiZWlu
Zw0KQUNDRVBURUQuDQoNCi0gYmVzdA0KUGV0ZXIgVHVyY2FuDQoNCg0KDQoNCk9uIE1vbiwgSnVs
IDI3LCAyMDI2IGF0IDc6MjDigK9BTSBNYXR0IEJvcmxhbmQgdmlhIEJvb3N0IDwNCmJvb3N0QGxp
c3RzLmJvb3N0Lm9yZz4gd3JvdGU6DQoNCj4gPiBGdXJ0aGVyIGNvbW1lbnRzPw0KPiA+IFRoZXJl
IGlzIGFscmVhZHkgb25lIDI1Ni1iaXRxdWVyeSwgYW5kIG1vcmUgb3IgZXh0ZW5kZWRxdWVyaWVz
IG1pZ2h0DQo+IGZvbGxvdy4gSSBzdXNwZWN0LGhvd2V2ZXIsIHRoYXQgdGhpcyBsaWJyYXJ5IGlz
cHVycG9zZWZ1bGx5IGZvciAxMjgtYml0DQo+IHR5cGVzZXhjbHVzaXZlbHkuIEZ1cnRoZXIgdHlw
ZXN3aWxsIHByb2JhYmx5IG5lZWQgc2VwYXJhdGVwcm9wb3NhbHMuDQo+DQo+IFRoZSAyNTYtYml0
IHF1ZXN0aW9uIGFsc28gY2FtZSB1cCBvbiB0aGUgUmVkZGl0LiBJIHdvdWxkIGNlcnRhaW5seSBw
cm9wb3NlDQo+IGEgc2VwYXJhdGUgaW50MjU2IGxpYiByYXRoZXIgdGhhbiBzdGFydGluZyB0byBj
b2xsZWN0IHRoZXNlIHNwZWNpZmljIGZpeGVkDQo+IHdpZHRoIGludHMgaW50byBhIGJvb3N0Lm5v
dC1xdWl0ZS1tdWx0aXByZWNpc2lvbi4NCj4NCj4gPiAtIENocmlzdG9waGVyDQo+ID4gRGlzY2xh
aW1lcjogSSdtIG11bHRpLXRpbWVjb2xsYWJvcmF0b3Igd2l0aCB0aGUgYXV0aG9yLkkgYW0gKm5v
dCoNCj4gYWZmaWxpYXRlZCB3aXRodGhlIEMrKyBBbGxpYW5jZS4gSSBoYXZlYSBmZXcgY29tbWl0
cyBpbiBJbnQxMjgsIGJ1dGJ5IG5vDQo+IG1lYW5zIGNvbnNpZGVyIG15c2VsZmEgY28tYXV0aG9y
Lg0KPiA+DQo+DQo+DQo+IFRoYW5rIHlvdSBmb3IgdGFraW5nIHRoZSB0aW1lIHRvIHJldmlldyBh
bmQgZXhlcmNpc2UgdGhlIGxpYnJhcnkuDQo+DQo+IE1hdHRfX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fXw0KPiBCb29zdCBtYWlsaW5nIGxpc3QgLS0gYm9vc3RA
bGlzdHMuYm9vc3Qub3JnDQo+IFRvIHVuc3Vic2NyaWJlIHNlbmQgYW4gZW1haWwgdG8gYm9vc3Qt
bGVhdmVAbGlzdHMuYm9vc3Qub3JnDQo+IGh0dHBzOi8vbGlzdHMuYm9vc3Qub3JnL21haWxtYW4z
L2xpc3RzL2Jvb3N0Lmxpc3RzLmJvb3N0Lm9yZy8NCj4gQXJjaGl2ZWQgYXQ6DQo+IGh0dHBzOi8v
bGlzdHMuYm9vc3Qub3JnL2FyY2hpdmVzL2xpc3QvYm9vc3RAbGlzdHMuYm9vc3Qub3JnL21lc3Nh
Z2UvQ1E0TEpJRDdMQllBSURZR0VDVFlGNk1QSVhNRDZLQ04vDQo+DQpfX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpCb29zdCBtYWlsaW5nIGxpc3QgLS0gYm9v
c3RAbGlzdHMuYm9vc3Qub3JnClRvIHVuc3Vic2NyaWJlIHNlbmQgYW4gZW1haWwgdG8gYm9vc3Qt
bGVhdmVAbGlzdHMuYm9vc3Qub3JnCmh0dHBzOi8vbGlzdHMuYm9vc3Qub3JnL21haWxtYW4zL2xp
c3RzL2Jvb3N0Lmxpc3RzLmJvb3N0Lm9yZy8KQXJjaGl2ZWQgYXQ6IGh0dHBzOi8vbGlzdHMuYm9v
c3Qub3JnL2FyY2hpdmVzL2xpc3QvYm9vc3RAbGlzdHMuYm9vc3Qub3JnL21lc3NhZ2UvT0xKWFlM
SVNBQVRMQTVOUjJBRE5BRVJVUEpPVllCSEMvIAo=