{"push_id":1401961462,"size":3,"distinct_size":3,"ref":"refs/heads/tgm_plus_strings_merge_solver_experiments","head":"e136cbd27f45cd7196269357ce30553d0856738b","before":"405c52a0341a0cf3960b6e799ac3337fd2216c37","commits":[{"sha":"73d8704483cc8c687e28c8db9c700a56d759e97e","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@cs.ox.ac.uk"},"message":"Corrected a problem with symbol conversion in the string refinement","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/73d8704483cc8c687e28c8db9c700a56d759e97e"},{"sha":"be4b041dbce2d7263541a2c1c9bd6920986099e3","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@cs.ox.ac.uk"},"message":"Corrected a problem with symbol conversion in the string refinement","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/be4b041dbce2d7263541a2c1c9bd6920986099e3"},{"sha":"e136cbd27f45cd7196269357ce30553d0856738b","author":{"name":"Romain Brenguier","email":"b85ea2d6dcc482bea20a3fb7e3d8761fccb4a9b2@cs.ox.ac.uk"},"message":"Added a map for data in the refinement step, to record which symbols is associated with the data. The same thing is probably requiered for the length","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/e136cbd27f45cd7196269357ce30553d0856738b"}]}
{"actor":{"display_login":"romainbrenguier"}}