{"push_id":665586572,"size":11,"distinct_size":1,"ref":"refs/heads/master","head":"5c3c21b918585343552cc457767c6ebdccac1acb","before":"00f2db8d95779271bd3a5b05b2792484a28a1209","commits":[{"sha":"1d31a73310223ea0e785d9cc22f3daae9bb190a5","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"tidying up","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/1d31a73310223ea0e785d9cc22f3daae9bb190a5"},{"sha":"9d99004962bf1a992d545947ddc2cfae8831d289","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"automate testing on default tests","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/9d99004962bf1a992d545947ddc2cfae8831d289"},{"sha":"07463ef007e32be99a131a5ae1bfbc5fbf3edc61","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"more cleanup","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/07463ef007e32be99a131a5ae1bfbc5fbf3edc61"},{"sha":"5d207348e7f5db59dac56856b6fc0b8adc25636b","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"modified test case. still outstanding: unknowns returned by z3","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/5d207348e7f5db59dac56856b6fc0b8adc25636b"},{"sha":"973b1bf8af9184f6c1ada524f361ffa1426d6f6a","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"fixed get_return_statements","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/973b1bf8af9184f6c1ada524f361ffa1426d6f6a"},{"sha":"cb65aba1b76cc1f06a6be1d44e33ad2b146cdca6","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"more debugging","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/cb65aba1b76cc1f06a6be1d44e33ad2b146cdca6"},{"sha":"edb7e2668ae6b74380312de907c20e6cc94edcf5","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"dumb type","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/edb7e2668ae6b74380312de907c20e6cc94edcf5"},{"sha":"43682454761ab9408d4e6bca92f8dd7de6c62e69","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"fixed argument problem","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/43682454761ab9408d4e6bca92f8dd7de6c62e69"},{"sha":"25847817f9cedf31c82d980dedb9cc4e87bc542e","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"do not empty returns to list","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/25847817f9cedf31c82d980dedb9cc4e87bc542e"},{"sha":"28e829690de452f848125383577d363521ab38af","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"fixed issues with branching","distinct":false,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/28e829690de452f848125383577d363521ab38af"},{"sha":"5c3c21b918585343552cc457767c6ebdccac1acb","author":{"email":"5b235bd4153b8f39464c190615816aee583ca149@gmail.com","name":"Naomi Leow"},"message":"Merge branch 'unknown-hell'","distinct":true,"url":"https://api.github.com/repos/ethz-nus/program_analysis/commits/5c3c21b918585343552cc457767c6ebdccac1acb"}]}