From: Jean Privat Date: Wed, 16 Sep 2015 17:11:54 +0000 (-0400) Subject: Merge: Some improvement of benchmarks X-Git-Tag: v0.7.8~15 X-Git-Url: http://nitlanguage.org Merge: Some improvement of benchmarks Some work in the benchmarks directory. The most important stuff is some `make check` to test the brokenness of specific benches. Pull-Request: #1723 Reviewed-by: Lucas Bajolet Reviewed-by: Romain Chanoir --- aea40c3164facb7151e97c555f2aca4d45a49695