GitHub CreateEvent at 2014-08-13 14:09:36
Repository: AbsSynthe
Actor: gaperez64
Payload: ref: dev
ref_type: branch
master_branch: master
description: controller synthesis from succinct safety specifications
pusher_type: user