GitHub repository: recallcontracts/recall
Primary language: Java
Created: 2016-05-19T03:00:31Z
Description: A Relativized Contract Language Analyzer