search

CakeML / regression

Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3 stars 8 forks source link

Reorganizing files #19

Closed agomezl closed 4 years ago

agomezl commented 5 years ago
xrchz commented 5 years ago

I think flock should be in src (and there be no misc). Also could it have a make rule? If you build the server you probably also want flock.