Rodrigo Arias Mallo e5561b8735 control: save total execution time

2021-02-08 14:14:08 +01:00

..

default.nix

Add manual and update the garlic tool

2020-11-05 19:31:21 +01:00

garlic

control: save total execution time

2021-02-08 14:14:08 +01:00

garlic.1

Use the trebuchet only to specify an experiment

2020-11-09 17:46:11 +01:00