├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── _Unwind_Resume.c ├── __fprintf_chk.c ├── __fxstat.c ├── __gcc_personality_v0.c ├── __getdelim.c ├── __lxstat.c ├── __stack_chk_fail.c ├── __xstat.c ├── abort.c ├── access.c ├── addmntent.c ├── atof.c ├── atoi.c ├── bsearch.c ├── bzero.c ├── chmod.c ├── clock_gettime.c ├── close.c ├── creat.c ├── ctime_r.c ├── dup.c ├── dup2.c ├── endmntent.c ├── environ.c ├── epoll_create.c ├── epoll_ctl.c ├── epoll_wait.c ├── errno.c ├── eventfd.c ├── eventfd_write.c ├── exit.c ├── fclose.c ├── fcntl.c ├── feof.c ├── fflush.c ├── fopen.c ├── fork.c ├── fprintf.c ├── fputc.c ├── fputs.c ├── fread.c ├── fseek.c ├── fstat.c ├── ftell.c ├── ftruncate.c ├── fwrite.c ├── getc.c ├── getegid.c ├── getenv.c ├── geteuid.c ├── getgid.c ├── getline.c ├── getmntent.c ├── getmntent_r.c ├── getpagesize.c ├── getpid.c ├── getrusage.c ├── gettimeofday.c ├── getuid.c ├── gmtime_r.c ├── h_errno.c ├── hasmntopt.c ├── iconv.c ├── iconv_close.c ├── iconv_open.c ├── include ├── alloca.h ├── arpa │ └── inet.h ├── assert.h ├── byteswap.h ├── ctype.h ├── dirent.h ├── dlfcn.h ├── emmintrin.h ├── endian.h ├── errno.h ├── fcntl.h ├── float.h ├── iconv.h ├── inttypes.h ├── langinfo.h ├── limits.h ├── linux │ ├── random.h │ └── types.h ├── locale.h ├── math.h ├── mntent.h ├── netdb.h ├── netinet │ └── in.h ├── poll.h ├── runtime_reqs.h ├── sched.h ├── signal.h ├── stdarg.h ├── stdbool.h ├── stddef.h ├── stdint.h ├── stdio.h ├── stdlib.h ├── string.h ├── strings.h ├── sys │ ├── epoll.h │ ├── eventfd.h │ ├── mman.h │ ├── param.h │ ├── resource.h │ ├── select.h │ ├── socket.h │ ├── stat.h │ ├── syscall.h │ ├── time.h │ ├── timeb.h │ ├── times.h │ ├── types.h │ ├── utsname.h │ ├── vfs.h │ └── wait.h ├── termios.h ├── time.h ├── tmmintrin.h ├── unistd.h ├── utime.h ├── wctype.h ├── wmmintrin.h └── xmmintrin.h ├── isatty.c ├── isdigit.c ├── isspace.c ├── kill.c ├── link.c ├── localtime_r.c ├── lseek.c ├── lstat.c ├── malloc.c ├── memchr.c ├── memcmp.c ├── memcpy.c ├── memmove.c ├── memset.c ├── mkdir.c ├── mkfifo.c ├── mkstemp.c ├── mmap.c ├── mprotect.c ├── mremap.c ├── munmap.c ├── nl_langinfo.c ├── open.c ├── pabort.c ├── perror.c ├── pipe.c ├── poll.c ├── printf.c ├── putchar.c ├── putenv.c ├── puts.c ├── raise.c ├── rand.c ├── read.c ├── select.c ├── setmntent.c ├── sigaction.c ├── sigaddset.c ├── sigemptyset.c ├── sigprocmask.c ├── snprintf.c ├── sprintf.c ├── stat.c ├── statfs.c ├── stdio_values.c ├── strcasecmp.c ├── strchr.c ├── strcmp.c ├── strcpy.c ├── strdup.c ├── strerror.c ├── strlen.c ├── strncmp.c ├── strncpy.c ├── strnlen.c ├── strrchr.c ├── strstr.c ├── strtol.c ├── sysconf.c ├── tcgetattr.c ├── tcsetattr.c ├── termios.c ├── time.c ├── tolower.c ├── toupper.c ├── tzset.c ├── umask.c ├── unlink.c ├── unsetenv.c ├── utime.c ├── vfprintf.c ├── vprintf.c ├── vsnprintf.c ├── waitpid.c └── write.c /.gitignore: -------------------------------------------------------------------------------- 1 | libminlibc.a 2 | *.o 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/README.md -------------------------------------------------------------------------------- /_Unwind_Resume.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/_Unwind_Resume.c -------------------------------------------------------------------------------- /__fprintf_chk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/__fprintf_chk.c -------------------------------------------------------------------------------- /__fxstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/__fxstat.c -------------------------------------------------------------------------------- /__gcc_personality_v0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/__gcc_personality_v0.c -------------------------------------------------------------------------------- /__getdelim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/__getdelim.c -------------------------------------------------------------------------------- /__lxstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/__lxstat.c -------------------------------------------------------------------------------- /__stack_chk_fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/__stack_chk_fail.c -------------------------------------------------------------------------------- /__xstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/__xstat.c -------------------------------------------------------------------------------- /abort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/abort.c -------------------------------------------------------------------------------- /access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/access.c -------------------------------------------------------------------------------- /addmntent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/addmntent.c -------------------------------------------------------------------------------- /atof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/atof.c -------------------------------------------------------------------------------- /atoi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/atoi.c -------------------------------------------------------------------------------- /bsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/bsearch.c -------------------------------------------------------------------------------- /bzero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/bzero.c -------------------------------------------------------------------------------- /chmod.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/chmod.c -------------------------------------------------------------------------------- /clock_gettime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/clock_gettime.c -------------------------------------------------------------------------------- /close.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/close.c -------------------------------------------------------------------------------- /creat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/creat.c -------------------------------------------------------------------------------- /ctime_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/ctime_r.c -------------------------------------------------------------------------------- /dup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/dup.c -------------------------------------------------------------------------------- /dup2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/dup2.c -------------------------------------------------------------------------------- /endmntent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/endmntent.c -------------------------------------------------------------------------------- /environ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/environ.c -------------------------------------------------------------------------------- /epoll_create.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/epoll_create.c -------------------------------------------------------------------------------- /epoll_ctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/epoll_ctl.c -------------------------------------------------------------------------------- /epoll_wait.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/epoll_wait.c -------------------------------------------------------------------------------- /errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/errno.c -------------------------------------------------------------------------------- /eventfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/eventfd.c -------------------------------------------------------------------------------- /eventfd_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/eventfd_write.c -------------------------------------------------------------------------------- /exit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/exit.c -------------------------------------------------------------------------------- /fclose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fclose.c -------------------------------------------------------------------------------- /fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fcntl.c -------------------------------------------------------------------------------- /feof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/feof.c -------------------------------------------------------------------------------- /fflush.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fflush.c -------------------------------------------------------------------------------- /fopen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fopen.c -------------------------------------------------------------------------------- /fork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fork.c -------------------------------------------------------------------------------- /fprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fprintf.c -------------------------------------------------------------------------------- /fputc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fputc.c -------------------------------------------------------------------------------- /fputs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fputs.c -------------------------------------------------------------------------------- /fread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fread.c -------------------------------------------------------------------------------- /fseek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fseek.c -------------------------------------------------------------------------------- /fstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fstat.c -------------------------------------------------------------------------------- /ftell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/ftell.c -------------------------------------------------------------------------------- /ftruncate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/ftruncate.c -------------------------------------------------------------------------------- /fwrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/fwrite.c -------------------------------------------------------------------------------- /getc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getc.c -------------------------------------------------------------------------------- /getegid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getegid.c -------------------------------------------------------------------------------- /getenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getenv.c -------------------------------------------------------------------------------- /geteuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/geteuid.c -------------------------------------------------------------------------------- /getgid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getgid.c -------------------------------------------------------------------------------- /getline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getline.c -------------------------------------------------------------------------------- /getmntent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getmntent.c -------------------------------------------------------------------------------- /getmntent_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getmntent_r.c -------------------------------------------------------------------------------- /getpagesize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getpagesize.c -------------------------------------------------------------------------------- /getpid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getpid.c -------------------------------------------------------------------------------- /getrusage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getrusage.c -------------------------------------------------------------------------------- /gettimeofday.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/gettimeofday.c -------------------------------------------------------------------------------- /getuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/getuid.c -------------------------------------------------------------------------------- /gmtime_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/gmtime_r.c -------------------------------------------------------------------------------- /h_errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/h_errno.c -------------------------------------------------------------------------------- /hasmntopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/hasmntopt.c -------------------------------------------------------------------------------- /iconv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/iconv.c -------------------------------------------------------------------------------- /iconv_close.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/iconv_close.c -------------------------------------------------------------------------------- /iconv_open.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/iconv_open.c -------------------------------------------------------------------------------- /include/alloca.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/alloca.h -------------------------------------------------------------------------------- /include/arpa/inet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/arpa/inet.h -------------------------------------------------------------------------------- /include/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/assert.h -------------------------------------------------------------------------------- /include/byteswap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/byteswap.h -------------------------------------------------------------------------------- /include/ctype.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/ctype.h -------------------------------------------------------------------------------- /include/dirent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/dirent.h -------------------------------------------------------------------------------- /include/dlfcn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/dlfcn.h -------------------------------------------------------------------------------- /include/emmintrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/emmintrin.h -------------------------------------------------------------------------------- /include/endian.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/endian.h -------------------------------------------------------------------------------- /include/errno.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/errno.h -------------------------------------------------------------------------------- /include/fcntl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/fcntl.h -------------------------------------------------------------------------------- /include/float.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/float.h -------------------------------------------------------------------------------- /include/iconv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/iconv.h -------------------------------------------------------------------------------- /include/inttypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/inttypes.h -------------------------------------------------------------------------------- /include/langinfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/langinfo.h -------------------------------------------------------------------------------- /include/limits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/limits.h -------------------------------------------------------------------------------- /include/linux/random.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /include/linux/types.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /include/locale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/locale.h -------------------------------------------------------------------------------- /include/math.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/math.h -------------------------------------------------------------------------------- /include/mntent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/mntent.h -------------------------------------------------------------------------------- /include/netdb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/netdb.h -------------------------------------------------------------------------------- /include/netinet/in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/netinet/in.h -------------------------------------------------------------------------------- /include/poll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/poll.h -------------------------------------------------------------------------------- /include/runtime_reqs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/runtime_reqs.h -------------------------------------------------------------------------------- /include/sched.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sched.h -------------------------------------------------------------------------------- /include/signal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/signal.h -------------------------------------------------------------------------------- /include/stdarg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/stdarg.h -------------------------------------------------------------------------------- /include/stdbool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/stdbool.h -------------------------------------------------------------------------------- /include/stddef.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/stddef.h -------------------------------------------------------------------------------- /include/stdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/stdint.h -------------------------------------------------------------------------------- /include/stdio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/stdio.h -------------------------------------------------------------------------------- /include/stdlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/stdlib.h -------------------------------------------------------------------------------- /include/string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/string.h -------------------------------------------------------------------------------- /include/strings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/strings.h -------------------------------------------------------------------------------- /include/sys/epoll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/epoll.h -------------------------------------------------------------------------------- /include/sys/eventfd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/eventfd.h -------------------------------------------------------------------------------- /include/sys/mman.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/mman.h -------------------------------------------------------------------------------- /include/sys/param.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/param.h -------------------------------------------------------------------------------- /include/sys/resource.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/resource.h -------------------------------------------------------------------------------- /include/sys/select.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/select.h -------------------------------------------------------------------------------- /include/sys/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/socket.h -------------------------------------------------------------------------------- /include/sys/stat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/stat.h -------------------------------------------------------------------------------- /include/sys/syscall.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /include/sys/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/time.h -------------------------------------------------------------------------------- /include/sys/timeb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/timeb.h -------------------------------------------------------------------------------- /include/sys/times.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/times.h -------------------------------------------------------------------------------- /include/sys/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/types.h -------------------------------------------------------------------------------- /include/sys/utsname.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/utsname.h -------------------------------------------------------------------------------- /include/sys/vfs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/vfs.h -------------------------------------------------------------------------------- /include/sys/wait.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/sys/wait.h -------------------------------------------------------------------------------- /include/termios.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/termios.h -------------------------------------------------------------------------------- /include/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/time.h -------------------------------------------------------------------------------- /include/tmmintrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/tmmintrin.h -------------------------------------------------------------------------------- /include/unistd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/unistd.h -------------------------------------------------------------------------------- /include/utime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/utime.h -------------------------------------------------------------------------------- /include/wctype.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/wctype.h -------------------------------------------------------------------------------- /include/wmmintrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/wmmintrin.h -------------------------------------------------------------------------------- /include/xmmintrin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/include/xmmintrin.h -------------------------------------------------------------------------------- /isatty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/isatty.c -------------------------------------------------------------------------------- /isdigit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/isdigit.c -------------------------------------------------------------------------------- /isspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/isspace.c -------------------------------------------------------------------------------- /kill.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/kill.c -------------------------------------------------------------------------------- /link.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/link.c -------------------------------------------------------------------------------- /localtime_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/localtime_r.c -------------------------------------------------------------------------------- /lseek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/lseek.c -------------------------------------------------------------------------------- /lstat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/lstat.c -------------------------------------------------------------------------------- /malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/malloc.c -------------------------------------------------------------------------------- /memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/memchr.c -------------------------------------------------------------------------------- /memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/memcmp.c -------------------------------------------------------------------------------- /memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/memcpy.c -------------------------------------------------------------------------------- /memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/memmove.c -------------------------------------------------------------------------------- /memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/memset.c -------------------------------------------------------------------------------- /mkdir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/mkdir.c -------------------------------------------------------------------------------- /mkfifo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/mkfifo.c -------------------------------------------------------------------------------- /mkstemp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/mkstemp.c -------------------------------------------------------------------------------- /mmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/mmap.c -------------------------------------------------------------------------------- /mprotect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/mprotect.c -------------------------------------------------------------------------------- /mremap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/mremap.c -------------------------------------------------------------------------------- /munmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/munmap.c -------------------------------------------------------------------------------- /nl_langinfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/nl_langinfo.c -------------------------------------------------------------------------------- /open.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/open.c -------------------------------------------------------------------------------- /pabort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/pabort.c -------------------------------------------------------------------------------- /perror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/perror.c -------------------------------------------------------------------------------- /pipe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/pipe.c -------------------------------------------------------------------------------- /poll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/poll.c -------------------------------------------------------------------------------- /printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/printf.c -------------------------------------------------------------------------------- /putchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/putchar.c -------------------------------------------------------------------------------- /putenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/putenv.c -------------------------------------------------------------------------------- /puts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/puts.c -------------------------------------------------------------------------------- /raise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/raise.c -------------------------------------------------------------------------------- /rand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/rand.c -------------------------------------------------------------------------------- /read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/read.c -------------------------------------------------------------------------------- /select.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/select.c -------------------------------------------------------------------------------- /setmntent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/setmntent.c -------------------------------------------------------------------------------- /sigaction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/sigaction.c -------------------------------------------------------------------------------- /sigaddset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/sigaddset.c -------------------------------------------------------------------------------- /sigemptyset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/sigemptyset.c -------------------------------------------------------------------------------- /sigprocmask.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/sigprocmask.c -------------------------------------------------------------------------------- /snprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/snprintf.c -------------------------------------------------------------------------------- /sprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/sprintf.c -------------------------------------------------------------------------------- /stat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/stat.c -------------------------------------------------------------------------------- /statfs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/statfs.c -------------------------------------------------------------------------------- /stdio_values.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/stdio_values.c -------------------------------------------------------------------------------- /strcasecmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strcasecmp.c -------------------------------------------------------------------------------- /strchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strchr.c -------------------------------------------------------------------------------- /strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strcmp.c -------------------------------------------------------------------------------- /strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strcpy.c -------------------------------------------------------------------------------- /strdup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strdup.c -------------------------------------------------------------------------------- /strerror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strerror.c -------------------------------------------------------------------------------- /strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strlen.c -------------------------------------------------------------------------------- /strncmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strncmp.c -------------------------------------------------------------------------------- /strncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strncpy.c -------------------------------------------------------------------------------- /strnlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strnlen.c -------------------------------------------------------------------------------- /strrchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strrchr.c -------------------------------------------------------------------------------- /strstr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strstr.c -------------------------------------------------------------------------------- /strtol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/strtol.c -------------------------------------------------------------------------------- /sysconf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/sysconf.c -------------------------------------------------------------------------------- /tcgetattr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/tcgetattr.c -------------------------------------------------------------------------------- /tcsetattr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/tcsetattr.c -------------------------------------------------------------------------------- /termios.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/termios.c -------------------------------------------------------------------------------- /time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/time.c -------------------------------------------------------------------------------- /tolower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/tolower.c -------------------------------------------------------------------------------- /toupper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/toupper.c -------------------------------------------------------------------------------- /tzset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/tzset.c -------------------------------------------------------------------------------- /umask.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/umask.c -------------------------------------------------------------------------------- /unlink.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/unlink.c -------------------------------------------------------------------------------- /unsetenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/unsetenv.c -------------------------------------------------------------------------------- /utime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/utime.c -------------------------------------------------------------------------------- /vfprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/vfprintf.c -------------------------------------------------------------------------------- /vprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/vprintf.c -------------------------------------------------------------------------------- /vsnprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/vsnprintf.c -------------------------------------------------------------------------------- /waitpid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/waitpid.c -------------------------------------------------------------------------------- /write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/minlibc/HEAD/write.c --------------------------------------------------------------------------------