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.
Dependencies:
Platform:
Poly/ML version:
Licence: GPL3
Project link: https://github.com/CakeML/regression