{"push_id":2038545577,"size":3,"distinct_size":3,"ref":"refs/heads/doc/string-solver-documentation","head":"45732c0696c0b8fdc0a5ad1d440229fa2a16c97b","before":"bee99f10e68679675a5527cd49f9ad184f4c80bc","commits":[{"sha":"16319c63783a97b968395a881d996a9dc2812769","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Documentation: corrections in README file","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/16319c63783a97b968395a881d996a9dc2812769"},{"sha":"68e16edc668a854ee4eb1103f5e83396968d598f","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Documentation: polishing documentation of the string solver","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/68e16edc668a854ee4eb1103f5e83396968d598f"},{"sha":"45732c0696c0b8fdc0a5ad1d440229fa2a16c97b","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@gmail.com"},"message":"Documentation: mentionning that arrays need to be concretized","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/45732c0696c0b8fdc0a5ad1d440229fa2a16c97b"}]}
{"actor":{"display_login":"romainbrenguier"}}