{"push_id":3105514280,"size":5,"distinct_size":5,"ref":"refs/heads/optimize/phi_function_loop","head":"005dbcc36b09c2500c450e0e43d75d5fccb1e086","before":"429cd2a2e21a2853900009968402fab7aceb1ce7","commits":[{"sha":"c7c8026054c5f8621d4785a8e141373b67053d7d","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Document merge_names funciton","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/c7c8026054c5f8621d4785a8e141373b67053d7d"},{"sha":"cd76887d8492b266abe765ae3374bbe48277138f","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Compute goto_count and dest_count before merge_names\n\nSince these are used several times in the function we can avoid some\nlookups by pre-computing it.\nWe make them parameters to allow later commits to give them without\nlookup.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/cd76887d8492b266abe765ae3374bbe48277138f"},{"sha":"57389a27c007f0e66cef23300763dafd7b8cdcf3","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Use a for_each2 function iterating over two maps\n\nInside phi_function we can avoid a lot of lookups if we iterate over the\ntwo maps at the same time, since they are ordered.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/57389a27c007f0e66cef23300763dafd7b8cdcf3"},{"sha":"4df1933f9a6b83054f0266a16560d90c2f578137","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Remove unused range","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/4df1933f9a6b83054f0266a16560d90c2f578137"},{"sha":"005dbcc36b09c2500c450e0e43d75d5fccb1e086","author":{"name":"Romain Brenguier","email":"1850fe8e28abcd0cd143dd81a115bfa7a40fbc74@gmail.com"},"message":"Apply clang-format suggestions\n\nThis commit only contains formatting changes.","distinct":true,"url":"https://api.github.com/repos/romainbrenguier/cbmc/commits/005dbcc36b09c2500c450e0e43d75d5fccb1e086"}]}
{"actor":{"display_login":"romainbrenguier"}}