GitHub repository: CakeML/regression
Primary language: Standard ML
Created: 2017-11-08T21:58:52Z
Description: Regression testing infrastructure for CakeML