5 Commits

Author	SHA1	Message	Date
Anthony Scemama	2f1c7c5ce9	Small changes in MRCC	2016-10-18 23:07:03 +02:00
Anthony Scemama	2b5c93a58a	Fixed tests	2016-10-07 19:45:25 +02:00
Anthony Scemama	18ff53e063	Improved diagonalization	2016-09-23 14:23:03 +02:00
Anthony Scemama	0112cf20f3	automatic make -C ocaml	2016-09-23 09:38:20 +02:00
Yann Garniron	1bc8bb0a06	added lambda_type	2016-07-06 15:53:16 +02:00