{"push_id":2733980547,"size":14,"distinct_size":2,"ref":"refs/heads/master","head":"c9ebc1c83ac0c0a179ac4a819ed24c651477dfb7","before":"d83370cf1eb8f3137b14c45d7409053dcbef786b","commits":[{"sha":"8712fa5790ae7987e8b44ca4f963e3ca0ea308bc","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Refactoring: multiple barrier classes reduced to a generic fence","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/8712fa5790ae7987e8b44ca4f963e3ca0ea308bc"},{"sha":"d0cf2e00a5278a122fcffa4b78effe24c29050a0","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Refactoring: encoding only necessary fences in Wmm","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/d0cf2e00a5278a122fcffa4b78effe24c29050a0"},{"sha":"1c523b16c94b8b0f2bba72dffd8b29dc310cc0ac","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Minor refactoring of fences","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/1c523b16c94b8b0f2bba72dffd8b29dc310cc0ac"},{"sha":"269bc57b353006f08cc9a28d8c7eab6a41c58c26","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Removed unused methods, refactored printing of relations and axioms","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/269bc57b353006f08cc9a28d8c7eab6a41c58c26"},{"sha":"324bb3c475450e4f5d9dcdb8ffd263472cc34768","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Added axiom \"Empty\" and negations of all axioms","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/324bb3c475450e4f5d9dcdb8ffd263472cc34768"},{"sha":"82a8810a9303c3cf218433c4eb5ede2b37badc1e","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Updated utils for drawing graphs","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/82a8810a9303c3cf218433c4eb5ede2b37badc1e"},{"sha":"54eb54b6b5eb6364f98612077a13d7157065360c","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"RMW for TSO","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/54eb54b6b5eb6364f98612077a13d7157065360c"},{"sha":"997a14fd16c926ab229dd58e9fd9624dec866487","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Updated class hierarchy in Wmm","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/997a14fd16c926ab229dd58e9fd9624dec866487"},{"sha":"be23eaee2874e6e753f3d99d479210e14574f539","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Updated class hierarchy in the program package","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/be23eaee2874e6e753f3d99d479210e14574f539"},{"sha":"c9d5797901d19287a1b3ec048531085f8f0b6dd5","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Refactoring of WMMs","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/c9d5797901d19287a1b3ec048531085f8f0b6dd5"},{"sha":"0181b49a27828f74fcb673fed97cc9b1004513aa","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Relation name \"poloc\" replaced with \"po-loc\" for compatibility with Herd stdlib","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/0181b49a27828f74fcb673fed97cc9b1004513aa"},{"sha":"ab03dd19dd28e7e137b8aa4d5d8aa14b3b2f53bf","author":{"name":"ponce","email":"638c89fd48409d8ef3e3a3c9b0a27af8629fef36@pf0qxf5z"},"message":"Removed isync from RMO\n\n\nSigned-off-by: ponce <ponce@pf0qxf5z>","distinct":false,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/ab03dd19dd28e7e137b8aa4d5d8aa14b3b2f53bf"},{"sha":"00d94b7c6f59544857a804e7ee61e6b8ff387a39","author":{"name":"Hernan Ponce de Leon","email":"638c89fd48409d8ef3e3a3c9b0a27af8629fef36@fortiss.org"},"message":"Merge remote-tracking branch 'origin/master' into litmus-update-commit-b49","distinct":true,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/00d94b7c6f59544857a804e7ee61e6b8ff387a39"},{"sha":"c9ebc1c83ac0c0a179ac4a819ed24c651477dfb7","author":{"name":"Hernan Ponce de Leon","email":"638c89fd48409d8ef3e3a3c9b0a27af8629fef36@fortiss.org"},"message":"Added test for CAT parsing in the scripts\n\nSigned-off-by: Hernan Ponce de Leon <ponce@fortiss.org>","distinct":true,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/c9ebc1c83ac0c0a179ac4a819ed24c651477dfb7"}]}
{"actor":{"display_login":"hernanponcedeleon"}}