{"push_id":2188316633,"size":52,"distinct_size":1,"ref":"refs/heads/master","head":"987360ca5da82a59bd9a0646a794451f0e02f4a8","before":"19fdc9bbaaedeb0251058c994e53976badd87edd","commits":[{"sha":"be3e5918a01265a3d3fbf102cb35ef0e11cd0dba","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Begin verification framework","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/be3e5918a01265a3d3fbf102cb35ef0e11cd0dba"},{"sha":"c123eebeffcf73dd2998061981c9c74c286c1fe6","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Extract internal functions to be used by verification","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/c123eebeffcf73dd2998061981c9c74c286c1fe6"},{"sha":"1b0a2a9e7e001229f1b29bf5602a7aaae87797a4","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Begin assertion language","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/1b0a2a9e7e001229f1b29bf5602a7aaae87797a4"},{"sha":"eedb12aed601264161cee7bf074f6cf3ba09fc2a","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Add initial theorem","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/eedb12aed601264161cee7bf074f6cf3ba09fc2a"},{"sha":"15831992143313e1726e53a23db188e981cb9ef7","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Update theorem","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/15831992143313e1726e53a23db188e981cb9ef7"},{"sha":"e523f4a61b3f600c3a38c4228892fc2aa1ecf2ff","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Add theory of equality verification","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/e523f4a61b3f600c3a38c4228892fc2aa1ecf2ff"},{"sha":"6a56ec1fc746b817e489e157289feca4b31aed64","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Add error message for checking verify statements","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/6a56ec1fc746b817e489e157289feca4b31aed64"},{"sha":"21d84722c0e8d01073e6edde3768fefdd8b1ab51","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Refactor location display","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/21d84722c0e8d01073e6edde3768fefdd8b1ab51"},{"sha":"b2df7dacfbd65eb18713e16169437f22b38f188b","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Improve location display","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/b2df7dacfbd65eb18713e16169437f22b38f188b"},{"sha":"af6716804d1823c1be2a11c7172a2be599e70837","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Fix location in parser.map","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/af6716804d1823c1be2a11c7172a2be599e70837"},{"sha":"ffb2d2438c1f077323744d2ba3505a515fc466bf","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Begin checking ensures; improve errors; add profile","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/ffb2d2438c1f077323744d2ba3505a515fc466bf"},{"sha":"beb63da8ec4be2d363ab7ac7ab94a8216dbe154f","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Fix some inconsistent model handling; add logic","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/beb63da8ec4be2d363ab7ac7ab94a8216dbe154f"},{"sha":"3ac33dc9d1f13904e5ee067982af16776d22c01c","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Fix `this` bug in ensures","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/3ac33dc9d1f13904e5ee067982af16776d22c01c"},{"sha":"c1300ea0da72ff4a84a4be798b0f2983ef1f84d0","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Type check ensures/requires","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/c1300ea0da72ff4a84a4be798b0f2983ef1f84d0"},{"sha":"757ed81598e0eb07fedef237a32e6ea5d98df62d","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Add variants and profile and tests","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/757ed81598e0eb07fedef237a32e6ea5d98df62d"},{"sha":"8b5e15dadd36afc029bd93a23a58166dba8181fe","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Add SMT","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/8b5e15dadd36afc029bd93a23a58166dba8181fe"},{"sha":"a14fe82932f062f796ea3d6109a86acc491a0159","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Use SMT solver for verify","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/a14fe82932f062f796ea3d6109a86acc491a0159"},{"sha":"3ac51265b09480a037c36507c7b4f5b03a1e72b5","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Fix performance bug (traceback)","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/3ac51265b09480a037c36507c7b4f5b03a1e72b5"},{"sha":"de8479f9e63cf37673ec0eed11c481a39a73e4ac","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Improve immutability and assert speed","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/de8479f9e63cf37673ec0eed11c481a39a73e4ac"},{"sha":"bc502d4a9610149acf6db32e1edc572aea9201ba","author":{"name":"Curtis Fenner","email":"6d23b124da14e73daa7cdc0be8eb14437a095d1d@umich.edu"},"message":"Fix empty return bugs","distinct":false,"url":"https://api.github.com/repos/CurtisFenner/smol-builder/commits/bc502d4a9610149acf6db32e1edc572aea9201ba"}]}
{"actor":{"display_login":"CurtisFenner"}}