5 commits

Author	SHA1	Message	Date
Quentin Dufour	7dd57158c7	Add a second witness	2019-05-09 14:24:02 +02:00
Quentin Dufour	5983f703e6	Add dup2	2019-05-06 17:30:40 +02:00
Quentin Dufour	2b7342a21d	Update generate csv and run-seq	2019-05-06 16:07:38 +02:00
Quentin Dufour	7e25f35042	Refactor my code	2019-04-24 16:23:41 +02:00
Quentin Dufour	de2a2a25ce	Add a simple runner	2019-04-23 16:17:42 +02:00