Giters
coq-tactician
/
benchmark-system
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
6
Issues:
2
Forks:
1
coq-tactician/benchmark-system Issues
Featue: Ability to resume benchmarking from a given checkpoint
Closed
2 years ago
Feature: Resiliance against failure of individual computing nodes
Updated
2 years ago