5 Commits

Author	SHA1	Message	Date
Anthony Scemama	316fb508d5	Cleaning in scripts	2019-01-14 15:20:51 +01:00
Anthony Scemama	43c42b05e5	Can extract multiple states	2019-01-11 19:49:48 +01:00
Anthony Scemama	3764b2b45d	Strating to remove Core	2017-08-18 19:43:52 +02:00
Anthony Scemama	8523096a90	Modified for ocaml 4.04	2017-08-18 18:28:33 +02:00
Anthony Scemama	ff30a9d501	Cleaning	2014-10-27 01:14:18 +01:00