{"push_id":828323246,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"255bb914bada727806df4bdc22ab8472f03a6317","before":"5308c1e02a4867b184efd8cbb419c058032d06b4","commits":[{"sha":"255bb914bada727806df4bdc22ab8472f03a6317","author":{"email":"b28e7ff75903c06de987a1eb75ea100a79c89e3a@clifford.at","name":"Clifford Wolf"},"message":"Progress in yosys-smtbmc","distinct":true,"url":"https://api.github.com/repos/cliffordwolf/yosys/commits/255bb914bada727806df4bdc22ab8472f03a6317"}]}