{"push_id":1068527641,"size":7,"distinct_size":7,"ref":"refs/heads/simple-bounding","head":"ac159de12159da3cf1ce5bc1fdb28c6322562ba0","before":"d79dc42051e0d60e6a3a317f26c17c4ee0539956","commits":[{"sha":"30bf77a3f1245a57fbe19a22911d423a82e83228","author":{"email":"48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","name":"Stavros Aronis"},"message":"Fix printing of '--options' in messages","distinct":true,"url":"https://api.github.com/repos/aronisstav/Concuerror/commits/30bf77a3f1245a57fbe19a22911d423a82e83228"},{"sha":"9ac4c4447282303c4110cbf70de0239e55c987f7","author":{"email":"48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","name":"Stavros Aronis"},"message":"Fix wording of the \"too many errors\" message","distinct":true,"url":"https://api.github.com/repos/aronisstav/Concuerror/commits/9ac4c4447282303c4110cbf70de0239e55c987f7"},{"sha":"54769e123a61fbd95ced9c07cc5c80abfd3dafc6","author":{"email":"48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","name":"Stavros Aronis"},"message":"Add validation for scheduling option","distinct":true,"url":"https://api.github.com/repos/aronisstav/Concuerror/commits/54769e123a61fbd95ced9c07cc5c80abfd3dafc6"},{"sha":"676de0f660f21451da40415222a729263af5a003","author":{"email":"48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","name":"Stavros Aronis"},"message":"Add fullstops to warn messages","distinct":true,"url":"https://api.github.com/repos/aronisstav/Concuerror/commits/676de0f660f21451da40415222a729263af5a003"},{"sha":"a43740d668e53cdd42b13f242e91cb0980f47f1c","author":{"email":"48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","name":"Stavros Aronis"},"message":"Show version including SHA in reports","distinct":true,"url":"https://api.github.com/repos/aronisstav/Concuerror/commits/a43740d668e53cdd42b13f242e91cb0980f47f1c"},{"sha":"040e8c9456c1499a31b11068b6afe2b7e5b2ed98","author":{"email":"48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","name":"Stavros Aronis"},"message":"Minor fix","distinct":true,"url":"https://api.github.com/repos/aronisstav/Concuerror/commits/040e8c9456c1499a31b11068b6afe2b7e5b2ed98"},{"sha":"ac159de12159da3cf1ce5bc1fdb28c6322562ba0","author":{"email":"48de74ab2ede077dbc40c384a6ecabde09229321@gmail.com","name":"Stavros Aronis"},"message":"Implement a simple bounding technique\n\nThis technique, named 'simple', works in the following way: after exploring an\ninitial interleaving, races are identified and more interleavings planned by\n'diverging' from this initial interleaving. Each such new interleaving diverges\nin one step and defines the first few steps of the new exploration. The 'simple'\nbound limits how many such divergences are permitted.\n\nThis is not equivalent to 'preemption' bounding, as no effort is made to reduce\nor reason about preemptions. It is also not equivalent to delay bounding, as\nmore interleavings can diverge at the same point, and each will only consume\n'one' unit of bound budget.\n\nThis method works with 'optimal' DPOR, as in this case it is the wakeup sequence\nthat is considered the 'initial' interleaving (costing 1 unit of budget at the\ndivergence point).","distinct":true,"url":"https://api.github.com/repos/aronisstav/Concuerror/commits/ac159de12159da3cf1ce5bc1fdb28c6322562ba0"}]}