summaryrefslogtreecommitdiff
path: root/boot
Commit message (Expand)AuthorAgeFilesLines
* 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
* | bootstrapTom Kelly2021-03-042-0/+0
* | bootstrapTom Kelly2021-03-042-0/+0
* | Merge commit '603506aa34d0e5f7a9745c988777776ccb734094' into parallel_minor_g...Tom Kelly2021-03-031-930/+1147
|\ \ | |/
| * Add injectivity annotations (#9500)Jacques Garrigue2020-06-151-918/+1135
| * Bootstrap after removal of caml_static_{alloc,free_resize} primitivesXavier Leroy2020-06-132-0/+0
| * New representation of closures, intermediate bootstrapXavier Leroy2020-06-052-0/+0
| * Remove Const_pointer from Lambda and Clambda (#9585), bootstrapXavier Leroy2020-06-022-0/+0
* | bootstrapTom Kelly2021-03-032-0/+0
* | bootstrapTom Kelly2021-03-022-0/+0
* | bootstrapTom Kelly2021-03-022-0/+0
* | Merge commit '71e91123c27780fdfeca93c6c57c2f9af5417e54' into parallel_minor_g...Tom Kelly2021-03-021-2619/+2529
|\ \ | |/
| * Attach package type attributes to core_type (#9615)Etienne Millon2020-05-291-2595/+2505
| * BootstrapNicolás Ojeda Bär2020-05-132-0/+0
| * BootstrapStephen Dolan2020-04-272-0/+0
| * memprof: remove caml_unused memprof_start_byt and then bootstrapGabriel Scherer2020-04-012-0/+0
| * bootstrapThomas Refis2020-03-052-0/+0
| * BootstrapLeo White2020-03-042-0/+0
| * bootstrapGabriel Scherer2020-01-282-0/+0
| * bootstrapGabriel Scherer2020-01-282-0/+0
* | bootstrapTom Kelly2021-03-022-0/+0
* | bootstrapTom Kelly2021-03-012-0/+0
* | bootstrapTom Kelly2021-03-012-0/+0
* | bootstrapTom Kelly2021-03-012-0/+0
* | bootstrapTom Kelly2021-03-012-0/+0
* | bootstrapTom Kelly2021-03-012-0/+0
* | Merge commit '646d30404e6b5fa0d49aea3860cbf4efe3910601' into parallel_minor_g...Tom Kelly2021-02-261-4/+4
|\ \ | |/
| * types: allow class type paths in #tFlorian Angeletti2020-01-201-4/+4
| * Memprof API: cannot be start if already running, cannot be stopped if not alr...Jacques-Henri Jourdan2020-01-142-0/+0
* | bootstrapTom Kelly2021-02-262-0/+0
* | Merge commit '8a79f6ce59cdabd65870af5124e3e3eebc366ff1' into parallel_minor_g...Tom Kelly2021-02-264-5518/+5942
|\ \ | |/
| * compilerlibs: expose parsers for 'Longident.t'sFlorian Angeletti2020-01-092-5049/+5741
* | menhir promote & bootstrapTom Kelly2021-02-265-5188/+5549