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

Andrzej Krzemienski via Boost <[email protected]> Sun, 2 Aug 2026 16:38:09 +0200
Newsgroups gmane.comp.lib.boost.devel
Message-ID <CAOenAXjz1Nf8Jcd+L-Th6dTp4gf_nNCyOutJPsga23uQ607q7g@mail.gmail.com>
c29iLiwgMSBzaWUgMjAyNiBvIDAzOjA5IEphbWllIEFsbHNvcCB2aWEgQm9vc3QgPGJvb3N0QGxp
c3RzLmJvb3N0Lm9yZz4NCm5hcGlzYcWCKGEpOg0KDQo+IEhpIEFybmF1ZCwNCj4NCj4gQSB2ZXJ5
IGxhdGUgYW5kIHZlcnkgc2hvcnQgcmV2aWV3Lg0KPg0KPiBPbiAyMi8wNy8yMDI2IDEyOjM3LCBB
cm5hdWQgQmVjaGVsZXIgdmlhIEJvb3N0IHdyb3RlOg0KPiA+IE90aGVyIHF1ZXN0aW9ucyB5b3Ug
bWlnaHQgd2FudCB0byBhbnN3ZXIgaW4geW91ciByZXZpZXcgYXJlOg0KPiA+ICAgIC0gV2hhdCBp
cyB5b3VyIGV2YWx1YXRpb24gb2YgdGhlIGRlc2lnbj8NCj4NCj4gSXQgbG9va3MgZ29vZCwgc29s
dmVzIGEgZ2VudWluZSBwcm9ibGVtIGFuZCB3ZSB3b3VsZCBwcm9iYWJseSB1cGRhdGUgb3VyDQo+
IGNvZGViYXNlIHRvIHVzZSBpdC4NCj4NCj4gPiAgICAtIFdoYXQgaXMgeW91ciBldmFsdWF0aW9u
IG9mIHRoZSBpbXBsZW1lbnRhdGlvbj8NCj4NCj4gSSBvbmx5IHRvb2sgYSBicmllZiBsb29rIGJ1
dCBpdCBzZWVtZWQgdG8gYmUgb2YgaGlnaCBxdWFsaXR5LCB3cml0dGVuIGJ5DQo+IHNvbWVvbmUg
d2hvIGtub3dzIHRoZSBzdWJqZWN0IG1hdHRlci4NCj4NCj4gPiAgICAtIFdoYXQgaXMgeW91ciBl
dmFsdWF0aW9uIG9mIHRoZSBkb2N1bWVudGF0aW9uPw0KPg0KPiBUaGUgZG9jdW1lbnRhdGlvbiB3
YXMgY29tcHJlaGVuc2l2ZSBhbmQgaW5mb3JtYXRpdmUuDQo+DQo+ID4gICAgLSBXaGF0IGlzIHlv
dXIgZXZhbHVhdGlvbiBvZiB0aGUgcG90ZW50aWFsIHVzZWZ1bG5lc3Mgb2YgdGhlIGxpYnJhcnk/
DQo+DQo+IEl0IHNvbHZlcyBhIHJlYWwgdXNlIGNhc2UgaW4gc2V2ZXJhbCBkb21haW5zIHRoYXQg
dGhlIGRvY3MgbGlzdCBhdCB0aGUNCj4gc3RhcnQuIFdlIGFyZSBpbiBhIGxlYXN0IG9uZSBvZiB0
aG9zZS4NCj4NCj4gPiAgICAtIERpZCB5b3UgdHJ5IHRvIHVzZSB0aGUgbGlicmFyeT8gV2l0aCB3
aGF0IGNvbXBpbGVyPyBEaWQgeW91IGhhdmUgYW55DQo+ID4gcHJvYmxlbXM/DQo+DQo+IEkgZGlk
IGJ1dCBhcyB3ZSB1c2UgYSBwYXR0ZXJuIGxpa2UgdGhpcyBpbiBvdXIgY29kZToNCj4NCj4gZW51
bSBjbGFzcyBiaWdfcXVhbnRpdHkgOiBpbnQxMjhfdHlwZQ0KPiB7DQo+ICAgICAgbm9uZSA9IHN0
ZDo6bnVtZXJpY19saW1pdHM8aW50MTI4X3R5cGU+OjptYXgoKQ0KPiB9Ow0KPg0KPiB3aGljaCBv
ZiBjb3Vyc2UgZG9lc24ndCB3b3JrIHdpdGggdGhpcyB0eXBlIHNvIGl0IHdhcyBub3QgdXNlZnVs
Lg0KPg0KDQpUaGlzIGlzIGludGVyZXN0aW5nLiBJdCBzaG93cyB3aHkgYSBsaWJyYXJ5IHNvbHV0
aW9uIHdpbGwgbmV2ZXIgYmUgYSBmdWxsDQpzdWJzdGl0dXRlIGZvciBhIGJ1aWx0LWluIHR5cGUu
DQpGb3IgYSBzaW1pbGFyIHJlYXNvbiwgaXQgd291bGQgYmUgYSBiYWQgaWRlYSBmb3IgdGhpcyBs
aWJyYXJ5DQppbXBsZW1lbnRhdGlvbiB0byBmYWxsIGJhY2sgdG8gYW4gYWxpYXMgb24gYSBidWls
dC1pbiB0eXBlIG9uIHBsYXRmb3Jtcw0Kd2hlcmUgaXQgaXMgYXZhaWxhYmxlLCBhcyB0aGVuIHVz
ZXJzIHdvdWxkIG5vdCBiZSBhYmxlIHRvIHJlbGlhYmx5IGRlcGVuZA0Kb24gYmVpbmcgYWJsZSB0
byBkZXJpdmUgZnJvbSB0aGUgdHlwZSB0byBtYWtlIGV4dGVuc2lvbnMuDQoNClJlZ2FyZHMsDQom
cnplajsNCg0KSG93ZXZlciBJIGNvdWxkIHBvdGVudGlhbGx5IGNyZWF0ZSBhIGRlcml2ZWQgY2xh
c3MgdGhhdCBoYXMgdGhlIHNhbWUNCj4gYmVuZWZpdCBwb3NzaWJseSAoSSB3YW50IGEgbmFtZWQg
aW50ZWdlciB0eXBlKSBidXQgdGhlbiBJJ2QgaGF2ZSB0bw0KPiByZXdpcmUgYSBidW5jaCBvZiBv
dGhlciBzdHVmZi4gSSBkaWQgZW5vdWdoIHRvIHNlZSB0aGF0IHdlIGNvdWxkDQo+IHBvdGVudGlh
bGx5IGhhdmUgdGhpcyB3b3JrIGJ1dCBpdCB3YXMgdG9vIG11Y2ggZWZmb3J0IGZvciB0aGlzIHJl
dmlldy4NCj4NCj4gSSB3YXMgdXNpbmcgZ2NjMTUuMyBidHcuDQo+DQo+ID4gICAgLSBIb3cgbXVj
aCBlZmZvcnQgZGlkIHlvdSBwdXQgaW50byB5b3VyIGV2YWx1YXRpb24/IEEgZ2xhbmNlPyBBIHF1
aWNrDQo+ID4gcmVhZGluZz8gSW4tZGVwdGggc3R1ZHk/DQo+DQo+IEEgY291cGxlIGhvdXJzIG9u
bHkuIEl0J3MgYSAxMjhiaXQgaW50ZWdlci4NCj4NCj4gPiAgICAtIEFyZSB5b3Uga25vd2xlZGdl
YWJsZSBhYm91dCB0aGUgcHJvYmxlbXMgdGFja2xlZCBieSB0aGUgbGlicmFyeT8NCj4NCj4gV2Ug
dXNlIF9faW50MTI4IGluIG91ciBjb2RlYmFzZSBmb3IgZXhhY3RseSB0aGUgcmVhc29ucyBsaXN0
ZWQgaW4gdGhlDQo+IHJhdGlvbmFsZSBidXQgc2FkbHkgdGhpcyB3b3VsZCBub3QgYmUgYSB0cml2
aWFsIGRyb3AtaW4gcmVwbGFjZW1lbnQgYnV0DQo+IEkgY291bGQgc2VlIGhvdyBpdCBtaWdodCBi
ZSB1c2VmdWwgaWYgd2UgbmVlZGVkIGl0LiBXZSBkbyBuZWVkIGFuIGludDI1Ng0KPiB0eXBlIHRo
YXQncyBsaWdodHdlaWdodCBhbmQgcGVyZm9ybWFudCBhbmQgaWYgd2UgaGFkIHRoYXQgSSBjb3Vs
ZCBzZWUgdXMNCj4gdXNpbmcgdGhpcyBhcyB3ZWxsIGFzIGZvciB0aGF0IGl0IHdvdWxkIGJlIHdv
cnRoIHdvcmtpbmcgb3V0IHRoZQ0KPiAoZXh0ZW5zaXZlKSByZXdvcmtpbmcgb2YgdGhlIGVudW0g
cGF0dGVybi4NCj4NCj4gVGhhdCBzYWlkIEkgdGhpbmsgdGhpcyBsaWJyYXJ5IGlzIGEgdmFsdWFi
bGUgYWRkaXRpb24gKGJ1dCBpbnQyNTYgd291bGQNCj4gYmUgZXZlbiBtb3JlIHVzZWZ1bCA7LSkp
IHNvIEkgdm90ZSB0byBBQ0NFUFQgdGhlIGxpYnJhcnkuDQo+IEphbWllDQo+DQo+DQo+IF9fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQo+IEJvb3N0IG1haWxp
bmcgbGlzdCAtLSBib29zdEBsaXN0cy5ib29zdC5vcmcNCj4gVG8gdW5zdWJzY3JpYmUgc2VuZCBh
biBlbWFpbCB0byBib29zdC1sZWF2ZUBsaXN0cy5ib29zdC5vcmcNCj4gaHR0cHM6Ly9saXN0cy5i
b29zdC5vcmcvbWFpbG1hbjMvbGlzdHMvYm9vc3QubGlzdHMuYm9vc3Qub3JnLw0KPiBBcmNoaXZl
ZCBhdDoNCj4gaHR0cHM6Ly9saXN0cy5ib29zdC5vcmcvYXJjaGl2ZXMvbGlzdC9ib29zdEBsaXN0
cy5ib29zdC5vcmcvbWVzc2FnZS9WWVVYVzNLV0NQRzVBNzRCUTZISVFSSjJJSFlIRlJNTi8NCj4N
Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkJvb3N0IG1h
aWxpbmcgbGlzdCAtLSBib29zdEBsaXN0cy5ib29zdC5vcmcKVG8gdW5zdWJzY3JpYmUgc2VuZCBh
biBlbWFpbCB0byBib29zdC1sZWF2ZUBsaXN0cy5ib29zdC5vcmcKaHR0cHM6Ly9saXN0cy5ib29z
dC5vcmcvbWFpbG1hbjMvbGlzdHMvYm9vc3QubGlzdHMuYm9vc3Qub3JnLwpBcmNoaXZlZCBhdDog
aHR0cHM6Ly9saXN0cy5ib29zdC5vcmcvYXJjaGl2ZXMvbGlzdC9ib29zdEBsaXN0cy5ib29zdC5v
cmcvbWVzc2FnZS8yRTJLSTNRVEtQVlpISkRIU1VBTTJPTTVQSFA1QkVOVi8gCg==