swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d
Tip revision: c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d authored by Software Heritage on 03 September 2018, 13:40:43 UTC
hal: Deposit 174 in collection hal
hal: Deposit 174 in collection hal
Tip revision: c812045
| File | Mode | Size |
|---|---|---|
| Examples | ||
| Makefile | -rw-r--r-- | 4.9 KB |
| README | -rw-r--r-- | 1.2 KB |
| accept.c | -rw-r--r-- | 672 bytes |
| access.c | -rw-r--r-- | 675 bytes |
| addrofstr.c | -rw-r--r-- | 480 bytes |
| alarm.c | -rw-r--r-- | 154 bytes |
| bind.c | -rw-r--r-- | 410 bytes |
| chdir.c | -rw-r--r-- | 207 bytes |
| chmod.c | -rw-r--r-- | 228 bytes |
| chown.c | -rw-r--r-- | 245 bytes |
| chroot.c | -rw-r--r-- | 210 bytes |
| close.c | -rw-r--r-- | 179 bytes |
| closedir.c | -rw-r--r-- | 238 bytes |
| connect.c | -rw-r--r-- | 400 bytes |
| cst2constr.c | -rw-r--r-- | 266 bytes |
| cst2constr.h | -rw-r--r-- | 91 bytes |
| cstringv.c | -rw-r--r-- | 330 bytes |
| dup.c | -rw-r--r-- | 203 bytes |
| dup2.c | -rw-r--r-- | 614 bytes |
| envir.c | -rw-r--r-- | 133 bytes |
| errmsg.c | -rw-r--r-- | 382 bytes |
| execv.c | -rw-r--r-- | 437 bytes |
| execve.c | -rw-r--r-- | 527 bytes |
| execvp.c | -rw-r--r-- | 440 bytes |
| exit.c | -rw-r--r-- | 262 bytes |
| fchmod.c | -rw-r--r-- | 307 bytes |
| fchown.c | -rw-r--r-- | 328 bytes |
| fcntl.c | -rw-r--r-- | 513 bytes |
| fork.c | -rw-r--r-- | 200 bytes |
| ftruncate.c | -rw-r--r-- | 322 bytes |
| getcwd.c | -rw-r--r-- | 521 bytes |
| getegid.c | -rw-r--r-- | 116 bytes |
| getenv.c | -rw-r--r-- | 277 bytes |
| geteuid.c | -rw-r--r-- | 116 bytes |
| getgid.c | -rw-r--r-- | 115 bytes |
| getgr.c | -rw-r--r-- | 940 bytes |
| getgroups.c | -rw-r--r-- | 503 bytes |
| gethost.c | -rw-r--r-- | 1.7 KB |
| gethostname.c | -rw-r--r-- | 586 bytes |
| getlogin.c | -rw-r--r-- | 277 bytes |
| getpeername.c | -rw-r--r-- | 457 bytes |
| getpid.c | -rw-r--r-- | 115 bytes |
| getppid.c | -rw-r--r-- | 117 bytes |
| getproto.c | -rw-r--r-- | 1.1 KB |
| getpw.c | -rw-r--r-- | 1.1 KB |
| getserv.c | -rw-r--r-- | 1.3 KB |
| getsockname.c | -rw-r--r-- | 457 bytes |
| gettimeofday.c | -rw-r--r-- | 442 bytes |
| getuid.c | -rw-r--r-- | 115 bytes |
| gmtime.c | -rw-r--r-- | 816 bytes |
| ioctl.c | -rw-r--r-- | 513 bytes |
| iunix.mli | -rw-r--r-- | 242 bytes |
| kill.c | -rw-r--r-- | 1.7 KB |
| link.c | -rw-r--r-- | 210 bytes |
| listen.c | -rw-r--r-- | 307 bytes |
| lockf.c | -rw-r--r-- | 1.6 KB |
| lseek.c | -rw-r--r-- | 471 bytes |
| mkdir.c | -rw-r--r-- | 204 bytes |
| mkfifo.c | -rw-r--r-- | 579 bytes |
| nice.c | -rw-r--r-- | 618 bytes |
| open.c | -rw-r--r-- | 446 bytes |
| opendir.c | -rw-r--r-- | 313 bytes |
| pause.c | -rw-r--r-- | 117 bytes |
| pipe.c | -rw-r--r-- | 285 bytes |
| read.c | -rw-r--r-- | 319 bytes |
| readdir.c | -rw-r--r-- | 463 bytes |
| readlink.c | -rw-r--r-- | 452 bytes |
| rename.c | -rw-r--r-- | 217 bytes |
| rewinddir.c | -rw-r--r-- | 238 bytes |
| rmdir.c | -rw-r--r-- | 182 bytes |
| select.c | -rw-r--r-- | 2.2 KB |
| sendrecv.c | -rw-r--r-- | 2.3 KB |
| setgid.c | -rw-r--r-- | 183 bytes |
| setuid.c | -rw-r--r-- | 183 bytes |
| shutdown.c | -rw-r--r-- | 398 bytes |
| signal.c | -rw-r--r-- | 1004 bytes |
| sleep.c | -rw-r--r-- | 197 bytes |
| socket.c | -rw-r--r-- | 651 bytes |
| socketaddr.c | -rw-r--r-- | 1.9 KB |
| socketaddr.h | -rw-r--r-- | 378 bytes |
| socketpair.c | -rw-r--r-- | 631 bytes |
| stat.c | -rw-r--r-- | 1.7 KB |
| strofaddr.c | -rw-r--r-- | 409 bytes |
| symlink.c | -rw-r--r-- | 326 bytes |
| termios.c | -rw-r--r-- | 6.5 KB |
| time.c | -rw-r--r-- | 148 bytes |
| times.c | -rw-r--r-- | 699 bytes |
| truncate.c | -rw-r--r-- | 322 bytes |
| umask.c | -rw-r--r-- | 144 bytes |
| unix.c | -rw-r--r-- | 4.9 KB |
| unix.h | -rw-r--r-- | 298 bytes |
| unix.ml | -rw-r--r-- | 4.8 KB |
| unix.mli | -rw-r--r-- | 39.1 KB |
| unlink.c | -rw-r--r-- | 185 bytes |
| utimes.c | -rw-r--r-- | 1012 bytes |
| wait.c | -rw-r--r-- | 731 bytes |
| waitopt.c | -rw-r--r-- | 1.2 KB |
| waitpid.c | -rw-r--r-- | 1.0 KB |
| write.c | -rw-r--r-- | 322 bytes |
README
Loading README ...
