Initial commit.
Added a .merlin file.
Added/updated tools cfg files
WIP
Minor type changes in Benchmark, Result
Added macrorun cmdline program
Added a .gitignore
Fixed the -r argument of macrorun, and other minor changes.
Remove .install file from repo.
Fix PATH bug, drain stdout as well.
Renaming some record fields.
Added OPAM deps in benchmark file format.
Record current opam switch in result files.
Rollback deps field in Benchmark.t
fleshed out opam file
macrorun: load -> run
Write the result of benchmark in .cache if possible. Result date field is now a float (not optional).
Result record: replace switch and date by context_id.
Adding macrobenchmark measuring time, refactoring.
Use GADT for better Topic typing.