{"push_id":687196238,"size":49,"distinct_size":49,"ref":"refs/heads/residuation-preserves-concurrency","head":"1138ab61ba18197cf533ef6a291acef16e6b6b98","before":"dbff83173e14689c17a1f5d9efa6ddf7e21549b8","commits":[{"sha":"2cc44cbd210e3cc2fe7b061e9873a403b1b255a7","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Still no idea whether this will scale to the whole proof.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/2cc44cbd210e3cc2fe7b061e9873a403b1b255a7"},{"sha":"473a9b988c9c4c19e46ad7f6d568c0b36e9cddba","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"/-preserves-⌣₄ helper.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/473a9b988c9c4c19e46ad7f6d568c0b36e9cddba"},{"sha":"6451140a95fc3d10198bed07028f00b4fabef828","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"4 sub-cases left.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/6451140a95fc3d10198bed07028f00b4fabef828"},{"sha":"2d8626cbe87d4cbde40fe33b78265c3e6f16260c","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"3 sub-cases left.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/2d8626cbe87d4cbde40fe33b78265c3e6f16260c"},{"sha":"e568750dfe25362789a7b9bf973b73444c1ea7f7","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"2 sub-cases left.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/e568750dfe25362789a7b9bf973b73444c1ea7f7"},{"sha":"ccc75dbb9c4aaf1fb47ecabcc359b8d9897c20c3","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"1 sub-case left.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/ccc75dbb9c4aaf1fb47ecabcc359b8d9897c20c3"},{"sha":"38a53d88c729faf8b4a717e03f5da1f15ec756b1","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Proof case 1 of 20.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/38a53d88c729faf8b4a717e03f5da1f15ec756b1"},{"sha":"bc7efac1c21e0bf3b2df95bc786c2a659c8a4acf","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Remove names of unused variables.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/bc7efac1c21e0bf3b2df95bc786c2a659c8a4acf"},{"sha":"8c83fa1f10b8368d1031c2d683e2ef593d69cfb2","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Start on case 2 of 20.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/8c83fa1f10b8368d1031c2d683e2ef593d69cfb2"},{"sha":"0640052c6c802bfc400a3673fb2bac8e44d9d0ac","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"8 sub-cases, so far.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/0640052c6c802bfc400a3673fb2bac8e44d9d0ac"},{"sha":"f6ee8c12a729778651a0d5c9a1c6649a5f6009a8","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Refine goals as much as possible.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/f6ee8c12a729778651a0d5c9a1c6649a5f6009a8"},{"sha":"a48411e4319fd44f81fbf89e5ae75e026b445a42","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"One sub-case of 8.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/a48411e4319fd44f81fbf89e5ae75e026b445a42"},{"sha":"7de815bb39a90caa1eeba7e3680234cb05130140","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Fix meta-vars.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/7de815bb39a90caa1eeba7e3680234cb05130140"},{"sha":"7ea9bb2535fb98dd440d11fa39469d2613bf49bf","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Sub-case 2 of 8.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/7ea9bb2535fb98dd440d11fa39469d2613bf49bf"},{"sha":"16dca49d6e78793043c27a92a4d4684bd6fa33fe","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Sub-case3 of 8.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/16dca49d6e78793043c27a92a4d4684bd6fa33fe"},{"sha":"e0dda0a9fa38a1e3d9df0e232658860a1e61103c","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Sub-case 4 of 8.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/e0dda0a9fa38a1e3d9df0e232658860a1e61103c"},{"sha":"1cb9b91315fe6cdba121c8c9c5f819860462a5c9","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Sub-case 5 of 8.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/1cb9b91315fe6cdba121c8c9c5f819860462a5c9"},{"sha":"4f6e815d3c700e412180863678750defbb2ce49f","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"Experiment with variant of /-preserves-⌣₄ which standardises on order of arguments.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/4f6e815d3c700e412180863678750defbb2ce49f"},{"sha":"b0c58fd1db557afe3923859e004612727328cddc","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"3 sub-cases.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/b0c58fd1db557afe3923859e004612727328cddc"},{"sha":"03a0c0e9823d73039948f9fbf2204b07615a029d","author":{"email":"fbb2ede0988223be61002b98c39c313addc1ce7f@dynamicaspects.org","name":"Roly Perera"},"message":"1 sub-case left.","distinct":true,"url":"https://api.github.com/repos/rolyp/proof-relevant-pi/commits/03a0c0e9823d73039948f9fbf2204b07615a029d"}]}