{"push_id":865254774,"size":16,"distinct_size":16,"ref":"refs/heads/j087a","head":"06b1ac7a872f5d6eae4a3c44d074a3576fa798a4","before":"0d93b4839ce9a2ede775593910b9543e91b0cee7","commits":[{"sha":"dc86fdf654d48662736d94af357036fec7659ced","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"try to make linking faster + fix minor bug with alignment","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/dc86fdf654d48662736d94af357036fec7659ced"},{"sha":"81654281a170a40387d2ab4cfa79fcb5382d1552","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"try to inline mergeDecls","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/81654281a170a40387d2ab4cfa79fcb5382d1552"},{"sha":"6a3ee87fe43bad1db304f19731210e3aea9d0a88","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"use queue to merge objects","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/6a3ee87fe43bad1db304f19731210e3aea9d0a88"},{"sha":"e00c9a7c581169a6b5024cd8afff6982009a6997","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"remove macros from translation semantics","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/e00c9a7c581169a6b5024cd8afff6982009a6997"},{"sha":"6ec5880113b56bddeec714b163c86e43be0e5786","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add more undefinedness cases","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/6ec5880113b56bddeec714b163c86e43be0e5786"},{"sha":"642fb1bd1bc6948d06b54ceadb40a55e681d6a7b","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix kcc -shared","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/642fb1bd1bc6948d06b54ceadb40a55e681d6a7b"},{"sha":"d0fc32d17a6a2ddb9883afdf200d032ceed1ef99","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"move alternate profiles to proprietary repo","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/d0fc32d17a6a2ddb9883afdf200d032ceed1ef99"},{"sha":"e5b4659b8cf399f43c9d02b2f326285f66d2d0d4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"more minor fixes + add hasLint flag","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/e5b4659b8cf399f43c9d02b2f326285f66d2d0d4"},{"sha":"f7ebf319e448e25c1ef905e64b92bb64ae177c4c","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add lint mode","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/f7ebf319e448e25c1ef905e64b92bb64ae177c4c"},{"sha":"f18a4441fe0565e98aca27d23ecefa8ec954c2d3","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add examples for new errors","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/f18a4441fe0565e98aca27d23ecefa8ec954c2d3"},{"sha":"7acc14b7ff8575058f472151c9eaf6f78cfd706f","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"update error codes","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/7acc14b7ff8575058f472151c9eaf6f78cfd706f"},{"sha":"d44cf626f3e015e8d65d4af23292f0553bfc8f3a","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"update test results","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/d44cf626f3e015e8d65d4af23292f0553bfc8f3a"},{"sha":"10cbd322c9fda8d4c4a0b7b06e958602b331ccaf","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"remove debug.k","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/10cbd322c9fda8d4c4a0b7b06e958602b331ccaf"},{"sha":"8c4e1af55bd7e99c8ff78055dba5a032cb17e1d4","author":{"email":"0c486590e9ded6678a37db3dae42edcc08ab4b35@gmail.com","name":"chathhorn"},"message":"Fix confluence issue with __va_inc.","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/8c4e1af55bd7e99c8ff78055dba5a032cb17e1d4"},{"sha":"d3176841a9c2f7640f1a9290ea83e8ce4d2ef491","author":{"email":"0c486590e9ded6678a37db3dae42edcc08ab4b35@gmail.com","name":"chathhorn"},"message":"Some new errors.\n\nFixes #119.","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/d3176841a9c2f7640f1a9290ea83e8ce4d2ef491"},{"sha":"06b1ac7a872f5d6eae4a3c44d074a3576fa798a4","author":{"email":"0c486590e9ded6678a37db3dae42edcc08ab4b35@gmail.com","name":"chathhorn"},"message":"Tests and examples for new j087 behavior.","distinct":true,"url":"https://api.github.com/repos/chathhorn/c-semantics/commits/06b1ac7a872f5d6eae4a3c44d074a3576fa798a4"}]}