summaryrefslogtreecommitdiff
path: root/dune
Commit message (Expand)AuthorAgeFilesLines
* Centralized tracking of frontend's global state (#9963)Thomas Refis2020-10-151-1/+1
* Remove SpacetimeNicolás Ojeda Bär2020-10-081-1/+1
* Modify ocamltest_core_and_plugin dune. (#9843)Brett Gilio2020-09-221-1/+1
* patterns: move Parmatch.Pattern_head into Patterns.HeadGabriel Scherer2020-05-141-1/+2
* dune: cmt2annotThomas Refis2020-03-301-1/+1
* dune: add Typedecl_separabilityThomas Refis2020-02-121-1/+1
* dune: fix buildThomas Refis2019-10-181-1/+2
* dune: add type_immediacyThomas Refis2019-10-021-1/+1
* dune: add linearThomas Refis2019-09-091-4/+4
* dune: add an alias @libs that is buildable on 4.09Thomas Refis2019-08-281-5/+18
* dune: disable warning 40Thomas Refis2019-05-061-2/+2
* Move some middle-end files around (#2281)Mark Shinwell2019-04-011-56/+86
* partial fix for the dune buildGabriel Scherer2019-03-311-7/+7
* Remove support for compiler plugins (#2276)Mark Shinwell2019-03-131-2/+1
* fix dune buildGabriel Scherer2019-02-201-1/+2
* update dune fileThomas Refis2019-02-141-3/+4
* remove typedtreeMap (#2173)Thomas Refis2018-11-291-1/+1
* update dune fileThomas Refis2018-11-261-1/+2
* fix dune build following natdynlink modifications (#2154)Thomas Refis2018-11-201-1/+2
* Provide a way to build the bytecode compiler using Dune (#2093)Thomas Refis2018-10-101-0/+175