{"push_id":628067311,"size":39,"distinct_size":1,"ref":"refs/heads/changes","head":"3b3df4f2e24bd7702dbeeef26598df93680f71fc","before":"a98047fbe2cefee8e754f0e9f38e4f6f160c66cc","commits":[{"sha":"0c44b43024e86b587adb2caad08427b7ee2e3791","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix up test + minor fixes","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/0c44b43024e86b587adb2caad08427b7ee2e3791"},{"sha":"a772183cd4997d4901ea66bb8232bf454c6852f8","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"handle conversion between pointer and integer better","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/a772183cd4997d4901ea66bb8232bf454c6852f8"},{"sha":"66ee7617891bd54f6b7ca7fcab6a99c3ee81e15e","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add some new tests for the native plugin","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/66ee7617891bd54f6b7ca7fcab6a99c3ee81e15e"},{"sha":"0361ec6600eba48f67dff198e63f7ed293aabbc9","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"minor fixes for native code","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/0361ec6600eba48f67dff198e63f7ed293aabbc9"},{"sha":"c3ee229dbe8933ce458323f59796b773d10ea5bc","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"finish fixes for python","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/c3ee229dbe8933ce458323f59796b773d10ea5bc"},{"sha":"34679b382722aece7a561867faada2f130077da8","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix prototype scope","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/34679b382722aece7a561867faada2f130077da8"},{"sha":"7eccc7088d5a48df39f537ff9ed1304bb128f399","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add error recovery for another error","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/7eccc7088d5a48df39f537ff9ed1304bb128f399"},{"sha":"c087658d99a0d1b40f41d8618bb156889b59b869","author":{"email":"e62c903597e50268a98149e60bff0efb406d9bd4@gmail.com","name":"Chris Hathhorn"},"message":"Merge pull request #78 from dwightguth/fixes\n\nAnother batch of minor fixes","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/c087658d99a0d1b40f41d8618bb156889b59b869"},{"sha":"c66a1a48488496d8fe30c9fdb0cdc666c506f1e1","author":{"email":"e62c903597e50268a98149e60bff0efb406d9bd4@gmail.com","name":"chathhorn"},"message":"Mostly fixes to error reporting.\n\nSome messages got less helpful, but I think printing out the call stack is the\nbest fix for these cases.","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/c66a1a48488496d8fe30c9fdb0cdc666c506f1e1"},{"sha":"bb1ee997b8020c5a5ec132945d5a122209c8345f","author":{"email":"e62c903597e50268a98149e60bff0efb406d9bd4@gmail.com","name":"chathhorn"},"message":"Fix for typedef issue.","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/bb1ee997b8020c5a5ec132945d5a122209c8345f"},{"sha":"4b71a6ede193488055d624c4dd95753eafac947a","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #80 from chathhorn/stuff\n\nFix for typedef issue.","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/4b71a6ede193488055d624c4dd95753eafac947a"},{"sha":"329b79a610a26bcff1f804638d750b6fdd020c5b","author":{"email":"65e2ea9f4b8590bf892d69b4fcbdca8c0f3ef90e@runtimeverification.com","name":"dwightguth"},"message":"Merge pull request #79 from chathhorn/master\n\nMostly fixes to error reporting.","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/329b79a610a26bcff1f804638d750b6fdd020c5b"},{"sha":"1608ce4f90a8e78ce08e189b36a33b91fba4d342","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add gitignore for libc file with faulty implementation","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/1608ce4f90a8e78ce08e189b36a33b91fba4d342"},{"sha":"b2461f9c167653b04a0d6fe04fc3c83861a7457d","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix overlapping memory to check for inexact end locations","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/b2461f9c167653b04a0d6fe04fc3c83861a7457d"},{"sha":"d87c8f1fbc8ac716cab437eba073df01dd308043","author":{"email":"e62c903597e50268a98149e60bff0efb406d9bd4@gmail.com","name":"Chris Hathhorn"},"message":"Merge pull request #82 from dwightguth/gitignore\n\nGitignore","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/d87c8f1fbc8ac716cab437eba073df01dd308043"},{"sha":"7182a3606e3cc29dd6091709d9233f489a4b40af","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add more error recovery (bitwise operations)","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/7182a3606e3cc29dd6091709d9233f489a4b40af"},{"sha":"0910204baa50e7be1cb680cc84da8c13c934ba2d","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"first draft of code which creates sorts for types instead of functions","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/0910204baa50e7be1cb680cc84da8c13c934ba2d"},{"sha":"2e455eaf7e1bf44bf54b8f46ddc3438f79ed3c2f","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"various minor performance enhancements","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/2e455eaf7e1bf44bf54b8f46ddc3438f79ed3c2f"},{"sha":"86549fc13bfaf81d2ab8738959b7d18207897bce","author":{"email":"e62c903597e50268a98149e60bff0efb406d9bd4@gmail.com","name":"chathhorn"},"message":"Issue with surplus exitRestrictScope.\n\nFixes #81.","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/86549fc13bfaf81d2ab8738959b7d18207897bce"},{"sha":"e9b6ede23253a0a33b1a6a32d456496a3d513c19","author":{"email":"e62c903597e50268a98149e60bff0efb406d9bd4@gmail.com","name":"chathhorn"},"message":"New pragmas.","distinct":false,"url":"https://api.github.com/repos/andreistefanescu/c-semantics/commits/e9b6ede23253a0a33b1a6a32d456496a3d513c19"}]}