summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'ocaml/trunk' into flambda_trunkMark Shinwell2015-11-271-1/+1
|\
| * PR#7038: out of memory condition in caml_io_mutex_lockXavier Leroy2015-11-271-1/+1
* | mergeMark Shinwell2015-11-271-1/+1
|\ \
| * | fix opaqueMark Shinwell2015-11-271-1/+1
* | | per-round optimization paramsMark Shinwell2015-11-271-2/+2
|/ /
* | Merge remote-tracking branch 'ocaml/trunk' into flambda_trunkMark Shinwell2015-11-261-4/+4
|\ \ | |/
| * PR#7024: in documentation of Str regular expressions, clarify what "end of li...Xavier Leroy2015-11-261-4/+4
* | implement Pervasives.opaqueMark Shinwell2015-11-231-0/+4
* | merge with trunkMark Shinwell2015-11-1956-75/+196
|\ \ | |/
| * PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ...Xavier Leroy2015-11-161-1/+1
| * PR#4023 and GPR#68: add Unix.sleepf and improve Unix.sleepXavier Leroy2015-11-161-0/+1
| * PR#4023 and GPR#68: add Unix.sleepf and improve Unix.sleepXavier Leroy2015-11-155-7/+57
| * PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ...Xavier Leroy2015-11-156-2/+20
| * PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ...Xavier Leroy2015-11-137-10/+25
| * PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ...Xavier Leroy2015-11-1110-9/+22
| * PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ...Xavier Leroy2015-11-1127-1/+54
| * PR#7039: Unix.getsockname returns garbage for unnamed PF_UNIX sockets.Xavier Leroy2015-11-111-1/+8
| * simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/c...Damien Doligez2015-11-065-36/+0
| * Make `Pervasives.ldexp` unboxed and noallocFrançois Bobot2015-11-051-1/+2
| * Merge branch 'trunk' of github.com:ocaml/ocaml into unbox_classify_floatalainfrisch2015-11-036-8/+6
| |\
| | * otherlibs/*unix: proper declaration of cstringvect()Xavier Leroy2015-11-035-5/+3
| | * otherlibs/unix: don't use 'h_errno' as a local variableXavier Leroy2015-11-031-3/+3
| * | Also adapt threads/pervasives.ml.alainfrisch2015-10-281-1/+2
| |/
* | Revert "Add gc stats hook at end (even with exit)"Louis Gesbert2015-11-071-5/+1
* | Merge remote-tracking branch 'origin/trunk' into flambda_trunkPierre Chambart2015-10-149-79/+89
|\ \ | |/
| * PR#7013: spurious wake-up in the Event module.Xavier Leroy2015-10-111-1/+3
| * Delete historical french comments in num libraryGabriel Scherer2015-10-094-19/+1
| * Translation of french comments in num libraryGabriel Scherer2015-10-093-31/+41
| * Replace uses of "float" by [@@unboxed] [@@noalloc]Jérémie Dimino2015-10-061-22/+38
| * Replace uses of "noalloc" by [@@noalloc]Jérémie Dimino2015-10-063-6/+6
| * Support [@@noalloc] on external declarationsJérémie Dimino2015-10-061-1/+1
* | Add gc stats hook at end (even with exit)Louis Gesbert2015-10-131-1/+5
* | merge with upstream trunkMark Shinwell2015-09-149-116/+196
|\ \ | |/
| * whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-119-116/+196
* | merge with upstream trunkMark Shinwell2015-09-0742-174/+450
|\ \ | |/
| * Support for PowerPC 64 bits big- and little-endian. Revised PowerPC 32 bits ...Xavier Leroy2015-08-252-2/+2
| |\
| | * Update wrt trunk, revision 16361.Xavier Leroy2015-08-203-13/+14
| | |\
| | * \ Update wrt trunk r16339.Xavier Leroy2015-08-063-9/+18
| | |\ \
| | * \ \ Update wrt trunk r16319.Xavier Leroy2015-08-0320-758/+842
| | |\ \ \
| | * | | | PowerPC port of ocamlopt:Xavier Leroy2015-07-202-2/+2
| * | | | | Document backtrace infrastructure, make types more explicitGabriel Scherer2015-08-222-2/+2
| | |_|_|/ | |/| | |
| * | | | so the dynlink -jN race wasn't quite fixedGabriel Scherer2015-08-161-1/+1
| * | | | make alldependGabriel Scherer2015-08-152-12/+12
| * | | | dynlink/Makefile: make dynlink.cmi depend on dynlinkaux.cmi to avoid -jN racesGabriel Scherer2015-08-151-1/+2
| | |_|/ | |/| |
| * | | unix_gethostbyname: using a variable outside of its scope.Xavier Leroy2015-08-041-6/+6
| * | | more CAMLnoreturn_end goodnessGabriel Scherer2015-08-042-3/+12
| | |/ | |/|
| * | make alldependGabriel Scherer2015-08-027-728/+681
| * | GPR#221: keep Noreturn and add CAMLnoreturn_{start,end}Gabriel Scherer2015-08-022-3/+3
| * | Of--by-one-bit error in two_power_m1_big_int, causing out-of-bound write if n...Xavier Leroy2015-07-281-3/+4
| * | float_of_big_int: for negative arguments, the top 55 bits must round towards ...Xavier Leroy2015-07-281-1/+1
View Lorry Controller Status