GitHub CreateEvent at 2014-11-01 00:25:39
Repository: cpachecker
Actor: cpachecker
Payload: ref: svcomp15
ref_type: branch
master_branch: trunk
description: CPAchecker, the Configurable Software-Verification Platform
pusher_type: user