{"push_id":863313452,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"bd7d2d82b3a8c861198776bdedacea90d1c9d75e","before":"c84a9494781d9dc1191ac28e5114ca26e1a6e53c","commits":[{"sha":"851d21c165ab820dc68fc8eb4f01147e3b8de525","author":{"email":"77d47d63cdc62b1abf82e61d5db643cf34b1cc3a@gmail.com","name":"Francis Giraldeau"},"message":"Static check examples\n\nSigned-off-by: Francis Giraldeau <francis.giraldeau@gmail.com>","distinct":true,"url":"https://api.github.com/repos/giraldeau/inf8601-scratchpad/commits/851d21c165ab820dc68fc8eb4f01147e3b8de525"},{"sha":"bd7d2d82b3a8c861198776bdedacea90d1c9d75e","author":{"email":"77d47d63cdc62b1abf82e61d5db643cf34b1cc3a@gmail.com","name":"Francis Giraldeau"},"message":"Add example of formal verification of concurrent system\n\nSigned-off-by: Francis Giraldeau <francis.giraldeau@gmail.com>","distinct":true,"url":"https://api.github.com/repos/giraldeau/inf8601-scratchpad/commits/bd7d2d82b3a8c861198776bdedacea90d1c9d75e"}]}