summaryrefslogtreecommitdiff
path: root/compilerlibs
Commit message (Expand)AuthorAgeFilesLines
* Less verbose logs from `make` (#11844)Xavier Leroy2023-01-181-10/+10
* Specify which compiler to use to build bytecode compilerlibsSébastien Hinderer2022-12-131-0/+9
* Embed printer types in toplevels and debuggerSébastien Hinderer2022-11-241-0/+4
* Standardise order of lines in META.inDavid Allsopp2022-07-181-0/+1
* Remove redundant directory entriesDavid Allsopp2022-07-181-1/+0
* Let configure generate the META files, with a proper version numberSébastien Hinderer2022-07-181-6/+7
* Add META files (#11007)Nicolás Ojeda Bär2022-07-011-0/+43
* Turn asmcomp/branch_relaxation_intf.ml into an MLI-only moduleSébastien Hinderer2022-06-301-1/+0
* Add a hook for misses in Load_pathDavid Allsopp2022-05-241-2/+2
* Use fixed configuration for boot/ocamlcDavid Allsopp2022-05-051-1/+7
* Shapes: Add Shape module with terms definitions and utility functionsUlysse Gérard2021-11-091-0/+1
* preliminary implementation of TMC (tail modulo cons)Gabriel Scherer2021-11-021-0/+1
* Introduce native-toplevel specific hooks moduleDavid Allsopp2021-10-141-0/+2
* Safepoints (#10039)Sadiq Jaffer2021-07-091-1/+2
* swaps and movesFlorian Angeletti2021-06-221-1/+2
* Add a generic backward dataflow analyzer and use it for liveness analysis (#1...Xavier Leroy2021-05-151-0/+1
* Merge pull request #10401 from Octachron/signature_group_2Gabriel Scherer2021-05-121-0/+1
|\
| * Signature_group: ghost-aware iteration over signaturesoctachron2021-05-061-0/+1
* | Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-0/+1
|/
* Refactor Makefile.compilerlibsDavid Allsopp2021-04-301-97/+198
* Convert erroneous tabs to whitespaceDavid Allsopp2021-04-301-8/+8
* Merge pull request #1400 from lthls/cmm_invariantsGabriel Scherer2021-04-291-0/+1
|\
| * Add an optional check for invariants on the Cmm representationVincent Laviron2021-04-191-0/+1
* | Remove the availability analysis (#10355)Xavier Leroy2021-04-231-6/+1
|/
* Remove slightly gratitutous make macro usesDavid Allsopp2021-04-181-5/+5
* Correct rules in Makefile.compilerlibsDavid Allsopp2021-04-181-8/+8
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-2/+4
* Revert "make clean should also remove toplevel/byte/top{dirs,loop}.mli"octachron2021-02-011-1/+0
* Merge pull request #10183 from Octachron/fix_ciFlorian Angeletti2021-02-011-4/+6
|\
| * toplevel makefile: remove accidental copyoctachron2021-02-011-4/+6
* | make clean should also remove toplevel/byte/top{dirs,loop}.mliSébastien Hinderer2021-02-011-0/+1
|/
* Factorise bytecode and native toplevels (#10124)Louis Gesbert2021-01-261-9/+13
* Rename and extract EnvLazy to its own file (#10052)Thomas Refis2021-01-201-1/+1
* Rename ocamlopttoplevel.cmxa to ocamltoplevel.cmxa (#10078)Louis Gesbert2020-12-151-3/+3
* Unify topXXX.mli / opttopXXX.mli (#10061)Louis Gesbert2020-12-081-8/+27
* Centralized tracking of frontend's global state (#9963)Thomas Refis2020-10-151-1/+2
* Merge pull request #9948 from nojb/remove_spacetimeXavier Leroy2020-10-091-1/+1
|\
| * Remove SpacetimeNicolás Ojeda Bär2020-10-081-1/+1
* | Save Linear IR before emit (#8939)Greta Yorsh2020-10-071-0/+1
|/
* Fix ocamlcommon.cmxa/ocamlopttoplevel.cmxa rulesDavid Allsopp2020-09-121-2/+2
* Merge pull request #9551 from nojb/microbfdXavier Leroy2020-07-141-1/+1
|\
| * Add module utils/binutilsNicolás Ojeda Bär2020-07-021-1/+1
* | Move code of main and optmain to compilerlibsStephen Dolan2020-06-301-2/+2
|/
* patterns: move Parmatch.Pattern_head into Patterns.HeadGabriel Scherer2020-05-141-1/+1
* [minor] Makefile: move ARCH_SPECIFIC back to the main MakefileGabriel Scherer2020-05-061-4/+0
* Tweak Makefile variable (#9488)Nicolás Ojeda Bär2020-04-231-1/+1
* Ensure make distclean works on an unconfigured treeDavid Allsopp2019-10-151-5/+9
* Deprecate -annot (#2141)Nicolás Ojeda Bär2020-03-131-3/+3
* typedecl_separability: interfaces and basic definitions, implementations missingRodolphe Lepigre2020-01-281-0/+1
* fix a typo in #9211Gabriel Scherer2020-01-081-1/+1
View Lorry Controller Status