{"push_id":861771514,"size":7,"distinct_size":0,"ref":"refs/heads/master","head":"136b5159799f9b061d257de2f872e4f504b83c42","before":"9aeba531f0a14d82d94eb11a08528b12a835249f","commits":[{"sha":"dc719729903b2038276c70a3995bd610f24237f3","author":{"email":"ac2fd2ac15c1fc6a49a388a7d2d8f1bd623e9e79@ENG401070","name":"shuaipeng"},"message":"fixed compile error caused by code change in PolicySpreadSheetTestSuite\nclass","distinct":false,"url":"https://api.github.com/repos/dianxiangxu/XPA/commits/dc719729903b2038276c70a3995bd610f24237f3"},{"sha":"4f8f73a27b144127442f72ea8418e2647a539f52","author":{"email":"ac2fd2ac15c1fc6a49a388a7d2d8f1bd623e9e79@ENG401070","name":"shuaipeng"},"message":"change mutantList to a data member, call createSlectedMutants() method\nwithin constructor","distinct":false,"url":"https://api.github.com/repos/dianxiangxu/XPA/commits/4f8f73a27b144127442f72ea8418e2647a539f52"},{"sha":"688f31855d7c2c0aaa4b7203e222dbff4d20d00f","author":{"email":"ac2fd2ac15c1fc6a49a388a7d2d8f1bd623e9e79@ENG401070","name":"shuaipeng"},"message":"add SpectrumBasedDiagnosisResults\napplyOneFaultLocalizerToPolicyMutant(String faultLocalizeMethod)  to\nSpectrumBaseFaultLocalizer class; implement repairSmartly in\nPolicyRepairer class;","distinct":false,"url":"https://api.github.com/repos/dianxiangxu/XPA/commits/688f31855d7c2c0aaa4b7203e222dbff4d20d00f"},{"sha":"be154aef33abfe79ef8f4f494a46ab36cdd7c435","author":{"email":"ac2fd2ac15c1fc6a49a388a7d2d8f1bd623e9e79@ENG401070","name":"shuaipeng"},"message":"fixed the index out of range issue by changing public List<Integer>\ngetRuleIndexRankedBySuspicion() method in SpectrumBasedDiagnosisResult\nclass: change \"coefficient.getRuleIndex() + 1\" to\n\"coefficient.getRuleIndex()\"","distinct":false,"url":"https://api.github.com/repos/dianxiangxu/XPA/commits/be154aef33abfe79ef8f4f494a46ab36cdd7c435"},{"sha":"191a342f54b22e2b809a9e6728cf8253e4ff2d25","author":{"email":"ac2fd2ac15c1fc6a49a388a7d2d8f1bd623e9e79@ENG401070","name":"shuaipeng"},"message":"add cpp and java temporary files list to .gitignore; some minor\nrevisions","distinct":false,"url":"https://api.github.com/repos/dianxiangxu/XPA/commits/191a342f54b22e2b809a9e6728cf8253e4ff2d25"},{"sha":"7696f937d1e750a05a8e17438a9880b2a350b17e","author":{"email":"ac2fd2ac15c1fc6a49a388a7d2d8f1bd623e9e79@ENG401070","name":"shuaipeng"},"message":"add Z3-str/ to XPA project; modify .gitignore and README.md","distinct":false,"url":"https://api.github.com/repos/dianxiangxu/XPA/commits/7696f937d1e750a05a8e17438a9880b2a350b17e"},{"sha":"136b5159799f9b061d257de2f872e4f504b83c42","author":{"email":"ac2fd2ac15c1fc6a49a388a7d2d8f1bd623e9e79@ENG401070","name":"shuaipeng"},"message":"update getValue() and buildZ3Output() method of Call_Z3str.java","distinct":false,"url":"https://api.github.com/repos/dianxiangxu/XPA/commits/136b5159799f9b061d257de2f872e4f504b83c42"}]}