{"push_id":2547012954,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"7e84adc6bd91c218f8328cd4dc0be341235fe899","before":"5201cdf524869f08b70dccb72f8d9056d5e405a5","commits":[{"sha":"cf67854a42307ad2e800edda27ad341e883adb69","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation: starting with example from Fiat tutorial","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/cf67854a42307ad2e800edda27ad341e883adb69"},{"sha":"4171f5c2865470469c4823f370ac9a52bba8385d","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation: ADT refinement and one general principle for it","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/4171f5c2865470469c4823f370ac9a52bba8385d"},{"sha":"2f5635938c26ce27bd29a0ee66df35075e84ef36","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation: ADT refinement reflexivity and transitivity","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/2f5635938c26ce27bd29a0ee66df35075e84ef36"},{"sha":"45052848710384ea83f62217b8f5f3be2676f942","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation: refine_method and refine_rep","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/45052848710384ea83f62217b8f5f3be2676f942"},{"sha":"3ff400b78082b92342dd7a7e04a35102e3294fde","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation: derivation of split counter","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/3ff400b78082b92342dd7a7e04a35102e3294fde"},{"sha":"5f981335d936e5e73c6630253410bc2bb71d7db0","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation: adding caches","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/5f981335d936e5e73c6630253410bc2bb71d7db0"},{"sha":"a8239e79252d85a00b4e387012073e989b708479","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"Commented ProgramDerivation, with chapter renumbering in Coq code","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/a8239e79252d85a00b4e387012073e989b708479"},{"sha":"d66c95a54e15736899e41e8c7573636025be6c54","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation book chapter","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/d66c95a54e15736899e41e8c7573636025be6c54"},{"sha":"7e84adc6bd91c218f8328cd4dc0be341235fe899","author":{"name":"Adam Chlipala","email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@chlipala.net"},"message":"ProgramDerivation_template","distinct":true,"url":"https://api.github.com/repos/achlipala/frap/commits/7e84adc6bd91c218f8328cd4dc0be341235fe899"}]}
{"actor":{"display_login":"achlipala"}}