summaryrefslogtreecommitdiff
path: root/boot
Commit message (Expand)AuthorAgeFilesLines
...
| * BootstrapStephen Dolan2021-05-252-0/+0
* | Merge commit '5eddf636c5828f37912010265c3cd8a95f33a56f' into parallel_minor_g...Tom Kelly2021-10-012-0/+0
|\ \ | |/
| * BootstrapDavid Allsopp2021-05-192-0/+0
* | Merge commit 'eed1110e6aece8713605806bee7066ea07e2c0ca' intoTom Kelly2021-09-302-0/+0
|\ \ | |/
| * make update_scope recursive while keeping trace_gadt_instances (#10277)Jacques Garrigue2021-04-192-0/+0
* | Merge commit '3ef9ce800fea63c90294fe306e552b4b5fafaa1a' into parallel_minor_g...Tom Kelly2021-09-301-4908/+4906
|\ \ | |/
| * Remove unused labelsLeo White2021-03-221-4908/+4906
* | Merge commit 'aced66c380f00a42e18a3b08e70bea87c419b2a0' into parallel_minor_g...Tom Kelly2021-09-301-2882/+3160
|\ \ | |/
| * review: rename Pwith_module_type* to Pwith_modtype*octachron2021-02-251-2/+2
| * with module type = sig endoctachron2021-02-171-2922/+3050
| * module type substitutions: syntaxoctachron2021-02-171-721/+871
* | Merge commit '89aae98b22634d896b9d59f717decf2d3e7d4af3' into parallel_minor_g...Tom Kelly2021-09-291-1987/+2080
|\ \ | |/
| * Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-041-1987/+2080
* | Merge commit 'e30cca3a6e4b37f7608975dc8949425003b6fc2f' into parallel_minor_g...Tom Kelly2021-09-291-5458/+6071
|\ \ | |/
| * parser: refactorize array expressionsFlorian Angeletti2021-01-291-5458/+6083
* | Merge commit 'd0f80077066105e1429ef8728b8362b8d698e298' into parallel_minor_g...Tom Kelly2021-09-291-4722/+4735
|\ \ | |/
| * Pass [--strategy simplified] to Menhir.François Pottier2021-01-061-13/+13
| * Switch to Menhir's simplified error handling strategy.François Pottier2021-01-063-4990/+5205
* | Merge commit 'bfd2efb3b32b341479f2cfc3cb6dd27bc7fdaf21' into parallel_minor_g...Tom Kelly2021-09-293-5064/+5318
|\ \ | |/
| * Syntax proposal: let punning (#10013)Stephen Dolan2020-12-081-4824/+4909
* | Merge commit '1a7da5847438da6286dd1ac1b51000f20e4e0afd' into parallel_minor_g...Tom Kelly2021-09-292-0/+0
|\ \ | |/
| * BootstrapDavid Allsopp2020-12-042-0/+0
| * Bump magic numbers for 4.12 (and trunk)Florian Angeletti2020-10-192-0/+0
* | bootstrapTom Kelly2021-09-272-0/+0
* | Remove effects, rename to 4.12+domainsTom Kelly2021-09-272-5365/+4843
* | BootstrapKC Sivaramakrishnan2021-09-182-0/+0
* | rebase and bootstrapSadiq Jaffer2021-09-062-0/+0
* | add polling at mach layerSadiq Jaffer2021-09-062-0/+0
* | Add Obj.drop_continuationStephen Dolan2021-07-232-0/+0
* | BootstrapKC Sivaramakrishnan2021-06-101-0/+0
* | bootstrapTom Kelly2021-06-032-0/+0
* | bootstrapTom Kelly2021-06-032-0/+0
* | Commit bootstrap resultsKC Sivaramakrishnan2021-03-172-0/+0
* | BootstrapTom Kelly2021-03-122-0/+0
* | bootstrapTom Kelly2021-03-112-0/+0
* | bootstrap (bump majic numbers for 4.12)Tom Kelly2021-03-092-0/+0
* | bootstrapTom Kelly2021-03-092-0/+0
* | Merge commit 'efac7902494b0decf2d7a0687af5221c7c89d529' into parallel_minor_g...Tom Kelly2021-03-091-4927/+4926
|\ \ | |/
| * Make some locations more accurate (#8987)Thomas Refis2020-10-141-4881/+4880
| * BootstrapNicolás Ojeda Bär2020-10-082-0/+0
* | bootstrap (incl final removals of prims)Tom Kelly2021-03-082-0/+0
* | bootstrapTom Kelly2021-03-051-0/+0
* | Merge commit 'ccf4df07584087a7fa3a14f365cf348c56f64e5c' into parallel_minor_g...Tom Kelly2021-03-051-4832/+4835
|\ \ | |/
| * Remove spurious Ptop_defs from #use (#9376)Leo White2020-08-251-4786/+4789
| * Introduce warning 68 to warn about hidden allocation due to pattern match of ...hhugo2020-08-172-0/+0
| * Bootstrap after removal of `caml_hash_univ_param` primitiveXavier Leroy2020-07-192-0/+0
| * BootstrapJeremy Yallop2020-07-182-0/+0
| * Bootstrap.Jeremy Yallop2020-07-072-0/+0
* | bootstrapTom Kelly2021-03-052-0/+0
* | bootstrap (incl removal of caml_hash_univ_param)Tom Kelly2021-03-042-0/+0
View Lorry Controller Status