GitHub PushEvent at 2014-11-29 03:44:33
Repository: kind2
Actor: chsticksel
Payload: {"shas":[["89e4855b21e4be3808c85de29100885abc40d3e0","5721131a1feb2f40a72464ada30fc209cd28aab4@uiowa.edu","First steps: BMC checks for k=1,2 with act. lits.","Christoph Sticksel",true]],"size":1,"ref":"refs/heads/pdr-w-actlit","head":"89e4855b21e4be3808c85de29100885abc40d3e0"}