galfour 88261fd5e2 Merge branch 'dev' into feature/better-error-messages		2019-07-21 11:58:09 +02:00
..
display.ml	add manual tests; change display of errors; minor refactorings	2019-06-28 12:05:04 +00:00
dune	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00
main.ml	add manual tests; change display of errors; minor refactorings	2019-06-28 12:05:04 +00:00
run_mini_c.ml	add map to lists ; fix error with lists	2019-07-20 16:18:50 +02:00
run_simplified.ml	add map to lists ; fix error with lists	2019-07-20 16:18:50 +02:00
run_source.ml	Fix auto-detection of syntax, use a polymorphic variant to ensure all functions were updated.	2019-06-13 01:56:03 +02:00
run_typed.ml	add map to lists ; fix error with lists	2019-07-20 16:18:50 +02:00