{"push_id":926828490,"size":888,"distinct_size":1,"ref":"refs/heads/checker","head":"859a674a80e4cece366ca2c812baf3b459f942dc","before":"bdb7cd3b0290720bf95baba68cb62a3e7da923ca","commits":[{"sha":"957804072fdcfff3ddd2d3508e11ffae418213aa","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"adding diffcheck query from Base","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/957804072fdcfff3ddd2d3508e11ffae418213aa"},{"sha":"7594ec43453feb12dbfe3cf2c6edc5e8932148ca","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"ok, error shows up running Base.hs.fq directly on fixpoint","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/7594ec43453feb12dbfe3cf2c6edc5e8932148ca"},{"sha":"4f0bed7ef2ba9314894d092600921f117bd9d853","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asdasd","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/4f0bed7ef2ba9314894d092600921f117bd9d853"},{"sha":"272d19b3208fa78a27ccb74ff4edbcebeff4f621","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"nuking non-trivial-support-var filtering from lazyinst. it breaks when you have disjunctive quals that don't require ALL vars to be non-trivial, e.g. isKey(v) => x + y = z holds if isKey(v) is false, regardless of x,y,z. duh.","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/272d19b3208fa78a27ccb74ff4edbcebeff4f621"},{"sha":"9398b7ef6a97f82408edf9aaac71e3e723c09c52","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"dammit wrong branch","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/9398b7ef6a97f82408edf9aaac71e3e723c09c52"},{"sha":"160271eab877a7bcdbe3d00bd3ec00fb0b283bde","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge pull request #26 from ucsd-progsys/lazyinst\n\nLazy Instantiation","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/160271eab877a7bcdbe3d00bd3ec00fb0b283bde"},{"sha":"74535af599e962ad3c4ef260733b8b24edd917c8","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge branch 'master' of github.com:ucsd-progsys/liquid-fixpoint","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/74535af599e962ad3c4ef260733b8b24edd917c8"},{"sha":"fb0809b22d51d06480810d198574e0aecbc67209","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asdasd","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/fb0809b22d51d06480810d198574e0aecbc67209"},{"sha":"208bdcd56de50d0277ecfb50d9aeea8e6d4415e1","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Asdasd","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/208bdcd56de50d0277ecfb50d9aeea8e6d4415e1"},{"sha":"5dc32d1d86136f1406f99f10217ab5ea7b48ee80","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Adads","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/5dc32d1d86136f1406f99f10217ab5ea7b48ee80"},{"sha":"c9f54f22aded109131d7f98523a0e721b4f8b59f","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"AsdaSD","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/c9f54f22aded109131d7f98523a0e721b4f8b59f"},{"sha":"f810837b9420f75ee0ed9c0f7b517468c5e5ce71","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asdasd","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/f810837b9420f75ee0ed9c0f7b517468c5e5ce71"},{"sha":"4d6e59eb747316a670d83faa8ead62a500f9f9c5","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"pull Located out of liquidhaskell add to Expr","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/4d6e59eb747316a670d83faa8ead62a500f9f9c5"},{"sha":"bf66688f9f9f3a5afc8421268ce97e7c7d959888","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"Merge pull request #27 from ucsd-progsys/err-unbound\n\npull Located out of liquidhaskell","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/bf66688f9f9f3a5afc8421268ce97e7c7d959888"},{"sha":"989059c3d5e976f2ea0f1e9dfdb1b852ad4b6294","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"adding unionsWith for Hashmap","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/989059c3d5e976f2ea0f1e9dfdb1b852ad4b6294"},{"sha":"c0c3937a99ad09b222e3506a44aeed6dcf14eb64","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge branch 'master' of github.com:ucsd-progsys/liquid-fixpoint","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/c0c3937a99ad09b222e3506a44aeed6dcf14eb64"},{"sha":"8b230b199f92bf8b9927e34db0546fedde5ff484","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asdasd","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/8b230b199f92bf8b9927e34db0546fedde5ff484"},{"sha":"ec2f18cffe76054a8e86dc857a70101e95a52441","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"add bindP and refDefP to Language.Fixpoint.Parse\n\nneeded for ucsd-progsys/liquidhaskell#152","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/ec2f18cffe76054a8e86dc857a70101e95a52441"},{"sha":"877afb0b095018c9166dff6efe0bb9b0f7603a18","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"adding mapEither","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/877afb0b095018c9166dff6efe0bb9b0f7603a18"},{"sha":"db6261123f56117eb99f2a42543d277d8eefac04","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"ignore conflicting substitutions","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/db6261123f56117eb99f2a42543d277d8eefac04"}]}