Rudi Grinberg f163f6197a Merge branch 'master' into rename-build-profile		2018-07-02 13:45:00 +07:00
..
test-cases	Merge branch 'master' into rename-build-profile	2018-07-02 13:45:00 +07:00
cram.mll	Add List.assoc	2018-06-05 19:19:10 +01:00
dune	Update tests for new variables syntax	2018-06-28 09:48:35 +06:30
dune.inc	Add a test suite for workspaces	2018-07-01 01:46:32 +07:00
gen_tests.ml	Add templates to Usexp.t directly	2018-06-28 09:46:10 +06:30
platform.ml	Generate blackbox tests	2018-04-26 11:46:14 +01:00