{"push_id":2938007298,"size":1,"distinct_size":1,"ref":"refs/heads/hex-bitvectors7","head":"0bb17ee7ab98d4a130cd1733a713a197f833da93","before":"e2f2c22526ab691000bf0980226882da7c3cb3f4","commits":[{"sha":"0bb17ee7ab98d4a130cd1733a713a197f833da93","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"rewrite simplify_exprt::simplify_popcount using get_bitvector_bit","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/0bb17ee7ab98d4a130cd1733a713a197f833da93"}]}
{"actor":{"display_login":"kroening"}}