GitHub PushEvent at 2014-11-03 14:18:27
Repository: souper
Actor: regehr
Payload: {"shas":[["b3b13fbe541964dc40bf2faef13507a5d6b8d142","6bfdb1c5e6b8340a1eb1d7a72d17faec1d09a979@cs.utah.edu","remove the isTriviallyValid() solver","John Regehr",true]],"size":1,"ref":"refs/heads/remove-istriviallyinvalid","head":"b3b13fbe541964dc40bf2faef13507a5d6b8d142"}