{"push_id":3016890723,"size":16,"distinct_size":1,"ref":"refs/heads/master","head":"1d2877d773d65b5a89eb4173d7d3c98b1bd83187","before":"b1be4ee564eae748d79e11e9cbb1543cd045868c","commits":[{"sha":"fba55ba2a9f9d906dc584e2c8dc6a97a8c137b92","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"make the -Z flags we use more consistent","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/fba55ba2a9f9d906dc584e2c8dc6a97a8c137b92"},{"sha":"7ac0e79ad5bcd8d7e4f8317c15238d5911faf11c","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"stub Retag hook; fix tests for removal of -Zmir-emit-validate","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/7ac0e79ad5bcd8d7e4f8317c15238d5911faf11c"},{"sha":"bba3c49e844895cdc32dc6ea1acbf0c6555beefd","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"basic retagging (no fn_entry); this also makes us catch more bugs even with optimizations and we can finally stop mutating the state on deref","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/bba3c49e844895cdc32dc6ea1acbf0c6555beefd"},{"sha":"85f821d7e9c1f920e6584821ffa0dbccded8f657","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"unify checks on memory access and reborrowing, and update for Machine trait change","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/85f821d7e9c1f920e6584821ffa0dbccded8f657"},{"sha":"430e047a6f2364f9c6d7d950816eef09f3db0428","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"start collecting some things ALLOWED by stacked borrows in a run-pass test","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/430e047a6f2364f9c6d7d950816eef09f3db0428"},{"sha":"3302656247438d89936bbbfd55fe696c82fa98e4","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"More extensive slice and vec tests\n\nNot all of them pass validation...","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/3302656247438d89936bbbfd55fe696c82fa98e4"},{"sha":"478f137c39b827e6de39056b5c27a8e5d797aa4d","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"put all the logic into reactivatable()","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/478f137c39b827e6de39056b5c27a8e5d797aa4d"},{"sha":"81534496dc3356d5794300d513be200f939350c7","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"rename RefKind to UsageKind, because it not only used for references now","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/81534496dc3356d5794300d513be200f939350c7"},{"sha":"a68779fd16a851fbdb0e25297044da7f5a410845","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"use crate:: import to make edition port easier later","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/a68779fd16a851fbdb0e25297044da7f5a410845"},{"sha":"dc859f345d213157d7e68958f6b2549f440fd580","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"Merge remote-tracking branch 'origin/master' into rustup","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/dc859f345d213157d7e68958f6b2549f440fd580"},{"sha":"e9f79f5f6f73d933d3cabbda9ae8058d54bb9f9a","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"bump Rust version","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/e9f79f5f6f73d933d3cabbda9ae8058d54bb9f9a"},{"sha":"5f42aa61d578c8bb2f41ea6e5baf29565d8ee32a","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"illegal_write2 does not work with optimizations","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/5f42aa61d578c8bb2f41ea6e5baf29565d8ee32a"},{"sha":"8da2c9e34e836e12bfa9912c5df4e62afc21b634","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"fix adding default arguments","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/8da2c9e34e836e12bfa9912c5df4e62afc21b634"},{"sha":"8ac5d988e237570e24208a05f65bf0b06137d101","author":{"name":"Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer","email":"a5d234032ad407e31a809afffc2d040bd855ec98@oli-obk.de"},"message":"typo\n\nCo-Authored-By: RalfJung <post@ralfj.de>","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/8ac5d988e237570e24208a05f65bf0b06137d101"},{"sha":"cb691b7ed9f0b6c37828d85126b2aaed4c2b57af","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"comment on mut-to-shr transmutes","distinct":false,"url":"https://api.github.com/repos/solson/miri/commits/cb691b7ed9f0b6c37828d85126b2aaed4c2b57af"},{"sha":"1d2877d773d65b5a89eb4173d7d3c98b1bd83187","author":{"name":"Ralf Jung","email":"9b466094ec991a03cb95c489c19c4d75635f0ae5@ralfj.de"},"message":"Merge pull request #506 from solson/rustup\n\nRustup for retagging","distinct":true,"url":"https://api.github.com/repos/solson/miri/commits/1d2877d773d65b5a89eb4173d7d3c98b1bd83187"}]}
{"actor":{"display_login":"RalfJung"}}