From mboxrd@z Thu Jan 1 00:00:00 1970 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 From: =?utf-8?b?THVrw6HFoSBaYW9yYWwgPGx6YW9yYWxAcmVkaGF0LmNvbT4=?= To: git-commits@fedoraproject.org Subject: [rpms/cbmc] rawhide: rebase to the latest upstream release Date: Wed, 02 Sep 2026 09:54:11 GMT Message-ID: <178834285104.1.2164949014052538458.rpms-cbmc-afdf1b4e82fe@fedoraproject.org> List-ID: X-Git-Repo: rpms/cbmc X-Git-Branch: rawhide X-Git-Rev: afdf1b4e82fe56578aa67d7c52d4d235e444c40a ICAgICAgICAgICAgQSBuZXcgY29tbWl0IGhhcyBiZWVuIHB1c2hlZC4KCiAgICAgICAgICAgIFJl cG8gICA6IHJwbXMvY2JtYwogICAgICAgICAgICBCcmFuY2ggOiByYXdoaWRlCiAgICAgICAgICAg IENvbW1pdCA6IGFmZGYxYjRlODJmZTU2NTc4YWE2N2Q3YzUyZDRkMjM1ZTQ0NGM0MGEKICAgICAg ICAgICAgQXV0aG9yIDogTHVrw6HFoSBaYW9yYWwgPGx6YW9yYWxAcmVkaGF0LmNvbT4KICAgICAg ICAgICAgRGF0ZSAgIDogMjAyNi0wOS0wMlQxMDoxMDoxNCswMjowMAogICAgICAgICAgICBTdGF0 cyAgOiArMzMvLTMwIGluIDQgZmlsZShzKQogICAgICAgICAgICBVUkwgICAgOiBodHRwczovL3Ny Yy5mZWRvcmFwcm9qZWN0Lm9yZy9ycG1zL2NibWMvYy9hZmRmMWI0ZTgyZmU1NjU3OGFhNjdkN2M1 MmQ0ZDIzNWU0NDRjNDBhP2JyYW5jaD1yYXdoaWRlCgogICAgICAgICAgICBMb2c6CiAgICAgICAg ICAgIHJlYmFzZSB0byB0aGUgbGF0ZXN0IHVwc3RyZWFtIHJlbGVhc2UKClJlc29sdmVzOiByaGJ6 IzI0OTIxNjgKCi0tLQpkaWZmIC0tZ2l0IGEvY2JtYy1mNDEtZml4LWJ1aWxkLnBhdGNoIGIvY2Jt Yy1mNDEtZml4LWJ1aWxkLnBhdGNoCmRlbGV0ZWQgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwN2Zl YTZmLi4wMDAwMDAwCi0tLSBhL2NibWMtZjQxLWZpeC1idWlsZC5wYXRjaAorKysgL2Rldi9udWxs CkBAIC0xLDI3ICswLDAgQEAKLUZyb20gYmZhNjIwM2EwNWM0ZjM5MTA0NTdjOTY1MTJkMWFkYWJi NTRlMDkyOSBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKLUZyb206IHJwbS1idWlsZCA8cnBtLWJ1 aWxkPgotRGF0ZTogV2VkLCAyMyBBcHIgMjAyNSAwMjowMDowMCArMDIwMAotU3ViamVjdDogW1BB VENIXSBjYm1jLWY0MS1maXgtYnVpbGQucGF0Y2gKLQotLS0tCi0gc3JjL2xpYmNwcm92ZXItY3Bw L0NNYWtlTGlzdHMudHh0IHwgNCAtLS0tCi0gMSBmaWxlIGNoYW5nZWQsIDQgZGVsZXRpb25zKC0p Ci0KLWRpZmYgLS1naXQgYS9zcmMvbGliY3Byb3Zlci1jcHAvQ01ha2VMaXN0cy50eHQgYi9zcmMv bGliY3Byb3Zlci1jcHAvQ01ha2VMaXN0cy50eHQKLWluZGV4IGQzMmI0MDcuLjlhYjczZmMgMTAw NjQ0Ci0tLS0gYS9zcmMvbGliY3Byb3Zlci1jcHAvQ01ha2VMaXN0cy50eHQKLSsrKyBiL3NyYy9s aWJjcHJvdmVyLWNwcC9DTWFrZUxpc3RzLnR4dAotQEAgLTY0LDEwICs2NCw2IEBAIGZvcmVhY2go ZGVwICR7TElCUkFSWV9ERVBFTkRFTkNJRVN9KQotICAgICAgICAgbGlzdChBUFBFTkQgREVQRU5E RU5DWV9UQVJHRVRTICIkPFRBUkdFVF9GSUxFOiR7ZGVwfT4iKQotICAgICBlbHNlKCkKLSAgICAg ICAgIGZpbmRfbGlicmFyeShkZXBfcGF0aCAke2RlcH0pCi0tICAgICAgICBzdHJpbmcoUkVHRVgg UkVQTEFDRSAiWy5dc28kIiAiLmEiIGRlcF9zdGF0aWNfcGF0aCAke2RlcF9wYXRofSkKLS0gICAg ICAgIGlmIChOT1QgRVhJU1RTICIke2RlcF9zdGF0aWNfcGF0aH0iKQotLSAgICAgICAgICBtZXNz YWdlKEZBVEFMX0VSUk9SICJsaWJjcHJvdmVyLWNwcCBjYW5ub3QgYmUgbGlua2VkIGFzIGRlcGVu ZGVuY3kgJHtkZXBfcGF0aH0gZG9lcyBub3QgaGF2ZSBhIHN0YXRpYyBjb3JyZXNwb25kZW50IGZp bGUgKCR7ZGVwX3N0YXRpY19wYXRofSkiKQotLSAgICAgICAgZW5kaWYoKQotICAgICAgICAgbGlz dChBUFBFTkQgREVQRU5ERU5DWV9UQVJHRVRTICR7ZGVwX3N0YXRpY19wYXRofSkKLSAgICAgZW5k aWYoKQotIGVuZGZvcmVhY2goZGVwIExJQlJBUllfREVQRU5ERU5DSUVTKQotLS0KLTIuNDkuMAot CgpkaWZmIC0tZ2l0IGEvY2JtYy1maXgtYnVpbGQucGF0Y2ggYi9jYm1jLWZpeC1idWlsZC5wYXRj aApuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwLi4wN2ZlYTZmCi0tLSAvZGV2L251 bGwKKysrIGIvY2JtYy1maXgtYnVpbGQucGF0Y2gKQEAgLTAsMCArMSwyNyBAQAorRnJvbSBiZmE2 MjAzYTA1YzRmMzkxMDQ1N2M5NjUxMmQxYWRhYmI1NGUwOTI5IE1vbiBTZXAgMTcgMDA6MDA6MDAg MjAwMQorRnJvbTogcnBtLWJ1aWxkIDxycG0tYnVpbGQ+CitEYXRlOiBXZWQsIDIzIEFwciAyMDI1 IDAyOjAwOjAwICswMjAwCitTdWJqZWN0OiBbUEFUQ0hdIGNibWMtZjQxLWZpeC1idWlsZC5wYXRj aAorCistLS0KKyBzcmMvbGliY3Byb3Zlci1jcHAvQ01ha2VMaXN0cy50eHQgfCA0IC0tLS0KKyAx IGZpbGUgY2hhbmdlZCwgNCBkZWxldGlvbnMoLSkKKworZGlmZiAtLWdpdCBhL3NyYy9saWJjcHJv dmVyLWNwcC9DTWFrZUxpc3RzLnR4dCBiL3NyYy9saWJjcHJvdmVyLWNwcC9DTWFrZUxpc3RzLnR4 dAoraW5kZXggZDMyYjQwNy4uOWFiNzNmYyAxMDA2NDQKKy0tLSBhL3NyYy9saWJjcHJvdmVyLWNw cC9DTWFrZUxpc3RzLnR4dAorKysrIGIvc3JjL2xpYmNwcm92ZXItY3BwL0NNYWtlTGlzdHMudHh0 CitAQCAtNjQsMTAgKzY0LDYgQEAgZm9yZWFjaChkZXAgJHtMSUJSQVJZX0RFUEVOREVOQ0lFU30p CisgICAgICAgICBsaXN0KEFQUEVORCBERVBFTkRFTkNZX1RBUkdFVFMgIiQ8VEFSR0VUX0ZJTEU6 JHtkZXB9PiIpCisgICAgIGVsc2UoKQorICAgICAgICAgZmluZF9saWJyYXJ5KGRlcF9wYXRoICR7 ZGVwfSkKKy0gICAgICAgIHN0cmluZyhSRUdFWCBSRVBMQUNFICJbLl1zbyQiICIuYSIgZGVwX3N0 YXRpY19wYXRoICR7ZGVwX3BhdGh9KQorLSAgICAgICAgaWYgKE5PVCBFWElTVFMgIiR7ZGVwX3N0 YXRpY19wYXRofSIpCistICAgICAgICAgIG1lc3NhZ2UoRkFUQUxfRVJST1IgImxpYmNwcm92ZXIt Y3BwIGNhbm5vdCBiZSBsaW5rZWQgYXMgZGVwZW5kZW5jeSAke2RlcF9wYXRofSBkb2VzIG5vdCBo YXZlIGEgc3RhdGljIGNvcnJlc3BvbmRlbnQgZmlsZSAoJHtkZXBfc3RhdGljX3BhdGh9KSIpCist ICAgICAgICBlbmRpZigpCisgICAgICAgICBsaXN0KEFQUEVORCBERVBFTkRFTkNZX1RBUkdFVFMg JHtkZXBfc3RhdGljX3BhdGh9KQorICAgICBlbmRpZigpCisgZW5kZm9yZWFjaChkZXAgTElCUkFS WV9ERVBFTkRFTkNJRVMpCistLQorMi40OS4wCisKCmRpZmYgLS1naXQgYS9jYm1jLnNwZWMgYi9j Ym1jLnNwZWMKaW5kZXggMzljZWNhNS4uMzZjZjVjYSAxMDA2NDQKLS0tIGEvY2JtYy5zcGVjCisr KyBiL2NibWMuc3BlYwpAQCAtNCw3ICs0LDcgQEAKICVkZWZpbmUgdXRpbHNfdmVyc2lvbiAxLjMK IAogTmFtZTogICAgICAgICAgIGNibWMKLVZlcnNpb246ICAgICAgICA2LjEwLjAKK1ZlcnNpb246 ICAgICAgICA2LjExLjAKIFJlbGVhc2U6ICAgICAgICAxJXs/ZGlzdH0KIFN1bW1hcnk6ICAgICAg ICBCb3VuZGVkIE1vZGVsIENoZWNrZXIgZm9yIEFOU0ktQyBhbmQgQysrIHByb2dyYW1zCiAKQEAg LTE3LDcgKzE3LDcgQEAgU291cmNlMTogICAgICAgIGh0dHBzOi8vZ2l0aHViLmNvbS9hdWZvdmVy LyV7bmFtZX0tdXRpbHMvYXJjaGl2ZS92JXt1dGlsc192ZXJzaW8KICMgSW1wbGVtZW50cyBodHRw czovL2dpdGh1Yi5jb20vZGlmZmJsdWUvY2JtYy9pc3N1ZXMvNTk2NQogUGF0Y2g6ICAgICAgICAg JXtuYW1lfS1hZGQtY21kLWxpbmUtYXJnLnBhdGNoCiAjIEZpeCBjb21waWxhdGlvbiBvbiBGNDEr Ci1QYXRjaDogICAgICAgICAle25hbWV9LWY0MS1maXgtYnVpbGQucGF0Y2gKK1BhdGNoOiAgICAg ICAgICV7bmFtZX0tZml4LWJ1aWxkLnBhdGNoCiAKIEJ1aWxkUmVxdWlyZXM6ICBiaXNvbgogQnVp bGRSZXF1aXJlczogIGNtYWtlCkBAIC0xMzEsNiArMTMxLDkgQEAgbXYgJXtidWlsZHJvb3R9ey91 c3IvZXRjL2Jhc2hfY29tcGxldGlvbi5kL2NibWMsJXtiYXNoX2NvbXBsZXRpb25zX2Rpcn19CiAl e19iaW5kaXJ9L2NzZXhlYy0le25hbWV9CiAKICVjaGFuZ2Vsb2cKKyogV2VkIFNlcCAwMiAyMDI2 IEx1a8OhxaEgWmFvcmFsIDxsemFvcmFsQHJlZGhhdC5jb20+IC0gNi4xMS4wLTEKKy0gcmViYXNl IHRvIHRoZSBsYXRlc3QgdXBzdHJlYW0gcmVsZWFzZSAocmhieiMyNDkyMTY4KQorCiAqIFRodSBK dWwgMTYgMjAyNiBMdWvDocWhIFphb3JhbCA8bHphb3JhbEByZWRoYXQuY29tPiAtIDYuMTAuMC0x CiAtIHJlYmFzZSB0byB0aGUgbGF0ZXN0IHVwc3RyZWFtIHJlbGVhc2UgKHJoemIjMjQ5MjE2OCkK IAoKZGlmZiAtLWdpdCBhL3NvdXJjZXMgYi9zb3VyY2VzCmluZGV4IDQzNTc2ZGIuLjg3YjNlZWYg MTAwNjQ0Ci0tLSBhL3NvdXJjZXMKKysrIGIvc291cmNlcwpAQCAtMSwyICsxLDIgQEAKLVNIQTUx MiAoY2JtYy02LjEwLjAudGFyLmd6KSA9IDg3YThkMDIwMmM3NzhjMDY5OWExMTczM2YxZDczZjIy MzlkOWY5MTIyMjY0NGRjNmZiZmZjODIwZWNlNTNmNDM2MjExNTIxOTFmYTU0NDM5NTdjODU2MDhh MDAyMWU1NmIyOTA5NTlmMTBiNTE4Y2IwNDEzM2M0MGM3YmYwZGJlCitTSEE1MTIgKGNibWMtNi4x MS4wLnRhci5neikgPSA4NjU2NDllY2Q5NzRiNDQ1N2Q2NDM3ODIyZWYwM2UwZjZmZTM5MjIxZmU5 M2MzMjAyN2UxNTk4MTRlNmE2YzViMTkwY2MyNzI0YjNlNjUyMTQzOWI0YjlmNjZiYWE1YjYyZWJi NTFiYWEyNzE5MjZiNDdhMmM0YTY1YzMyZWYxZQogU0hBNTEyIChjYm1jLXV0aWxzLTEuMy50YXIu Z3opID0gM2YzZWFhOWYyYjJlNzViMTA4ODk5ODkxMWYyODJlYjI1ODlmYTRiNzI0ZGJjYTJkZDE1 NWQ5YzYwZGRlMzAyZTczMmU2NDA1ODk3YWVlMzQ5NDkwYmE1NGQzMzZmMDNjMDk0ZmU1N2Y5MmZi NDJmZDMxN2M2YzFkNGI5NTE0ODgK