{"push_id":752924802,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"12e64c79682e9c373a8f1d664264d0b63a692d71","before":"93d78f38d8283843ec73e198e1116f0a93b3214e","commits":[{"sha":"12e64c79682e9c373a8f1d664264d0b63a692d71","author":{"email":"b28e7ff75903c06de987a1eb75ea100a79c89e3a@clifford.at","name":"Clifford Wolf"},"message":"Progress with smt2-based bmc scripts","distinct":true,"url":"https://api.github.com/repos/cliffordwolf/picorv32/commits/12e64c79682e9c373a8f1d664264d0b63a692d71"}]}