{"push_id":1225923849,"size":1,"distinct_size":1,"ref":"refs/heads/aisimplifier","head":"f0b1d825238d4ba02a703f9b1395fd88aec7cc5d","before":"a1b39c0d74d23dd66c6bf7f52b23f6ad5d2ea992","commits":[{"sha":"f0b1d825238d4ba02a703f9b1395fd88aec7cc5d","author":{"name":"Lucas Cordeiro","email":"4dd9c304f91371e025ecf1053b5f81c642481199@cs.ox.ac.uk"},"message":"fix the constant propagator merge operator\n\nSigned-off-by: Lucas Cordeiro <lucas.cordeiro@cs.ox.ac.uk>","distinct":true,"url":"https://api.github.com/repos/lucasccordeiro/cbmc/commits/f0b1d825238d4ba02a703f9b1395fd88aec7cc5d"}]}
{"actor":{"display_login":"lucasccordeiro"}}