This repository has been archived on 2025-10-07. You can view files and clone it, but cannot push or open issues or pull requests.

Rodrigo Arias Mallo 80ccd1240a Less verbose execution

2020-10-14 16:29:22 +02:00

..

isolate

Less verbose execution

2020-10-14 16:29:22 +02:00

runexp

Less verbose execution

2020-10-14 16:29:22 +02:00

control.nix

WIP stage redesign

2020-10-09 16:42:06 +02:00

exec.nix

WIP stage redesign

2020-10-09 16:42:06 +02:00

experiment.nix

Print the experiment being run

2020-10-14 16:28:27 +02:00

extrae.nix

Remove old stages and update some

2020-10-09 20:12:52 +02:00

pgdb.nix

Experimental GDB stage

2020-09-30 16:00:34 +02:00

sbatch.nix

Less verbose execution

2020-10-14 16:29:22 +02:00

srun.nix

Less verbose execution

2020-10-14 16:29:22 +02:00

strace.nix

Remove old stages and update some

2020-10-09 20:12:52 +02:00

trebuchet.nix

Set the ssh host from the machine config

2020-10-13 14:30:03 +02:00

unit.nix

Write the unit config in a file

2020-10-14 16:27:47 +02:00

valgrind.nix

Remove old stages and update some

2020-10-09 20:12:52 +02:00