{"push_id":787873189,"size":17,"distinct_size":17,"ref":"refs/heads/master","head":"66e136b1789a42619678bb849a3df03d64dddc70","before":"66cf5d68c2016061eeb22e5a777c556e8f127c7d","commits":[{"sha":"ed20327b7dc4a706def98d93064d96970e946dc1","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve CFG recovery functionality.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/ed20327b7dc4a706def98d93064d96970e946dc1"},{"sha":"aa0916650229a6e13023745ebeef030cc5dc1ea9","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve CFG recovery functionality.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/aa0916650229a6e13023745ebeef030cc5dc1ea9"},{"sha":"7a93141d0a3e7f049905071ff74fd47f6e29dcd8","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Fix smt translation of sext reil instruction.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/7a93141d0a3e7f049905071ff74fd47f6e29dcd8"},{"sha":"01fb00c76d8c64b38ff4772c025c3280b8b4a49f","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve CFG recovery functionality.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/01fb00c76d8c64b38ff4772c025c3280b8b4a49f"},{"sha":"0d551d8fd6b25e919462b57bcf5b1ce31c9fab8a","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve CFG recovery functionality.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/0d551d8fd6b25e919462b57bcf5b1ce31c9fab8a"},{"sha":"0b214fd83e2583b1293dcb610655e92b061c47dd","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve CFG recovery functionality.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/0b214fd83e2583b1293dcb610655e92b061c47dd"},{"sha":"3fa5f4c4fd9d9838de907b7f1221c1ccbc65ef09","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve Basic Block class.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/3fa5f4c4fd9d9838de907b7f1221c1ccbc65ef09"},{"sha":"e7801e273dd994019ac128cea4dce1412aba6fcf","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve CFG recovery functionality.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/e7801e273dd994019ac128cea4dce1412aba6fcf"},{"sha":"6f75f253fd0e02cf1784a23dba8b80fa34aeff36","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve CFG recovery functionality.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/6f75f253fd0e02cf1784a23dba8b80fa34aeff36"},{"sha":"28c6b16c4b3abbe645b1603fc7c080b6157667a5","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Fix smt translation of bsh reil instruction.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/28c6b16c4b3abbe645b1603fc7c080b6157667a5"},{"sha":"7f32b691dcc37a3b41f6e6f0acedd8333f998861","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Fix smt translation of bsh reil instruction.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/7f32b691dcc37a3b41f6e6f0acedd8333f998861"},{"sha":"d9c69c41b4c635f1b1b544033cc6fff1cfc3147a","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve Code Analyzer class.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/d9c69c41b4c635f1b1b544033cc6fff1cfc3147a"},{"sha":"9d667c5ae18722f6ac16e65e04645aed3be3313f","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Improve smtlibv2 module.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/9d667c5ae18722f6ac16e65e04645aed3be3313f"},{"sha":"af49bc46d0f559536577114766dc2d6d42666e46","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Add support for CFG pickling.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/af49bc46d0f559536577114766dc2d6d42666e46"},{"sha":"acf39890c0a1742f8e420bc0fa4aabdad4c2fa44","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Add iterators to ReilSequence and ReilContainer class.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/acf39890c0a1742f8e420bc0fa4aabdad4c2fa44"},{"sha":"048c1f8803a234414f34d097e708e45fb2fe904c","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Fix bug in x86 div reil translation.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/048c1f8803a234414f34d097e708e45fb2fe904c"},{"sha":"66e136b1789a42619678bb849a3df03d64dddc70","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Add support for x86 IDIV instruction.","distinct":true,"url":"https://api.github.com/repos/cnheitman/barf-project/commits/66e136b1789a42619678bb849a3df03d64dddc70"}]}