| Directory | Contents |
|---|---|
computations/ |
Magma .m and SageMath .sage scripts run by verify_all.sh |
logs/ |
Output from verify_all.sh (committed as a record of the computations) |
src/ |
Library/source code shared across computations |
tests/ |
Test scripts |
To run all scripts in computations/ in parallel (requires GNU parallel):
make verify
# or directly:
bash verify_all.sh # uses 10 parallel jobs by default
bash verify_all.sh 4 # use 4 parallel jobsOutput lands in logs/<script-name>.txt. SageMath scripts also produce logs/<script-name>.timing.txt.
make testSyncs the repo to /tmp/<repo-name>/ on the remote and runs make test there:
make test_remote ssh="user@hostname"