summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1269 from sliquister/dont-stop-ticker-threadGabriel Scherer2017-08-252-12/+13
|\
| * Remove 50ms delay at exit for programs using threadsValentin Gatien-Baron2017-08-242-12/+13
* | Remove otherlibs/numremove-libnumXavier Leroy2017-08-1928-5637/+0
|/
* String_val: return 'const char *' when -safe-string is globally enabled (#1274)yallop2017-08-0311-31/+30
* Synchronized Pervasives implementation between stdlib and threadsMarkus Mottl2017-07-211-8/+8
* Unix.symlink: support forward slashes in symlink targets under Windows (#1211)Nicolás Ojeda Bär2017-07-191-3/+15
* fix up the merge of 4.05 into trunkDamien Doligez2017-07-182-71/+53
* merge 4.05 into trunkDamien Doligez2017-07-184-55/+90
|\
| * last commit before tagging 4.05.0+rc1Damien Doligez2017-06-281-0/+3
| * Some tweaks for MPR#7557 (#1213)Damien Doligez2017-06-282-6/+8
| * cherry-pick the fix for MPR#7557 from 4.04Damien Doligez2017-06-234-2/+33
| * Fix missing header on MSVCDavid Allsopp2017-04-091-0/+1
| * Fix missing types in win32graph/draw.cDavid Allsopp2017-04-091-2/+4
| * Fixed grammar in user-facing comments and READMEMax Mouratov2017-04-066-7/+7
| * PR#7505: Memory cannot be released after calling Bigarray.Genarray.change_lay...Damien Doligez2017-03-311-3/+4
| * MPR#7385: fix Unix.stat timestamps during DSTDavid Allsopp2017-03-281-19/+13
| * Fix Unix.create_process in the case where the same descriptor is used several...Xavier Leroy2017-03-261-20/+18
| * Fix Unix.create_process in the case where the same descriptor is used several...Xavier Leroy2017-03-261-24/+26
| * Fix Unix.create_process in the case where the same descriptor is used several...Xavier Leroy2017-03-261-3/+14
| * last commit before tagging 4.05.0+beta3Damien Doligez2017-03-202-2/+4
| * Revert "Deprecate Bigarray.*.map_file and add Unix.map_file (#997)"Gabriel Scherer2017-03-128-167/+134
| * address comments, use bytes_safe_set in bytes moduleHongbo Zhang2017-02-251-1/+1
| * change primitive names back to %string_safe_setHongbo Zhang2017-02-251-1/+1
| * Document how to perform the inverse of (gm|local)timeChristophe Troestler2017-02-221-2/+5
| * Documentation: improve @since annotationsTörök Edwin2017-02-215-17/+38
| * last commit before tagging 4.05.0+beta2Damien Doligez2017-02-201-0/+3
| * Merge pull request #1042 from fdopen/create_process_quotingXavier Leroy2017-02-191-1/+4
| * PR#7174: document issue with coordinates not representable in 16 bitsXavier Leroy2017-02-171-1/+4
| * PR#7194: update documentation of Graphics.wait_next_eventXavier Leroy2017-02-171-1/+1
| * last commit before tagging 4.05.0+beta1Damien Doligez2017-02-168-562/+599
| * PR#7158: Event.sync, Mutex.create, Condition.create cause too many GCsXavier Leroy2017-02-161-6/+3
| * PR#7264: document the different behaviors of Unix.lockf under POSIX and under...Xavier Leroy2017-02-161-1/+8
* | Introduce UnixLabels.map_filemap_file_omissionXavier Leroy2017-07-151-0/+53
* | Restrict Unix.environment in privileged contexts; add Unix.unsafe_environment...yallop2017-06-307-6/+85
* | Some tweaks for MPR#7557 (#1213)Damien Doligez2017-06-282-6/+8
* | Add Unix.unsafe_getenv. (See MPR#7557)Damien Doligez2017-06-235-8/+7
* | cherry-pick the fix for MPR#7557 from 4.04Damien Doligez2017-06-234-2/+33
* | Call counts in Spacetime (#1180)Mark Shinwell2017-06-162-27/+96
* | Merge pull request #1175 from Octachron/bigarray_change_layout_preserves_orderGabriel Scherer2017-06-052-0/+55
|\ \
| * | GPR#1175: export Array[N].change_layout as valoctachron2017-06-061-8/+4
| * | Bigarray: add Array[N].change_layout functionsoctachron2017-05-152-0/+59
* | | Use a simpler conversion of times in Unix.statDavid Allsopp2017-05-161-68/+13
* | | Use _mkgmtime64 in Unix.stat (where available)David Allsopp2017-05-161-2/+21
* | | Ensure timestamps in Windows Unix.stat are UTCDavid Allsopp2017-05-161-1/+31
* | | MPR#7385: fix Unix.stat timestamps during DSTDavid Allsopp2017-05-161-4/+4
|/ /
* | Move configuration header files from the config to the byterun/caml directorySébastien Hinderer2017-04-268-810/+716
* | Fix C preprocessor directiveSébastien Hinderer2017-04-261-1/+1
* | Fix make alldependSébastien Hinderer2017-04-261-1/+2
* | Fix install rule in otherlibs/threads/MakefileSébastien Hinderer2017-04-251-5/+5
* | Fix a race condition with WAIT_NOHANG on windowsJeremie Dimino2017-04-251-4/+15
View Lorry Controller Status