summaryrefslogtreecommitdiff
path: root/boot
Commit message (Expand)AuthorAgeFilesLines
* Bootstap.KC Sivaramakrishnan2022-09-212-0/+0
* bootstrapJacques Garrigue2022-07-262-0/+0
* make promote-menhirNicolas Ojeda Bar2022-07-101-3394/+3642
* Remove (.[]<-) (#11345)Nicolas Ojeda Bar2022-06-241-4928/+4933
* bootstrapJacques Garrigue2022-06-162-0/+0
* bump magic numbers before branching 5.0Florian Angeletti2022-06-092-0/+0
* bootstrapSabine Schmaltz2022-05-262-0/+0
* Runtime_events tracing systemSadiq Jaffer2022-05-242-0/+0
* BootstrapDavid Allsopp2022-05-052-0/+0
* Bootstrap after change of bytecode stack parametersXavier Leroy2022-03-012-0/+0
* Bootstrap after removal of caml_obj_truncate, caml_obj_set_fieldXavier Leroy2022-02-242-0/+0
* Merge commit '7a0e1d2c7631764ce49081a9f204b55884214e2b' into 5.00_rebase_to_prTom Kelly2021-12-211-0/+0
|\
| * BootstrapLeo White2021-11-181-0/+0
* | Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+0
|\ \ | |/
| * Shapes: bootstrapUlysse Gérard2021-11-092-0/+0
* | Merge commit 'f310f749bdb2979424e9e8caed6ef97afe3ccf9c' intoTom Kelly2021-12-202-0/+0
|\ \ | |/
| * Update magic numbers for 4.14Florian Angeletti2021-11-052-0/+0
* | Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+0
|\ \ | |/
| * abstract row_field (#10627)Jacques Garrigue2021-10-221-0/+0
* | Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+0
|\ \ | |/
| * make field_kind and commutable abstract typesTakafumi Saikawa2021-10-182-0/+0
* | Merge commit 'c9375900719a7945fbbaf8ee548181322c2b9bb7' into 5.00_rebase_to_prTom Kelly2021-12-202-3389/+3477
|\ \ | |/
| * Expose Parse.module_type and Parse.module_exprGuillaume Petiot2021-10-122-3389/+3477
* | Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+0
|\ \ | |/
| * BootstrapLeo White2021-10-052-0/+0
* | Remove caml_sys_const_naked_pointers_checked primitive (& bootstrap)Tom Kelly2021-11-292-0/+0
* | remove caml_sys_const_naked_pointers_checked primitive usage from stdlib (and...Tom Kelly2021-11-292-0/+0
* | bootstrap (removal of caml_maybe_print_stats primitive))Tom Kelly2021-10-202-0/+0
* | bootstrap (removing caml_maybe_print_stats usage)Tom Kelly2021-10-202-0/+0
* | bootstrap (for removal of caml_ml_domain_ticks primitives)Tom Kelly2021-10-202-0/+0
* | bootstrap (for removal of timer_tick)Tom Kelly2021-10-202-0/+0
* | bootstrapTom Kelly2021-10-082-0/+0
* | remove unnecessary diffs with upstream in parsing/Tom Kelly2021-10-071-735/+735
* | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * BootstrapLeo White2021-09-232-0/+0
* | Merge commit '7ad8c1368346c8a9d492f130442bff48807961b4' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-0/+0
* | Merge commit 'fa43873b3b38fdf4d38ea069182d28a8b7b4b47e' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * BootstrapStephen Dolan2021-09-062-0/+0
* | Merge commit '80482ed60b9c3459595f3df4e124744a2eb79993' into 5.00Tom Kelly2021-10-041-971/+959
|\ \ | |/
| * parser.mly: location fixes for type constraints and punning (#10555)Nicolás Ojeda Bär2021-08-051-971/+959
* | Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * BootstrapLeo White2021-07-132-0/+0
* | Merge commit 'cbbb5e025cd6cad3d16aeddb25af2fe932b17e8e' into 5.00Tom Kelly2021-10-041-3318/+3479
|\ \ | |/
| * Allow explicit binders for type variables (#10437)Stephen Dolan2021-06-301-3318/+3479
* | Merge commit 'ec880ee809c3f4f3c7ce4ee223b3e56fde338f4f' into 5.00Tom Kelly2021-10-041-2839/+2899
|\ \ | |/
| * Pun labelled arguments with type constraint in function applications (#10434)Greta Yorsh2021-06-231-2839/+2899
* | Merge commit '83eca0dabc7df3c797d0574df014d7ff7cfce840' into 5.00Tom Kelly2021-10-011-1850/+1850
|\ \ | |/
| * Remove unnecessary surrounding parentheses for immediate objects (#10441)dongyan2021-06-053-2831/+2792
* | Merge commit '621753f3eec9de91495a25723de00cef33a9e35a' into parallel_minor_g...Tom Kelly2021-10-012-0/+0
|\ \ | |/