Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dune: fix build | Thomas Refis | 2019-10-18 | 1 | -1/+2 |
* | dune: add type_immediacy | Thomas Refis | 2019-10-02 | 1 | -1/+1 |
* | dune: add linear | Thomas Refis | 2019-09-09 | 1 | -4/+4 |
* | dune: add an alias @libs that is buildable on 4.09 | Thomas Refis | 2019-08-28 | 1 | -5/+18 |
* | dune: disable warning 40 | Thomas Refis | 2019-05-06 | 1 | -2/+2 |
* | Move some middle-end files around (#2281) | Mark Shinwell | 2019-04-01 | 1 | -56/+86 |
* | partial fix for the dune build | Gabriel Scherer | 2019-03-31 | 1 | -7/+7 |
* | Remove support for compiler plugins (#2276) | Mark Shinwell | 2019-03-13 | 1 | -2/+1 |
* | fix dune build | Gabriel Scherer | 2019-02-20 | 1 | -1/+2 |
* | update dune file | Thomas Refis | 2019-02-14 | 1 | -3/+4 |
* | remove typedtreeMap (#2173) | Thomas Refis | 2018-11-29 | 1 | -1/+1 |
* | update dune file | Thomas Refis | 2018-11-26 | 1 | -1/+2 |
* | fix dune build following natdynlink modifications (#2154) | Thomas Refis | 2018-11-20 | 1 | -1/+2 |
* | Provide a way to build the bytecode compiler using Dune (#2093) | Thomas Refis | 2018-10-10 | 1 | -0/+175 |