{"push_id":562874425,"size":15,"distinct_size":5,"ref":"refs/heads/cleanup","head":"c1d45a7556f8b7124f9fe2453e55bbb896605206","before":"2fcceb6462e4c99fa7f81f262fa82b362b14e5e1","commits":[{"sha":"5c05105060088acbb8b59f9bfa3d2dcf83542b93","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Begin port to version 8.5.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/5c05105060088acbb8b59f9bfa3d2dcf83542b93"},{"sha":"ea0c2e3201826ed8bbca9433a18c87fdfb7dc782","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Workaround for bug in backtracking constructor.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/ea0c2e3201826ed8bbca9433a18c87fdfb7dc782"},{"sha":"d70b651c69bf551cfcd786acb83533c3a4178ae8","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Explicit call to eauto in some terminating tactics","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/d70b651c69bf551cfcd786acb83533c3a4178ae8"},{"sha":"bf528d96be778422f66ae7d1b7ac8b74f0220554","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Minor syntax changes.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/bf528d96be778422f66ae7d1b7ac8b74f0220554"},{"sha":"ca440f65b41055b41bf5637f8164686e2b32c291","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Solve remaining issues.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/ca440f65b41055b41bf5637f8164686e2b32c291"},{"sha":"d15207497440a8af7b1bc6b4ac1f7f16eadf5286","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Update README.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/d15207497440a8af7b1bc6b4ac1f7f16eadf5286"},{"sha":"4488c5fa6537eb55bb2e7c5fe502f258851063e2","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Make compatibility wrapper around new constructor.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/4488c5fa6537eb55bb2e7c5fe502f258851063e2"},{"sha":"217fcc4bea7721728d9b23e2f2cb4113ae7a92f5","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Missed a few constructor calls to wrap.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/217fcc4bea7721728d9b23e2f2cb4113ae7a92f5"},{"sha":"681d087d43986bda3fec7d13b93e8a732d53a90a","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Make implicit arguments play nice with 8.4.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/681d087d43986bda3fec7d13b93e8a732d53a90a"},{"sha":"7ecde7345cd35bc824dee40ddec9fdef29b06035","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Make it work with both 8.4 and 8.5.","distinct":true,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/7ecde7345cd35bc824dee40ddec9fdef29b06035"},{"sha":"b787066afd9c38900c18244a3d45910823f4f03a","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Revert \"Update README.\"\n\nThis reverts commit d15207497440a8af7b1bc6b4ac1f7f16eadf5286.","distinct":true,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/b787066afd9c38900c18244a3d45910823f4f03a"},{"sha":"ffc7ee32bbec4c3b0d2253d931e04c505cb4a80e","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Use automation instead of full call.","distinct":false,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/ffc7ee32bbec4c3b0d2253d931e04c505cb4a80e"},{"sha":"5fefade0556fd5d32747b9ef6797f0c5a2c1f68a","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Merge branch 'coq-8.5' into back-to-8.4","distinct":true,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/5fefade0556fd5d32747b9ef6797f0c5a2c1f68a"},{"sha":"2c8cc622a30f8b3960a022a8c75fc1e5c176d7dc","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Add typeclass database to eauto.","distinct":true,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/2c8cc622a30f8b3960a022a8c75fc1e5c176d7dc"},{"sha":"c1d45a7556f8b7124f9fe2453e55bbb896605206","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Merge branch 'back-to-8.4' into cleanup","distinct":true,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/c1d45a7556f8b7124f9fe2453e55bbb896605206"}]}