summaryrefslogtreecommitdiff
path: root/stdlib
Commit message (Expand)AuthorAgeFilesLines
...
| * makefiles: move the inclusion of Makefile.build_config in Makefile.commonGabriel Scherer2020-05-061-1/+0
* | Merge commit 'f2587c1fb1a10548a7c35e931986af0ebecbaef7' into parallel_minor_g...Tom Kelly2021-03-022-22/+22
|\ \ | |/
| * Merge pull request #9228 from yallop/map-documentationFlorian Angeletti2020-05-041-13/+13
| |\
| | * Fix some issues in the Map documentation:Jeremy Yallop2020-04-301-13/+13
| * | Update stdlib/ephemeron.mliJosh Berdine2020-05-031-1/+1
| * | Fix ephemeron documentation typosJosh Berdine2020-05-021-9/+9
* | | Merge commit 'e5c8bee85e7ae2d974069d63528333ffacc1923b' into parallel_minor_g...Tom Kelly2021-03-021-2/+2
|\ \ \ | |/ /
| * | Introduce Makefile.build_config.inDavid Allsopp2020-04-171-2/+2
| |/
* | Merge commit '10561873487c185c0727f08b26706226dbb1a7b6' into parallel_minor_g...Tom Kelly2021-03-023-2/+21
|\ \ | |/
| * Rewrite the instrumented runtime to store traces in the CTF format.Enguerrand Decorne2020-04-302-0/+20
| * Fix docs: runtime warnings are not enabled by defaultEdwin Török2020-04-271-1/+1
* | Merge commit '8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1' into parallel_minor_g...Tom Kelly2021-03-012-3/+20
|\ \ | |/
| * Print function names (derived from Lambda.scoped_location) in backtracesStephen Dolan2020-04-272-3/+20
* | Merge commit '080ac7421c569392f84fadefbdf977c4aa98a92a' into parallel_minor_g...Tom Kelly2021-03-011-6/+10
|\ \ | |/
| * Fix recursive module initialisation that does not terminate (#9497)Mark Shinwell2020-04-241-6/+10
* | Merge commit 'd5dadae8ed403a34f31c8eb61606d1d38f77c561' into parallel_minor_g...Tom Kelly2021-03-011-8/+0
|\ \ | |/
| * Remove stray newlinesGreta Yorsh2020-04-201-1/+0
| * Check FLAMBDA in Makefile.common.in to update OPTCOMPFLAGSGreta Yorsh2020-04-201-3/+0
| * Check FUNCTION_SECTIONS in Makefile.common.in to update OPTCOMPFLAGSGreta Yorsh2020-04-201-3/+1
| * Define OPTCOMPFLAGS in Makefile.common.inGreta Yorsh2020-04-201-3/+1
* | Merge commit 'ec6690fb53b6caced797e1a7a083a787ff8bd97c' into parallel_minor_g...Tom Kelly2021-03-011-3/+3
|\ \ | |/
| * Ensure make distclean works on an unconfigured treeDavid Allsopp2019-10-151-1/+1
| * Allow make to be invoked before configureDavid Allsopp2018-12-041-2/+2
* | Merge commit '9f95355acb42b98347253d0957b4ed808affe692' into parallel_minor_g...Tom Kelly2021-03-011-0/+4
|\ \ | |/
| * Install a pretty printer for the Fun.Finally_raised exception (#9266)Guillaume Munch-Maccagnoni2020-04-131-0/+4
* | Merge commit '019cd43ef11d73f7f3b66eb7bfdfb5ff3151dcf4' into parallel_minor_g...Tom Kelly2021-03-015-0/+73
|\ \ | |/
| * Merge pull request #9365 from gasche/Set-Map-filter_mapGabriel Scherer2020-04-025-0/+73
| |\
| | * Map.filter_map and Set.filter_mapGabriel Scherer2020-03-315-0/+73
* | | Merge commit '017d4a3eaddbd2b25649d04ed576258e4ddf60cc' into parallel_minor_g...Tom Kelly2021-03-012-0/+15
|\ \ \ | |/ /
| * | Gc.Memprof.start: take a record instead of 5 optional parametersGabriel Scherer2020-04-012-29/+46
| |/
| * Stdlib: added Printf.ikbprintf, Printf.ibprintf (#9364)muskangarg212020-03-262-0/+15
* | Merge commit '3196a706710d218a0754d0fc8e83b93d6cfcef1e' into parallel_minor_g...Tom Kelly2021-03-014-4/+4
|\ \ | |/
| * Don't assume . in AWKPATHDavid Allsopp2020-03-202-2/+2
| * fix doc comment for seq typezapashcanon2020-03-191-1/+1
| * fix doc comment for unit typezapashcanon2020-03-181-1/+1
* | Merge commit 'b82d5194c21fcb96a2a2f8aec8af396056910460' into parallel_minor_g...Tom Kelly2021-03-012-0/+15
|\ \ | |/
| * Define Seq.cons and Seq.append. (#9077)Sébastien Briais2020-03-062-0/+15
* | Merge commit '70370d7004514d4577989ced8b9c6844818b4d20' into parallel_minor_g...Tom Kelly2021-03-011-2/+4
|\ \ | |/
| * Document base case of List.for_all and List.exists (#9325)Glenn Slotte2020-02-261-2/+4
| * Merge pull request #9270 from gadmm/doc_stack_overflowGabriel Scherer2020-01-291-3/+6
* | Merge commit 'd0e0cc82801f8db68f6010b56dd00ade4c42f85b' into parallel_minor_g...Tom Kelly2021-03-012-20/+25
|\ \ | |/
| * Add Printexc.default_uncaught_exception_handler (issue #9248)Raphael Sousa Santos2020-01-262-20/+25
* | Merge commit '646d30404e6b5fa0d49aea3860cbf4efe3910601' into parallel_minor_g...Tom Kelly2021-02-265-13/+60
|\ \ | |/
| * Merge pull request #9237 from gasche/format-update-geometryGabriel Scherer2020-01-152-12/+45
| |\
| | * [minor] Format: factorize check_geometry to avoid invariant duplicationGabriel Scherer2020-01-141-15/+27
| | * Format.pp_update_geometry: formatter -> (geometry -> geometry) -> unitGabriel Scherer2020-01-142-0/+21
| | * [minor] fix an indentation mistake in Format.pp_set_geometryGabriel Scherer2020-01-141-5/+5
| * | Add Seq.unfold.Jeremy Yallop2020-01-152-0/+14
| * | Merge pull request #9227 from yallop/bool-identityArmaël Guéneau2020-01-151-1/+1
| |\ \ | | |/ | |/|
| | * Make Bool.to_int primitive.Jeremy Yallop2020-01-071-1/+1
View Lorry Controller Status