{"push_id":1362588666,"size":42,"distinct_size":0,"ref":"refs/heads/master","head":"126d582f00293e2f9778e79ca62e2773a486684e","before":"601db02c341fc820b219b2ec7e65d59acc501520","commits":[{"sha":"47170bdc3c0551bd780441db5bc30e65d4137c68","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"bug related to pointers to members","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/47170bdc3c0551bd780441db5bc30e65d4137c68"},{"sha":"729d6eef273fc869707059ebc0fd26d883d61f0d","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"typo","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/729d6eef273fc869707059ebc0fd26d883d61f0d"},{"sha":"8d8388e25e19a2b79b4e56abd699d7cd6e7bd50c","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"check more","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/8d8388e25e19a2b79b4e56abd699d7cd6e7bd50c"},{"sha":"ff696403ef198059efeafa8ad828d0ee37d57d53","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"check for exceptions","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/ff696403ef198059efeafa8ad828d0ee37d57d53"},{"sha":"81ddd0a190f773078ec7f33d41105eeea4e4de2a","author":{"name":"theyoucheng","email":"deb9516cbbe370e5d023584056fda85d28cebad0@cs.ox.ac.uk"},"message":"Improved the PID controller case study.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/81ddd0a190f773078ec7f33d41105eeea4e4de2a"},{"sha":"e38fdc671b54d498c0838de56851dd7b2a1ce3ed","author":{"name":"theyoucheng","email":"deb9516cbbe370e5d023584056fda85d28cebad0@cs.ox.ac.uk"},"message":"revised the pid case study","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/e38fdc671b54d498c0838de56851dd7b2a1ce3ed"},{"sha":"18e6a77b99743d2001e0a63e79e30125011e1da5","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #236 from theyoucheng/case-study\n\nImproved the PID controller Case study","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/18e6a77b99743d2001e0a63e79e30125011e1da5"},{"sha":"90a1b6f58f140302ac1e0e1770b77c649fe38f56","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"language edits","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/90a1b6f58f140302ac1e0e1770b77c649fe38f56"},{"sha":"55d2c91bb91adb074ba3d0fb2749c2b34b3d6b9d","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"test from issue #233","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/55d2c91bb91adb074ba3d0fb2749c2b34b3d6b9d"},{"sha":"38a3362c5de9e9fa6e9977e0d5f1b72a1d7aa1f3","author":{"name":"Pascal Kesseli","email":"74bb7bdee596b2e3e5a512376fbbdb5ff572e644@dkr13.cs.ox.ac.uk"},"message":"First full CEGIS control symex synthesis.","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/38a3362c5de9e9fa6e9977e0d5f1b72a1d7aa1f3"},{"sha":"25539f3067ae1c002e29116be73638912b408cd2","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"ambiguity","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/25539f3067ae1c002e29116be73638912b408cd2"},{"sha":"fab794cb2cad61bfedf096542f80c5075feca70c","author":{"name":"Robert (Jamie) Munro","email":"024e259d617761c938c51bada5c11d4f5a1dd24c@arjam.net"},"message":".gitignore all the libs downloadable by Makefile\n\ni.e. by doing:\n\n    make minisat2-download\n    make glucose-download\n    make zlib-download\n    make libzip-download","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/fab794cb2cad61bfedf096542f80c5075feca70c"},{"sha":"47a245da237253ed334aa28fb347b0d6ec085a10","author":{"name":"Robert (Jamie) Munro","email":"024e259d617761c938c51bada5c11d4f5a1dd24c@arjam.net"},"message":"Fix typo","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/47a245da237253ed334aa28fb347b0d6ec085a10"},{"sha":"0c7b06c541f73598ec0352e326559f734ed9eedc","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"test for conversion from 0 to pointers","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/0c7b06c541f73598ec0352e326559f734ed9eedc"},{"sha":"0340e0f8815446c4875ec45fb099519244920139","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"comparison check","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/0340e0f8815446c4875ec45fb099519244920139"},{"sha":"cb0658af2846629011ed6769235d5c3e0ae7be48","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Fix library strcat","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/cb0658af2846629011ed6769235d5c3e0ae7be48"},{"sha":"fb874dd085a1cf5088b0f07ede38b175a0caf37e","author":{"name":"Daniel Poetzl","email":"a7b0c7ee73d5ba38cf80c0b20a2ce8f8aee8466d@cs.ox.ac.uk"},"message":"json struct bugfix","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/fb874dd085a1cf5088b0f07ede38b175a0caf37e"},{"sha":"4576dafc4ce7a904b2f82b97ff459867037b1a2e","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #238 from danpoe/json-bug\n\njson struct bugfix","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/4576dafc4ce7a904b2f82b97ff459867037b1a2e"},{"sha":"7c9d3fc60d87dcba0d1190a090901793cf91d784","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Random vs. nondeterministic","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/7c9d3fc60d87dcba0d1190a090901793cf91d784"},{"sha":"b0b79d35a9afe21d71cd1cc0ab1266642936804a","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"comment","distinct":false,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/b0b79d35a9afe21d71cd1cc0ab1266642936804a"}]}
{"actor":{"display_login":"peterschrammel"}}