{"push_id":824657989,"size":2,"distinct_size":2,"ref":"refs/heads/progress","head":"91a8382e3cef5a83976ef4f4fda098aa6a6fe168","before":"2ba2a434229ac7006de6884b52cf00fa84169614","commits":[{"sha":"b19d5e0911c0a2403a742f230227ba59eb212c48","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"next: use SCC/rank to order worklist","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/b19d5e0911c0a2403a742f230227ba59eb212c48"},{"sha":"91a8382e3cef5a83976ef4f4fda098aa6a6fe168","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"fiddle","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/91a8382e3cef5a83976ef4f4fda098aa6a6fe168"}]}