{"push_id":799202992,"size":15,"distinct_size":1,"ref":"refs/heads/new_compiler","head":"e185069b2fdf2afc7383cba26c21e12db8003db3","before":"f2b7a7d735d14885cd43086a54d6901dcfc96167","commits":[{"sha":"8714fdc6d0bc3010cba9a59f3bb177bd9f4e74f9","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Simplify proof of minor lemma","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/8714fdc6d0bc3010cba9a59f3bb177bd9f4e74f9"},{"sha":"de8f4c3ef29a4198120fc06c823362e37ebda0c1","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Delete trailing whitespace in typeSoundScript.sml","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/de8f4c3ef29a4198120fc06c823362e37ebda0c1"},{"sha":"4c6d914a818b29235f5ed7a44f10ef806e5cd292","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Replace  \\(x,y,z) with λ(x,y,z) in typeSoundScript\n\nThis ensures editor parenthesis matching works properly (otherwise the\nlambda-as-backslash makes it look as if the parenthesis is being\nescaped).","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/4c6d914a818b29235f5ed7a44f10ef806e5cd292"},{"sha":"6f0027499bed9273056eec5c8407e38b21a5330c","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Minor formatting tweak in typeSoundScript.sml\n\nFit some long lines into 80 columns.","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/6f0027499bed9273056eec5c8407e38b21a5330c"},{"sha":"26f2e197fac43bb7e8f977e1ae201be82896329a","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix broken proof (by HOL commit 5e6555a6 I assume)","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/26f2e197fac43bb7e8f977e1ae201be82896329a"},{"sha":"f85704f6165282f51e30c128a8c61342908181ee","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"fix bool_sig_instances","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/f85704f6165282f51e30c128a8c61342908181ee"},{"sha":"8b6cab7fa1a9abd7840f93215f4e23bd00ed103d","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Delete trailing whitespace in infer_eComplete","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/8b6cab7fa1a9abd7840f93215f4e23bd00ed103d"},{"sha":"b03103a71a55f91e51ab4b8cd213e60b772b7612","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix broken proof in infer_eComplete\n\nAgain, almost certainly broken by HOL commit 5e6555a6.","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/b03103a71a55f91e51ab4b8cd213e60b772b7612"},{"sha":"8498fb22a4ab3447733d56dc07c2f7e644a8e74b","author":{"email":"5b271689e2a5be36b59ea0b1716899fe80ad26c5@nicta.com.au","name":"Michael Norrish"},"message":"Fix proofs in x86_heap.\n\nCaused by HOL commit 5e6555a6","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/8498fb22a4ab3447733d56dc07c2f7e644a8e74b"},{"sha":"41da5bfb2a09c1a9517851fb53f4afabea7b1fc2","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"finish sexptop in fromSexpTheory","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/41da5bfb2a09c1a9517851fb53f4afabea7b1fc2"},{"sha":"bc1d2b7758156399b0a6ba04c9db29fb0aca2f32","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"move LEX cong/mono stuff into HOL","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/bc1d2b7758156399b0a6ba04c9db29fb0aca2f32"},{"sha":"f9f5cdcb67658c1b34af97b4106e863de5e705f9","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"examples/parsing has moved","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/f9f5cdcb67658c1b34af97b4106e863de5e705f9"},{"sha":"c3a5e98ac5f26759b6b14a2cd28afd3b5f407a1e","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"add toSexp functions\n\nalso noticed exp is not complete yet","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/c3a5e98ac5f26759b6b14a2cd28afd3b5f407a1e"},{"sha":"4d73916d88bdb788dc7c50f57b91ff11b9024598","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"start on roundtripping theorems for sexps\n\nproved one way with a few cheats","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/4d73916d88bdb788dc7c50f57b91ff11b9024598"},{"sha":"e185069b2fdf2afc7383cba26c21e12db8003db3","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"Merge branch 'master' into new_compiler\n\nconflicts in typeSound seemed to be due to trailing whitespace\nissues","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/e185069b2fdf2afc7383cba26c21e12db8003db3"}]}