{"push_id":1078054105,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"81cc490f7ff36fa3e6da22b9a3bd8b5da84aad53","before":"b8d7035896b98a6ad8dc2abfecf6a273aa7a34ae","commits":[{"sha":"dc299a1c849d41c91538d6af582f21429151b9f7","author":{"email":"19dae6b097578012814c94118aab7c12420823a4@csie.org","name":"ericpony"},"message":"add example: read an array of array","distinct":true,"url":"https://api.github.com/repos/ericpony/dafny-playground/commits/dc299a1c849d41c91538d6af582f21429151b9f7"},{"sha":"c01669586982387529c83317bdba235dd185dfb8","author":{"email":"19dae6b097578012814c94118aab7c12420823a4@csie.org","name":"ericpony"},"message":"update","distinct":true,"url":"https://api.github.com/repos/ericpony/dafny-playground/commits/c01669586982387529c83317bdba235dd185dfb8"},{"sha":"81cc490f7ff36fa3e6da22b9a3bd8b5da84aad53","author":{"email":"19dae6b097578012814c94118aab7c12420823a4@csie.org","name":"ericpony"},"message":"add an improved version of the nondet Pregel shortest-paths example","distinct":true,"url":"https://api.github.com/repos/ericpony/dafny-playground/commits/81cc490f7ff36fa3e6da22b9a3bd8b5da84aad53"}]}