53 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Théophile Bastian	c2bef9c053	Initial commit	2018-10-26 15:24:14 +02:00