summaryrefslogtreecommitdiff
path: root/otherlibs/unix
Commit message (Expand)AuthorAgeFilesLines
* Constify C constructors and flags tables (#12223)Antonin Décimo2023-05-0819-25/+26
* Merge pull request #12192 from gadmm/simpl_atomicGabriel Scherer2023-04-263-6/+11
|\
| * Make use of polymorphic atomic_ helpersGuillaume Munch-Maccagnoni2023-04-183-6/+11
* | fix broken links in documentation commentsDamien Doligez2023-04-172-2/+2
|/
* Sync stdlib docsNicolás Ojeda Bär2023-03-151-19/+23
* Unix module: clarify the documentation for open_process_args*. (#12105)Reuben Thomas2023-03-151-19/+23
* use Double_flat_field in the runtime (#12036)Nicolás Ojeda Bär2023-03-053-16/+20
* Documentation-only: Add Windows specifics for `process_status` type (#12067)shym2023-03-032-2/+18
* dune: enable building @libs targetPau Ruiz Safont2023-02-241-7/+0
* Win32 Unix: map ERROR_TOO_MANY_LINKS to EMLINK (#11991)Nicolás Ojeda Bär2023-02-041-0/+1
* Improve documentation of exec* functions (#11754) (#11892)Boris Yakobowski2023-01-202-0/+14
* Compile otherlibs/ C stubs in two version for native and bytecodeOlivier Nicole2022-12-221-3/+1
* Unix.write on Windows: return normally after data has been written to non-blo...Nicolás Ojeda Bär2022-12-011-0/+1
* Don't use K&R C function definitionsAntonin Décimo2022-11-288-20/+10
* Declare functions with no arguments as f(void), not f()Antonin Décimo2022-11-282-2/+2
* Missing CAMLparam in win32's Unix.stat (#11737)Marc Lasson2022-11-211-4/+8
* Fixing typos (#11705)Fourchaux2022-11-071-1/+1
* Remove .0 from all @since, @before and @afterDavid Allsopp2022-10-312-42/+42
* Use aligned 64-bit arithmetic for FILETIMEDavid Allsopp2022-10-143-35/+23
* Use SetFilePointerEx in lseek_win32.cDavid Allsopp2022-10-141-24/+28
* Simplify lockf_win32.c with SetFilePointerExDavid Allsopp2022-10-141-21/+5
* Use GetFileSizeEx in mmap_win32.cDavid Allsopp2022-10-141-30/+20
* Refactor logic for timestamps in Windows Unix.statDavid Allsopp2022-10-141-17/+16
* Remove dead code from mmap_win32.cDavid Allsopp2022-10-141-26/+0
* There is only one WindowsDavid Allsopp2022-10-141-10/+0
* Factorise the NT Epoch in Windows Unix functionsDavid Allsopp2022-10-144-12/+9
* Remove dead error handling in Unix.statDavid Allsopp2022-10-141-9/+4
* Remove invalid pointer cast in Unix.gettimeofdayDavid Allsopp2022-10-141-1/+4
* C11 usage of [U]LARGE_INTEGERDavid Allsopp2022-10-141-4/+1
* Sync unixLabels.mliNicolás Ojeda Bär2022-10-111-1/+1
* documentation: changed 'forks' to 'creates' (#11614)Nangah Amandine2022-10-111-1/+1
* Make Unix.symlink domain-safe on Windows (#11479)Olivier Nicole2022-09-291-21/+12
* documentation: improve the sync_stdlib_docs toolFardale2022-09-221-3/+3
* fix unix' dune build (#11521)Thomas Refis2022-08-301-0/+7
* Merge pull request #11481 from favonia/umask-docSébastien Hinderer2022-08-082-2/+2
|\
| * Fix the type of Unix.umask to `Unix.file_perm -> Unix.file_perm`favonia2022-08-082-2/+2
* | Merge pull request #11475 from OlivierNicole/fixtermiosSébastien Hinderer2022-08-081-32/+36
|\ \ | |/ |/|
| * Unix termios interface: use POSIX type tcflag_tXavier Leroy2022-08-051-8/+8
| * Make Unix terminal interface bindings domain-safeOlivier Nicole2022-08-051-28/+32
* | Merge pull request #11467 from OlivierNicole/fix_duneGabriel Scherer2022-08-011-4/+174
|\ \ | |/ |/|
| * Make otherlibs/unix dune file more suitable for WindowsOlivier Nicole2022-08-011-13/+181
| * Fix dune file of Unix lib (Linux only)Olivier Nicole2022-08-011-11/+13
* | Fix gethostbyaddr for IPv6 arguments, continued (#11466)Xavier Leroy2022-08-011-13/+12
* | Fix gethostbyaddr for IPv6 arguments and make it domain-safe (#11461)Olivier Nicole2022-08-011-16/+34
|/
* Revert incorrect marking of socketpair as unimplemented on Windows (#11452)Olivier Nicole2022-07-222-6/+2
* Unix-win32: small clean up for opendir and rewinddir (#11432)hhugo2022-07-201-2/+4
* Standardise order of lines in META.inDavid Allsopp2022-07-181-1/+1
* Remove redundant directory entriesDavid Allsopp2022-07-181-1/+0
* Let configure generate the META files, with a proper version numberSébastien Hinderer2022-07-181-1/+3
* smaller diff between unix and win32 (#11433)hhugo2022-07-122-144/+194
View Lorry Controller Status