Re: [boost][int128] Formal Review Begins Today (July 22-July 31)
Christopher Kormanyos via Boost <[email protected]> Mon, 27 Jul 2026 13:52:58 +0000 (UTC)
| Newsgroups | gmane.comp.lib.boost.devel |
|---|---|
| Message-ID | <[email protected]> |
ICA+IERlYXIgQm9vc3QgQ29tbXVuaXR5LEkgYW0gdmVyeT4gaGFwcHkgdG8gb3BlbiB0aGUgRm9y bWFsIFJldmlldz4gcGVyaW9kIGZvciBDYW5kaWRhdGUgQm9vc3QuSW50MTI4PiBhdXRob3JlZCBi eSBNYXR0IEJvcmxhbmQsIHJ1bm5pbmc+IGZyb20gdG9kYXksIEp1bHkgMjJuZCB0byBKdWx5PiAz MXN0IDIwMjYuDQpIZXJlIGlzIG15IHJldmlldyBvZiB0aGVwcm9wb3NlZCBCb29zdC5JbnQxMjgu DQpUaGFuayB5b3UgTWF0dCBmb3Igd3JpdGluZyB0aGVwcm9wb3NlZCBJbnQxMjggYW5kIEFybmF1 ZCBmb3JtYW5hZ2luZyB0aGUgcmV2aWV3Lg0KKipJIHJlY29tbWVuZCB0aGUgcHJvcG9zZWQgSW50 MTI4dG8gYmUgdW5jb25kaXRpb25hbGx5IEFDQ0VQVEVEdG8gQm9vc3QuKioNClRoZSBwcm9wb3Nl ZCBCb29zdC5JbnQxMjggZmlsbHNhbiBhc3ltbWV0cmljIGdhcCBpbiBwb3B1bGFyLGV4aXN0aW5n IGNvbXBpbGVyIGltcGxlbWVudGF0aW9ucy5Ub2RheSdzIHBhdGNod29yayBzdXBwb3J0IGZvcjEy OC1iaXQgaW50ZWdlcnMgaXMgaW5jb21wbGV0ZSxhbmQgYXJjaGl0ZWN0dXJhbGx5IGluY29tcGF0 aWJsZWFtb25nIHBsYXRmb3Jtcy4gWWV0IHRoZSBkYXRhdHlwZSBpcyB2ZXJ5IGZyZXF1ZW50bHkg dXNlZCBpbmVuZ2luZWVyaW5nLCBzY2llbnRpZmljIGFuZG1hdGhlbWF0aWNhbCBkb21haW5zLg0K QSBmdW5kYW1lbnRhbCBjb21wb25lbnQgdGhhdGlzIHdpZGVseSB1c2VkIGlzIG5vdCB1bmlmb3Jt bHl1bmF2YWlsYWJsZSBhdCB0aGUgbW9tZW50LlRoaXMgbWF5IGV2b2x2ZSBpbiB0aGUgZnV0dXJl LGJ1dCB0aGUgZ2FwIGF0IHRoZSBtb21lbnQgZXhpc3RzYW5kIHdpbGwgY2F1c2UgZGlzY3JlcGFu Y2llc2ZvciB5ZWFycy4NClRoZSBwcm9wb3NlZCBCb29zdC5JbnQxMjggZXZlbnNvdXQgdGhpcyBh c3ltbWV0cnkgYW5kIHByb3ZpZGVzYSB1bmlmb3JtLCBoaWdoIHBlcmZvcm1hbmNlaW50ZXJmYWNl IHRvIDEyOC1iaXQgaW50ZWdyYWx0eXBlcy4gVGhlIHR5cGVzIGF0dGVtcHQgdG9iZWhhdmUgcHJv cGVybHkgaW4gdGhlIHNlbnNlb2YgaW50dWl0aXZlbHkgbWltaWNraW5nIHRoZWJlaGF2aW9ycyBv ZiBidWlsdC1pbiBpbnRlZ3JhbHR5cGVzLiBUaGlzIGlzIGRvbmUgaW4gYSBkcm9wLWluLGNvbnZl bmllbnQsIGhlYWRlci1vbmx5IGZhc2hpb24uDQpFdmFsdWF0aW9uIG9mIHRoZSBkZXNpZ24/DQpU aGUgZGVzaWduIGlzIGNsZWFyLiBJdCB3b3Jrcy5DYXJlIGhhcyBiZWVuIHRha2VuIHRvIHNlcGFy YXRlaW5kaXZpZHVhbCBsaWJyYXJ5IHBhcnRzIGZvcmluY2x1c2lvbiBhcyBuZWVkZWQuDQpQbGF0 Zm9ybS1kZXBlbmRlbnQgb3B0aW1pemF0aW9ucyhhbmQgdGhlc2UgYXJlIGRlZmluaXRlbHkgcHJl c2VudClhcmUgd2VsbC1zZXBhcmF0ZWQgYW5kIHRyYW5zcGFyZW50dG8gdGhlIGNvbnN1bWVyLg0K VGhlIHJlc3VsdCBpcyB0aGUgaW50ZW50IC0gMTI4LWJpdHNpZ25lZCBhbmQgdW5zaWduZWQgaW50 ZWdyYWwgdHlwZXN0aGF0IGJlaGF2ZSBhcyBzaW1pbGFybHkgYXMgcG9zc2libGV0byB0aGUgYmVo YXZpb3JzIG9mIGJ1aWx0LWluaW50ZWdyYWwgdHlwZXMuDQpFdmFsdWF0aW9uIG9mIHRoZSBpbXBs ZW1lbnRhdGlvbj8NClRoZSBpbXBsZW1lbnRhdGlvbiBpcyBsdWNpZGx5Y2xlYXIuIFRoZSBjb21w b25lbnQgc2VwYXJhdGlvbm9mIHRoZSBoZWFkZXJzIG1ha2VzIHNlbnNlIHdpdGhpbnRoZSBjb250 ZXh0IG9mIGV4aXN0aW5nIHN0ZCBsaWJjb21wb25lbnRzIHN1Y2ggYXMgdGhlIHR5cGVzLGNoYXJj b252LCBmdW5jdGlvbnMsIGV0Yy4NCkV2YWx1YXRpb24gb2YgdGhlIGRvY3VtZW50YXRpb24/DQpU aGUgZG9jdW1lbnRhdGlvbiBpcyBjb21wbGV0ZSxjbGVhciBhbmQgaXMgbW9yZSB0aGFuIHN1ZmZp Y2llbnRmb3IgbWUuDQpFdmFsdWF0aW9uIG9mIHRoZSB1c2VmdWxuZXNzPw0KRm9yIG1lIHRoaXMg bGliIGlzIGVzc2VudGlhbC4NClRoaXMgcHJvcG9zZWQgbGlicmFyeSBwcm92aWRlc2EgdW5pZm9y bSwgcG9ydGFibGUsIHBlcmZvcm1hbnQscGxhdGZvcm0taW5kZXBlbmRlbnQgaW1wbCBvZih1KWlu dDEyOF90Lg0KSXQgaXMgZGVzaWduZWQgdG8gZmlsbCBpbiBvbmVjcmFzcywgbG9uZy10aW1lLCBl eGlzdGluZyx1bmV2ZW4gZ2FwIGFtb25nIHBvcHVsYXJjb21waWxlciBpbXBscy4gSXQgZG9lcyB0 aGlzZXhjZWxsZW50bHkgYnkgcHJvdmlkaW5nY3Jvc3MtcGxhdGZvcm0gYWNjZXNzIHRvIDEyOC1i aXRpbnRlZ3JhbCB0eXBlcy4gVGhlc2UgdHlwZXMgYXJlcG9wdWxhciBhbmQgdXNlZCBpbiBudW1l cm91c2RvbWFpbnMuDQpUaGUgbGlicmFyeSBpcyBpbiBhIHJlbGF0aXZlbHljb21wbGV0ZSBzdGF0 ZS4gSSBmZWVsIGNvbmZpZGVudHVzaW5nIGl0IGFuZCBzaGlwcGluZyBpdC5BcyB0aGUgbGlicmFy eSBldm9sdmVzLCBzdXJlbHllZGdlLWNhc2Ugd2Vha25lc3NlcyB3aWxsIGJlZGlzY292ZXJlZCBh bmQgY29ycmVjdGVkLkJ1dCBhdCB0aGUgbW9tZW50LCBpdCdzcmVhZHktdG8tZ28uDQpVc2UgdGhl IGxpYnJhcnksIGVmZm9ydD9Lbm93bGVkZ2VhYmxlIGFib3V0IHRoZSBkb21haW4/DQpJJ3ZlIHVz ZWQgdGhlIGxpYnJhcnkgYWN0aXZlbHlhbmQgZGVlcGx5IHNpbmNlIGl0cyBiZWdpbm5pbmdzLkkg dXNlIGl0IHRvIGZ1enogYW5kIHBlcmZvcm1zdHJlc3MtdGVzdCBjb21wYXJpc29ucyB3aXRoc29t ZSBvZiBteSBvd24gc2VwYXJhdGUsaW5kZXBlbmRlbnQgYmlnIGludGVnZXJpbXBsZW1lbnRhdGlv bnMuIEl0IGlzIGFsc29pbnN0cnVtZW50YWwgaW4gdGhlIGltcGwuIG9mQm9vc3QuRGVjaW1hbCwg d2hlcmUgZWRnZS1jYXNld2Vha25lc3NlcyBoYXZlIGFscmVhZHkgYmVlbmZvdW5kIGFuZCBjb3Jy ZWN0ZWQuDQpTcGVjaWZpY2FsbHkgZm9yIHRoaXMgcmV2aWV3LEkgc2V0IHVwIGEgZnVuIGFuZCBl ZHVjYXRpb25hbGJlbmNobWFyazogQm9vc3QuSW50MTI4IHZlcnN1c2NvbXB1dGVyIGFsZ2VicmEs IGNvbXB1dGluZ21pbGxpb25zIG9mIDEyOC1iaXQgcHJpbWUgbnVtYmVycy5UaGlzIGhhcyBzdHJl c3MtZXhlcmNpc2VkIGJpbmFyeW9wZXJhdGlvbnMsIG1hc2tpbmcsIHNoaWZ0aW5nYW5kIG1hZGUg aGVhdnkgdXNlIG9mIHBvd20uDQpBcyBhIGZpbmFsIHN0ZXAgSSBwb3J0ZWQgYSBmZXdzaW1wbGUg ZXhlcmNpc2VzIHRvIGEgYmFyZS1tZXRhbDMyLWJpdCBtaWNyb2NvbnRyb2xsZXIgc3lzdGVtaGF2 aW5nIG5vIE9TIGFuZCBubyBpbnB1dG91dHB1dC4gV2hhdCBJIHRlc3RlZCB3b3JrZWRmaW5lLg0K DQpJIGNvbnNpZGVyIG15c2VsZiB0byBiZSBoaWdobHlrbm93bGVkZ2VhYmxlIGluIHRoZSBkb21h aW4uDQpGdXJ0aGVyIGNvbW1lbnRzPw0KVGhlcmUgaXMgYWxyZWFkeSBvbmUgMjU2LWJpdHF1ZXJ5 LCBhbmQgbW9yZSBvciBleHRlbmRlZHF1ZXJpZXMgbWlnaHQgZm9sbG93LiBJIHN1c3BlY3QsaG93 ZXZlciwgdGhhdCB0aGlzIGxpYnJhcnkgaXNwdXJwb3NlZnVsbHkgZm9yIDEyOC1iaXQgdHlwZXNl eGNsdXNpdmVseS4gRnVydGhlciB0eXBlc3dpbGwgcHJvYmFibHkgbmVlZCBzZXBhcmF0ZXByb3Bv c2Fscy4NCi0gQ2hyaXN0b3BoZXINCkRpc2NsYWltZXI6IEknbSBtdWx0aS10aW1lY29sbGFib3Jh dG9yIHdpdGggdGhlIGF1dGhvci5JIGFtICpub3QqIGFmZmlsaWF0ZWQgd2l0aHRoZSBDKysgQWxs aWFuY2UuIEkgaGF2ZWEgZmV3IGNvbW1pdHMgaW4gSW50MTI4LCBidXRieSBubyBtZWFucyBjb25z aWRlciBteXNlbGZhIGNvLWF1dGhvci4NCg0KDQogICAgT24gV2VkbmVzZGF5LCBKdWx5IDIyLCAy MDI2IGF0IDAxOjQwOjAzIFBNIEdNVCsyLCBBcm5hdWQgQmVjaGVsZXIgdmlhIEJvb3N0IDxib29z dEBsaXN0cy5ib29zdC5vcmc+IHdyb3RlOiAgDQogDQogRGVhciBCb29zdCBDb21tdW5pdHksDQoN CkkgYW0gdmVyeSBoYXBweSB0byBvcGVuIHRoZSBGb3JtYWwgUmV2aWV3IHBlcmlvZCBmb3IgQ2Fu ZGlkYXRlIEJvb3N0LkludDEyOA0KYXV0aG9yZWQgYnkgTWF0dCBCb3JsYW5kLCBydW5uaW5nIGZy b20gdG9kYXksIEp1bHkgMjJuZCB0byBKdWx5IDMxc3QgMjAyNi4NCg0KSW50MTI4IGlzIGEgcG9y dGFibGUgQysrMTQgaW1wbGVtZW50YXRpb24gb2Ygc2lnbmVkIGFuZCB1bnNpZ25lZCAxMjgtYml0 DQppbnRlZ2Vycy4gSXQgaGFzIG5vIGRlcGVuZGVuY2llcywgaXMgaGVhZGVyLW9ubHksIGFuZCBj YW4gYmUgY29uc3VtZWQgYXMgYQ0KbW9kdWxlIGluIEMrKzIwLg0KDQpZb3UgY2FuIGZpbmQgdGhl IGxpYnJhcnkgYW5kIGl0cyBkb2N1bWVudGF0aW9uIGhlcmU6DQotIGh0dHBzOi8vZ2l0aHViLmNv bS9jcHBhbGxpYW5jZS9pbnQxMjgvdHJlZS9ib29zdF9yZXZpZXcNCi0gaHR0cHM6Ly9kZXZlbG9w LmludDEyOC5jcHAuYWwvb3ZlcnZpZXcuaHRtbA0KDQpJIGNvdWxkIG1ha2UgZXhhbXBsZXMgd29y ayBpbiBDb21waWxlciBFeHBsb3JlcjoNCmh0dHBzOi8vZ29kYm9sdC5vcmcvei81YU02SzliNHIN CkFsdGhvdWdoIHBvc3NpYmx5IG5vdCBmYWl0aGZ1bCB0byBNYXR0J3MgaW1wbGVtZW50YXRpb24s IHRoaXMgQ0UgbGluayB3aWxsDQpiZSBoYW5keSBpZiB5b3UgYXJlIGluIGEgcnVzaCBidXQgd2Fu dCB0byBwbGF5IHdpdGggdGhlIGxpYnJhcnkuDQoNCkNhbmRpZGF0ZSBCb29zdC5JbnQxMjggc2Vy dmVzIGFzIGEgcHJhY3RpY2FsIHNvbHV0aW9uIHRvIHRoZSBwYXJ0aWFsIChyZXNwLg0KYWJzZW50 KSBzdXBwb3J0IG9mIDEyOC1iaXQgaW50ZWdlcnMgYnkgZ2NjL2NsYW5nIChyZXNwLiBtc3ZjKSwg YW5kIGFzIGFuDQphbHRlcm5hdGl2ZSB0byBwcm9qZWN0cyB3aXRoIGEgaGVhdnkgZGVwZW5kZW5j eSBmb290cHJpbnQuIEZvciBleGFtcGxlDQpCb29zdC5NdWx0aXByZWNpc2lvbiBvZmZlcnMgMTI4 LWJpdCBpbnRlZ2VycyBidXQgZHJhZ3MgMjUgQm9vc3QgbW9kdWxlcw0Kd2hpY2ggbWF5IG5vdCBi ZSBhY2NlcHRhYmxlIHdoZW4gb25seSBhIHNpbmdsZSB0eXBlIGlzIHJlcXVpcmVkLg0KDQpXZSBj YW4gZXhwZWN0IHRoaXMgbmV3IGxpZ2h0d2VpZ2h0IGxpYnJhcnkgdG8gaW50ZXJlc3QgYW55b25l IG1hbmlwdWxhdGluZw0KaW50ZWdlcnMgYmV5b25kIHRoZSA2NGJpdCBudW1lcmljIHJhbmdlLCBm b3Igc2ltcGxlIHByb2JsZW1zIGxpa2Ugd2hlbg0Kc3VtbWluZyBtYW55IDY0LWJpdHMgaW50ZWdl cnMgaW4gYW4gYWNjdW11bGF0b3IsIGNvbXB1dGluZyBhKmIvYyB3aGVyZSB0aGUNCmludGVybWVk aWF0ZSBwcm9kdWN0IG92ZXJmbG93cyA2NCBiaXRzLCBvciBpbiBjb21wbGV4IGZpZWxkcyBsaWtl DQpjcnlwdG9ncmFwaHksIGhhc2hpbmcsIHJhbmRvbSBudW1iZXIgZ2VuZXJhdGlvbiwgcHJlY2lz aW9uIGFyaXRobWV0aWMuLi4NCg0KTm90ZTogRHVlIHRvIHRoZSBCb29zdCByZWxlYXNlIGN5Y2xl LCB0aGUgbWFzdGVyIGJyYW5jaCBpcyBmcm96ZW4gb24gYWxsDQpCb29zdCBwcm9qZWN0cy4gVGhp cyBoYWQgdGhlIGluY29udmVuaWVudCBlZmZlY3Qgb2YgcHJldmVudGluZyBNYXR0IGZyb20NCm9w ZXJhdGluZyBhIGNyb3NzLXJlcG8gUFIgdG8gZW5hYmxlIEdQVSBzdXBwb3J0IHdpdGggQm9vc3Qu Q2hhcmNvbnYuIER1ZSB0bw0KdGhlIGxhY2sgb2YgYSBwcmFjdGljYWwgc29sdXRpb24sIHRoZSBD SSBvbiBtYXN0ZXIgd2lsbCByZW1haW4gcmVkIHVudGlsDQoxLjkyIHNoaXBzLiBXZSBraW5kbHkg YXNrIHJldmlld2VycyB0byBmb2N1cyBvbiB0aGUgYm9vc3RfcmV2aWV3IGJyYW5jaC4NCg0KQXMg YWx3YXlzLCB3ZSB3ZWxjb21lIGFsbCByZXZpZXdzLCBmcm9tIHF1aWNrIGltcHJlc3Npb25zIHRv IGRldGFpbGVkDQphbmFseXNpcy4gWW91ciBmZWVkYmFjayBoZWxwcyBlbnN1cmUgdGhhdCB0aGUg bGlicmFyeSBtZWV0cyBCb29zdCdzIGhpZ2gNCnN0YW5kYXJkcyBmb3IgY29ycmVjdG5lc3MsIHBl cmZvcm1hbmNlLCBkb2N1bWVudGF0aW9uLCBhbmQgZGVzaWduLiBJZg0KeW914oCZcmUgaW50ZXJl c3RlZCBpbiBjb250cmlidXRpbmcgYSByZXZpZXcsIHBsZWFzZSBwb3N0IHRvIHRoZSBCb29zdA0K bWFpbGluZyBsaXN0IGR1cmluZyB0aGUgcmV2aWV3IHBlcmlvZC4NCg0KSW4geW91ciByZXZpZXcg cGxlYXNlIHN0YXRlIHdoZXRoZXIgeW91IHJlY29tbWVuZCB0byBSRUpFQ1Qgb3IgQUNDRVBUIHRo ZQ0KbGlicmFyeSBpbnRvIEJvb3N0LCBhbmQgd2hldGhlciB5b3Ugc3VnZ2VzdCBhbnkgY29uZGl0 aW9ucyBmb3IgYWNjZXB0YW5jZS4NCg0KT3RoZXIgcXVlc3Rpb25zIHlvdSBtaWdodCB3YW50IHRv IGFuc3dlciBpbiB5b3VyIHJldmlldyBhcmU6DQrCoCAtIFdoYXQgaXMgeW91ciBldmFsdWF0aW9u IG9mIHRoZSBkZXNpZ24/DQrCoCAtIFdoYXQgaXMgeW91ciBldmFsdWF0aW9uIG9mIHRoZSBpbXBs ZW1lbnRhdGlvbj8NCsKgIC0gV2hhdCBpcyB5b3VyIGV2YWx1YXRpb24gb2YgdGhlIGRvY3VtZW50 YXRpb24/DQrCoCAtIFdoYXQgaXMgeW91ciBldmFsdWF0aW9uIG9mIHRoZSBwb3RlbnRpYWwgdXNl ZnVsbmVzcyBvZiB0aGUgbGlicmFyeT8NCsKgIC0gRGlkIHlvdSB0cnkgdG8gdXNlIHRoZSBsaWJy YXJ5PyBXaXRoIHdoYXQgY29tcGlsZXI/IERpZCB5b3UgaGF2ZSBhbnkNCnByb2JsZW1zPw0KwqAg LSBIb3cgbXVjaCBlZmZvcnQgZGlkIHlvdSBwdXQgaW50byB5b3VyIGV2YWx1YXRpb24/IEEgZ2xh bmNlPyBBIHF1aWNrDQpyZWFkaW5nPyBJbi1kZXB0aCBzdHVkeT8NCsKgIC0gQXJlIHlvdSBrbm93 bGVkZ2VhYmxlIGFib3V0IHRoZSBwcm9ibGVtcyB0YWNrbGVkIGJ5IHRoZSBsaWJyYXJ5Pw0KDQpU aGFuayB5b3UgZm9yIHlvdXIgdGltZSwNCkhhdmUgYSB3b25kZXJmdWwgd2VlaywNCg0KQXJuYXVk IEJlY2hlbGVyLA0KUmV2aWV3IE1hbmFnZXIgQm9vc3QuSW50MTI4DQpfX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KQm9vc3QgbWFpbGluZyBsaXN0IC0tIGJv b3N0QGxpc3RzLmJvb3N0Lm9yZw0KVG8gdW5zdWJzY3JpYmUgc2VuZCBhbiBlbWFpbCB0byBib29z dC1sZWF2ZUBsaXN0cy5ib29zdC5vcmcNCmh0dHBzOi8vbGlzdHMuYm9vc3Qub3JnL21haWxtYW4z L2xpc3RzL2Jvb3N0Lmxpc3RzLmJvb3N0Lm9yZy8NCkFyY2hpdmVkIGF0OiBodHRwczovL2xpc3Rz LmJvb3N0Lm9yZy9hcmNoaXZlcy9saXN0L2Jvb3N0QGxpc3RzLmJvb3N0Lm9yZy9tZXNzYWdlL0dM WkFMSDNXUkhTSUNQNlpZT0ZET1BXVVFUSlVLT001LyANCiAgCl9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fCkJvb3N0IG1haWxpbmcgbGlzdCAtLSBib29zdEBs aXN0cy5ib29zdC5vcmcKVG8gdW5zdWJzY3JpYmUgc2VuZCBhbiBlbWFpbCB0byBib29zdC1sZWF2 ZUBsaXN0cy5ib29zdC5vcmcKaHR0cHM6Ly9saXN0cy5ib29zdC5vcmcvbWFpbG1hbjMvbGlzdHMv Ym9vc3QubGlzdHMuYm9vc3Qub3JnLwpBcmNoaXZlZCBhdDogaHR0cHM6Ly9saXN0cy5ib29zdC5v cmcvYXJjaGl2ZXMvbGlzdC9ib29zdEBsaXN0cy5ib29zdC5vcmcvbWVzc2FnZS9XTElKMzJVVlRS SlM1RE5QU0c2VVhERFpYWlk0SElYSC8gCg==