3 commits

Author	SHA1	Message	Date
Théophile Bastian	e74efb43d5	Start synthesis §	2018-11-07 08:50:04 +01:00
Théophile Bastian	420eeb6a30	Work on synthesis, "A real bug!" to be finished	2018-11-05 16:19:19 +01:00
Théophile Bastian	f2b188bd7a	Import files from m2 internship defense slides	2018-10-26 15:42:37 +02:00