{"push_id":1254498360,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8eb99e7fa606e4336f28b1c61d90fa2010df5b76","before":"da1322d09b798dc51358308e46b85cb24cf472fa","commits":[{"sha":"8eb99e7fa606e4336f28b1c61d90fa2010df5b76","author":{"name":"Jason Gross","email":"b9ac16d1328e8db3a77c42cb3badbae06d42598f@google.com"},"message":"Add [Z.linear_solve_for], [Z.linear_substitute]\n\nThe first solves for a variable; the second does this, and then runs\n[subst].  By design, they only handle addition and subtraction.  They\nshould be easily generalizable to handle arbitrary rings (and should\nprobably be generalized to do so at some point).\n\n(Also requested, if I recall correctly, by @andres-erbsen.)","distinct":true,"url":"https://api.github.com/repos/mit-plv/fiat-crypto/commits/8eb99e7fa606e4336f28b1c61d90fa2010df5b76"}]}
{"actor":{"display_login":"JasonGross"}}