|  | 35d19c262c | garlic: add tool to query experiments | 2021-11-03 16:19:49 +01:00 |  | 
			
				
					|  | fb2b3cbe06 | sh: add garlic-add-copyright tool | 2021-05-11 12:25:15 +02:00 |  | 
			
				
					|  | 776a6ca1e4 | sh: add commit propagator tool | 2021-05-10 17:01:54 +02:00 |  | 
			
				
					|  | df62451fcd | sh: add helper script to fix the figure subtitle | 2021-04-21 17:58:59 +02:00 |  | 
			
				
					|  | d2222f6868 | sh: Format the git table in a single attribute set | 2021-04-20 17:36:33 +02:00 |  | 
			
				
					|  | 2aa099f0e2 | sh: add script to build the gitTable | 2021-04-20 17:36:33 +02:00 |  | 
			
				
					|  | 732b0c0e9c | garlic tool: improve unit status information | 2021-04-16 09:29:33 +02:00 |  | 
			
				
					|  | 886d16bcc6 | garlic tool: add jq as dependency So we can parse the experiment configuration in JSON | 2021-04-16 09:29:33 +02:00 |  | 
			
				
					|  | 26e3a86c78 | garlic tool: check the presence of all the units This check prevents a user from removing units between the
execution of the experiment and the fetch. | 2021-04-16 09:29:33 +02:00 |  | 
			
				
					|  | 3445a72686 | garlic tool: copy recursively from .garlic/ It allows an experiment to store a CTF trace in the resultTree (which is
not recommended for large traces). | 2021-03-12 11:13:35 +01:00 |  | 
			
				
					|  | c869b6e3b4 | garlic: enable verbose rsync fetch | 2021-02-25 11:38:29 +01:00 |  | 
			
				
					|  | 0b95ea20b7 | garlicd: allow manual experiment executions | 2021-02-25 11:37:58 +01:00 |  | 
			
				
					|  | d51fe5db48 | garlic tool: ensure the mountpoint is enabled | 2021-02-15 16:18:21 +01:00 |  | 
			
				
					|  | e5561b8735 | control: save total execution time | 2021-02-08 14:14:08 +01:00 |  | 
			
				
					|  | fe760c0023 | garlic: sent trebuchet output to stderr | 2021-02-03 11:50:31 +01:00 |  | 
			
				
					|  | 5763b91d39 | Use the trebuchet only to specify an experiment | 2020-11-09 17:46:11 +01:00 |  | 
			
				
					|  | 476c2f20f0 | Add manual and update the garlic tool | 2020-11-05 19:31:21 +01:00 |  | 
			
				
					|  | de6b4864ee | Add garlic tool manual | 2020-11-05 19:29:40 +01:00 |  | 
			
				
					|  | 317409f6ac | Move index and out inside the user directory | 2020-11-03 19:10:00 +01:00 |  | 
			
				
					|  | 6b40e6f9e9 | Experimental garlic tool | 2020-11-03 19:10:00 +01:00 |  |