GitHub PushEvent at 2014-08-15 11:33:49
Repository: piware
Actor: joaopizani
Payload: {"shas":[["8548ee7db346e1746e283e379b19b593019debb0","f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","Implementing review 2 complete","João Paulo Pizani Flor",true],["65b3d33013b143f7eb9fa4ae5d5f78efc3ffa720","f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","Began section on circuit proofs","João Paulo Pizani Flor",true],["7e1c8bfd893786d358140318ae0cb0d1c10eaab8","f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","Labels for subsubsections","João Paulo Pizani Flor",true],["e1c9e5382319951e8e342365a165420e0f971926","f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","Moved subsubsection Instance for BoolTrio","João Paulo Pizani Flor",true],["5ce2d381e8b7c35b8572026dd15b7a66d559196b","f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","Started sec 3.4 on proving circuit properties","João Paulo Pizani Flor",true]],"size":5,"ref":"refs/heads/master","head":"5ce2d381e8b7c35b8572026dd15b7a66d559196b"}