GitHub CreateEvent at 2014-06-19 18:58:24
Repository: predator
Actor: deekej
Payload: ref: devel
ref_type: branch
master_branch: master
description: A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures
pusher_type: user