GitHub CreateEvent at 2014-01-22 14:43:16
Repository: VerChor
Actor: pascalpoizat
Payload: ref: master
ref_type: branch
master_branch: master
description: Framework for the Verification of Choreographies