{"push_id":1461388567,"size":1,"distinct_size":1,"ref":"refs/heads/fix_alignment_of_alloc_memory","head":"1d08d92d2accb54c14e1fac5d35fc8bf977c82c9","before":"7723ebd86e11348a0fa0212afb3dbae3c9fe60f9","commits":[{"sha":"1d08d92d2accb54c14e1fac5d35fc8bf977c82c9","author":{"name":"Dan Liew","email":"83a8ff37c44d688876396ac8ef90241df7a1f3c7@imperial.ac.uk"},"message":"Teach KLEE to respect the requested memory alignment of globals and stack\nvariables when possible.\n\nPreviously an alignment 8 was always used which did not faithfully\nemulate what was either explicitly requested in the LLVM IR or what\nthe default alignment was for the target.","distinct":true,"url":"https://api.github.com/repos/delcypher/klee/commits/1d08d92d2accb54c14e1fac5d35fc8bf977c82c9"}]}
{"actor":{"display_login":"delcypher"}}