{"push_id":1313043100,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"43a316471d0ed75bbbeebc07867ad3dfd6a409e3","before":"07b45574851d8e2341a3827584264ac6bb64ca4a","commits":[{"sha":"43a316471d0ed75bbbeebc07867ad3dfd6a409e3","author":{"name":"Zachary Santer","email":"53ad04fe82817e2b9f3693007c0819bd50aee882@gmail.com"},"message":"Add proper proof of integral infeasibility to lahiri\n\nAdd *refList functionality to Constraints, because, of course, C doesn't\ndo templates. Also create fputConstraint() in constraint.c.\n\nI misunderstood what Lahiri's paper said about generating these proofs.","distinct":true,"url":"https://api.github.com/repos/zsenseless/utvpi/commits/43a316471d0ed75bbbeebc07867ad3dfd6a409e3"}]}
{"actor":{"display_login":"zsenseless"}}