{"push_id":1216450522,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"68fbd43af2e3b0f01dc1a2db00395c79f13ad6ef","before":"32de7299fbcd46faf996698714f95d34679e31a3","commits":[{"sha":"af2e21b32aa58c00f9f7c11dc84c546fb62de6ad","author":{"name":"Andrew Santosa","email":"30aa6ddd8daedd2f0998b2b8878b89123f3133ce@nus.edu.sg"},"message":"Updated join/Makefile to run KLEE with -clpr-log option\n\n* Also copied the resulting log into KLEE output directory\n* Added banner to count.clpr","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/af2e21b32aa58c00f9f7c11dc84c546fb62de6ad"},{"sha":"326ffbd3e1bd71bbc045165bd83071c96475a8a9","author":{"name":"Andrew Santosa","email":"30aa6ddd8daedd2f0998b2b8878b89123f3133ce@nus.edu.sg"},"message":"Small fix to join/count.clpr","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/326ffbd3e1bd71bbc045165bd83071c96475a8a9"},{"sha":"f317efe09c6c40c28adcb3dbb99d270902d87453","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Merged with upstream","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/f317efe09c6c40c28adcb3dbb99d270902d87453"},{"sha":"9ca62c614fb18c20792470890db080f13ec4066d","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Fixed join/count.c example such that count1 and count2 are initialized to 0\n\n* Also added the mandatory heap argument H to join/*.clpr files.","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/9ca62c614fb18c20792470890db080f13ec4066d"},{"sha":"ce115144e400025ed312e726478ebdbee01e820b","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Made CLP(R) log files copied to target with standard filename clpr.log in join/Makefile","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/ce115144e400025ed312e726478ebdbee01e820b"},{"sha":"c4974962828a325acafc579b39c8b160e86d40c6","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Fixed join/sum.c example","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/c4974962828a325acafc579b39c8b160e86d40c6"},{"sha":"1b58955edfab86ec2211acdec6ea2b05e6842d84","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Updated README.md","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/1b58955edfab86ec2211acdec6ea2b05e6842d84"},{"sha":"ffcf58eb5b9a8afe99d5aa165c3c589fcf7d97d0","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Added default CLP(R) API library path in Makefile.common","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/ffcf58eb5b9a8afe99d5aa165c3c589fcf7d97d0"},{"sha":"68fbd43af2e3b0f01dc1a2db00395c79f13ad6ef","author":{"name":"Felicia Halim","email":"57c1cf6263e11f29725550bb05fc43283c1a5ec9@live.com"},"message":"Merge pull request #58 from domainexpert/join-log\n\nUses new -clpr-log option for logging CLP(R) in /tmp/clpr-XXXXXX","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee-examples/commits/68fbd43af2e3b0f01dc1a2db00395c79f13ad6ef"}]}
{"actor":{"display_login":"feliciahalim"}}