GitHub repository: septract/stellite-tool
Primary language: Alloy
Created: 2016-04-21T13:46:40Z
Description: A tool for converting C11-like code into Alloy predicates.