{"push_id":3055374145,"size":1,"distinct_size":1,"ref":"refs/heads/refactor/symex-config","head":"936fd9c0c0c48b868e8103f28681950bae74850e","before":"fb7dcb6ec6c4405b16aa66adc866001328c7c3a7","commits":[{"sha":"936fd9c0c0c48b868e8103f28681950bae74850e","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Group symex options into symex_config structure\n\nThis makes it easy to separate the constant parameters of that class\nfrom the other fields.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/936fd9c0c0c48b868e8103f28681950bae74850e"}]}
{"actor":{"display_login":"romainbrenguier"}}