{"push_id":2583023276,"size":3,"distinct_size":3,"ref":"refs/heads/buffer","head":"90ab148cb2f893f562d3c08ba25fd118fc4ea6d6","before":"59be5e64cc9b9d58f3b70116a5b8c5333f33531f","commits":[{"sha":"d97d44d90270ada39f3e42c250a7e9695d1536a1","author":{"name":"Daniel Schemmel","email":"ed4ea6c557eef6bd9d59be1675054dd153f30cc2@comsys.rwth-aachen.de"},"message":"Move vector.h to old_vector.h and add a shim vector.h\nTo do so, don't explicitly call vector a 'class'","distinct":true,"url":"https://api.github.com/repos/danielschemmel/z3/commits/d97d44d90270ada39f3e42c250a7e9695d1536a1"},{"sha":"6469c24c894a362e2a09bd8a5b3498bb506cc46a","author":{"name":"Daniel Schemmel","email":"ed4ea6c557eef6bd9d59be1675054dd153f30cc2@comsys.rwth-aachen.de"},"message":"Implement new buffer in new_buffer.h and enable it in the buffer.h shim","distinct":true,"url":"https://api.github.com/repos/danielschemmel/z3/commits/6469c24c894a362e2a09bd8a5b3498bb506cc46a"},{"sha":"90ab148cb2f893f562d3c08ba25fd118fc4ea6d6","author":{"name":"Daniel Schemmel","email":"ed4ea6c557eef6bd9d59be1675054dd153f30cc2@comsys.rwth-aachen.de"},"message":"Implement the new vector as a specialization in new_buffer.h and enable it in the shim","distinct":true,"url":"https://api.github.com/repos/danielschemmel/z3/commits/90ab148cb2f893f562d3c08ba25fd118fc4ea6d6"}]}
{"actor":{"display_login":"danielschemmel"}}