summaryrefslogtreecommitdiff
path: root/dune
Commit message (Expand)AuthorAgeFilesLines
* improve the dune buildGabriel Scherer2022-07-281-1/+1
* Shapes: Add Shape module with terms definitions and utility functionsUlysse Gérard2021-11-091-1/+1
* preliminary implementation of TMC (tail modulo cons)Gabriel Scherer2021-11-021-1/+1
* dune: disable some warningsThomas Refis2021-10-191-3/+3
* dune: tell dune about asmcomp/polling.mlGabriel Scherer2021-07-111-1/+3
* swaps and movesFlorian Angeletti2021-06-221-1/+1
* dune: add asmcomp/dataflow.mlGabriel Scherer2021-05-251-2/+4
* Merge pull request #10401 from Octachron/signature_group_2Gabriel Scherer2021-05-121-1/+1
|\
| * Signature_group: ghost-aware iteration over signaturesoctachron2021-05-061-1/+1
* | fix the dune build after #10170Gabriel Scherer2021-05-071-1/+1
|/
* Add emitenv and cmm_invariants to dune fileGreta Yorsh2021-05-031-1/+3
* partially fix the dune buildGabriel Scherer2021-05-031-1/+0
* Remove the availability analysis (#10355)Xavier Leroy2021-04-231-4/+0
* dune: fix main.bc and optmain.bcEduardoRFS2021-04-191-2/+2
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-2/+3
* dune: add lazy_backtrackThomas Refis2021-02-051-0/+1
* fix dune buildThomas Refis2020-10-201-0/+3
* 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
View Lorry Controller Status