{"push_id":1484171875,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"0ffd5071984f06202c920b7324b23a327ecdbe10","before":"8826d4e642b4ef53e3c83dc6e84cbb91d05cae7a","commits":[{"sha":"173b51c15a2631a4ea4a7fdf41f66d32537416f0","author":{"name":"Giovanni Mascellani","email":"47a4fc0f32750a70979b7026517a8361db3bf485@debian.org"},"message":"Remove LibraryToolbox from Prover.","distinct":true,"url":"https://api.github.com/repos/giomasce/mmpp/commits/173b51c15a2631a4ea4a7fdf41f66d32537416f0"},{"sha":"09ea583493aac709a9dbdf53b87e4aa548fd59c7","author":{"name":"Giovanni Mascellani","email":"47a4fc0f32750a70979b7026517a8361db3bf485@debian.org"},"message":"Fix a few bugs.","distinct":true,"url":"https://api.github.com/repos/giomasce/mmpp/commits/09ea583493aac709a9dbdf53b87e4aa548fd59c7"},{"sha":"9ba642ae3b4dcb9a15b7c390b8d5750b8abf63c5","author":{"name":"Giovanni Mascellani","email":"47a4fc0f32750a70979b7026517a8361db3bf485@debian.org"},"message":"Experiments with unification caching.\n\nNot satisfying so far...","distinct":true,"url":"https://api.github.com/repos/giomasce/mmpp/commits/9ba642ae3b4dcb9a15b7c390b8d5750b8abf63c5"},{"sha":"d7d2a02eecb95cb49c4f94c4e1633191e63425de","author":{"name":"Giovanni Mascellani","email":"47a4fc0f32750a70979b7026517a8361db3bf485@debian.org"},"message":"Introduce registered provers tool.","distinct":true,"url":"https://api.github.com/repos/giomasce/mmpp/commits/d7d2a02eecb95cb49c4f94c4e1633191e63425de"},{"sha":"0ffd5071984f06202c920b7324b23a327ecdbe10","author":{"name":"Giovanni Mascellani","email":"47a4fc0f32750a70979b7026517a8361db3bf485@debian.org"},"message":"Convert all wff.cpp to registered provers.","distinct":true,"url":"https://api.github.com/repos/giomasce/mmpp/commits/0ffd5071984f06202c920b7324b23a327ecdbe10"}]}
{"actor":{"display_login":"giomasce"}}