{"push_id":1268174920,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5dc51abb7a69d2093d0ad53e2201da55253cbcec","before":"7c7ebf8b0a4cc9dc5db23da4471bacff84f6bf78","commits":[{"sha":"c2d5bae042be2ce0f6f4e3205f5452387a49e3f1","author":{"name":"Robert Dockins","email":"f0af079e1ee8b431666027e6fd71ca5397ce4201@galois.com"},"message":"Some minor changes that improve performance when dealing with large tables.\n\nSquash some space leaks and use set operations in strategic places.  This\nhas a huge impact on performance when preforming 'svSelect' on large\ntables (2^16 elements) in some examples.","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/c2d5bae042be2ce0f6f4e3205f5452387a49e3f1"},{"sha":"5dc51abb7a69d2093d0ad53e2201da55253cbcec","author":{"name":"Levent Erkok","email":"ed8f2a1597628d8a0a7eb37e8c64b6d2af36abf4@gmail.com"},"message":"Merge pull request #234 from robdockins/master\n\nSome minor changes that improve performance when dealing with large tables","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/5dc51abb7a69d2093d0ad53e2201da55253cbcec"}]}
{"actor":{"display_login":"LeventErkok"}}