GitHub / CakeML / regression
Regression testing infrastructure for CakeML
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CakeML%2Fregression
Stars: 3
Forks: 8
Open issues: 2
License: gpl-3.0
Language: Standard ML
Size: 257 KB
Dependencies parsed at: Pending
Created at: over 7 years ago
Updated at: about 2 months ago
Pushed at: about 2 months ago
Last synced at: about 2 months ago
Topics: cakeml, regression-testing
Loading...