{"push_id":1737369924,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"ef7594ce3d3b0fbf08941fb8d4010e73652afd97","before":"e91548b33e62169f73ee132dd174ea99a22135db","commits":[{"sha":"1a4b7c6bfa715cfa6fbd92a91b3cc017931c0495","author":{"name":"Clifford Wolf","email":"51c030b6e81569329c190fce4010a527a7fbfabe@clifford.at"},"message":"Fix boolector support in yosys-smtbmc","distinct":true,"url":"https://api.github.com/repos/pciambrone/yosys/commits/1a4b7c6bfa715cfa6fbd92a91b3cc017931c0495"},{"sha":"241dc7dfb4084134ed1e8d5d995cce60764b3dfc","author":{"name":"Clifford Wolf","email":"51c030b6e81569329c190fce4010a527a7fbfabe@clifford.at"},"message":"Update ABC to hg rev e79576e10d72","distinct":true,"url":"https://api.github.com/repos/pciambrone/yosys/commits/241dc7dfb4084134ed1e8d5d995cce60764b3dfc"},{"sha":"bd4ed19887dbf373ccb03815457b883a7289418a","author":{"name":"Clifford Wolf","email":"51c030b6e81569329c190fce4010a527a7fbfabe@clifford.at"},"message":"Add first draft of simple C back-end","distinct":true,"url":"https://api.github.com/repos/pciambrone/yosys/commits/bd4ed19887dbf373ccb03815457b883a7289418a"},{"sha":"7931e1ebb4c8bdb218dc9df59a7b0a09f107fd63","author":{"name":"Clifford Wolf","email":"51c030b6e81569329c190fce4010a527a7fbfabe@clifford.at"},"message":"Added support for more gate types to simplec back-end","distinct":true,"url":"https://api.github.com/repos/pciambrone/yosys/commits/7931e1ebb4c8bdb218dc9df59a7b0a09f107fd63"},{"sha":"ef7594ce3d3b0fbf08941fb8d4010e73652afd97","author":{"name":"Clifford Wolf","email":"51c030b6e81569329c190fce4010a527a7fbfabe@clifford.at"},"message":"Improve simplec back-end","distinct":true,"url":"https://api.github.com/repos/pciambrone/yosys/commits/ef7594ce3d3b0fbf08941fb8d4010e73652afd97"}]}
{"actor":{"display_login":"pciambrone"}}