{"push_id":1170664255,"size":249,"distinct_size":1,"ref":"refs/heads/prover","head":"7f55fa66e4e76fca3891392aba8f3bd843a6ce13","before":"b9042d62cfdcce01e6a9f57449ee865f790d09ef","commits":[{"sha":"9fde236380fa3c0861fb9afd10fc940fae8b9688","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"ugh: nasty sortcheck due to substitution equality [param = poly, use = mono]?","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/9fde236380fa3c0861fb9afd10fc940fae8b9688"},{"sha":"cdd42d65649fe2a81e0f77a08bde689c53def773","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"nasty [param = poly, use = mono] issue patched with Ueq... ick","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/cdd42d65649fe2a81e0f77a08bde689c53def773"},{"sha":"be57e74c1cf023fb76ea6c873d284e031a88cb84","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"lets remove constants from WF envs","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/be57e74c1cf023fb76ea6c873d284e031a88cb84"},{"sha":"66143a3ae6197962948f9a38e78908883c3d181e","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"removed constants from WF envs","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/66143a3ae6197962948f9a38e78908883c3d181e"},{"sha":"c0272409a96fbfc24e09ed01b5f1ed46ab4ce338","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"substElim is tricky, see comment","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/c0272409a96fbfc24e09ed01b5f1ed46ab4ce338"},{"sha":"62cb8bfdd3d3557459b620a4e1bc9d9e4940321c","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"substElim is tricky, see comment","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/62cb8bfdd3d3557459b620a4e1bc9d9e4940321c"},{"sha":"739121172b943931a856ea252a53f2c8ab94e306","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"next: use the cuts.","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/739121172b943931a856ea252a53f2c8ab94e306"},{"sha":"d8f1c6187abdab5513f8b2e2fcdf11cdf01aeee5","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"add --useCuts","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/d8f1c6187abdab5513f8b2e2fcdf11cdf01aeee5"},{"sha":"77b4a253dcaeea8bc79c611d314cfbf2af509d10","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"make useCuts default to run regtests","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/77b4a253dcaeea8bc79c611d314cfbf2af509d10"},{"sha":"07c7c075263cc3a9537e50fe9055e9f7cf1a4ddc","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"make useCuts default to run regtests","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/07c7c075263cc3a9537e50fe9055e9f7cf1a4ddc"},{"sha":"107beeb9ee9cdba446c66b79607cbad49f79711f","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"asd Merge branch 'graphs' of https://github.com/ucsd-progsys/liquid-fixpoint into graphs","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/107beeb9ee9cdba446c66b79607cbad49f79711f"},{"sha":"d295aeccfeed21486b6d18182e3ec89e80fde1b5","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"why unsound AND blowup. sigh.","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/d295aeccfeed21486b6d18182e3ec89e80fde1b5"},{"sha":"36f14eb8adb9d1d97bf04cfbf0067b79a65b2fbe","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"see TODO.md","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/36f14eb8adb9d1d97bf04cfbf0067b79a65b2fbe"},{"sha":"55cd746af084f6a22997cb1cf28cc5a496dc54cc","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"consolidate Graph/Deps code","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/55cd746af084f6a22997cb1cf28cc5a496dc54cc"},{"sha":"10c9604037d7219867970cf3ecba86678874a95e","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"DONE: consolidate Graph/Deps code","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/10c9604037d7219867970cf3ecba86678874a95e"},{"sha":"842a19d0493542c6a7965f5a1b55cd23cda51ef5","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"DONE: consolidate Graph/Deps code","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/842a19d0493542c6a7965f5a1b55cd23cda51ef5"},{"sha":"3e440c1bf8ee7e4582438a5ea75192d139d1cda8","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"DONE: consolidate Graph/Deps code","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/3e440c1bf8ee7e4582438a5ea75192d139d1cda8"},{"sha":"99cdb76e1d0a424351ddba3e4304d51fc61cc7e3","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"DONE: consolidate Graph/Deps code","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/99cdb76e1d0a424351ddba3e4304d51fc61cc7e3"},{"sha":"281c581d3046def300dd5d5e3b23c783db853ad0","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"DONE: consolidate Graph/Deps code","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/281c581d3046def300dd5d5e3b23c783db853ad0"},{"sha":"c9994815f7ffa9cd77fae756ecd8a20364e48789","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"DONE: consolidate Graph/Deps code","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/c9994815f7ffa9cd77fae756ecd8a20364e48789"}]}
{"actor":{"display_login":"nikivazou"}}