GitHub CreateEvent at 2014-12-23 20:52:48
Repository: llvm-semantics-new
Actor: dwightguth
Payload: ref: master
ref_type: branch
master_branch: master
description: LLVM Semantics in K
pusher_type: user