CakeML Regression Testing

Owner: xrchz

Category: Application

Automated regression tests for CakeML

Orchestrates the long-running testing of commits made to the CakeML repository (which depends on HOL and Poly/ML). Includes software for a CGI server that serves jobs and their current status, and for a worker client to run the jobs.



Poly/ML version:

Licence: GPL3

Download link:

Project link: