Merge branch 'feature/andre/libc-uio' into 'stable/chromium'
[Libc] add specs and defines for uio.h See merge request frama-c/frama-c!2338
No related branches found
No related tags found
Showing
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- share/libc/__fc_define_fd_set_t.h 0 additions, 34 deletionsshare/libc/__fc_define_fd_set_t.h
- share/libc/__fc_define_fds.h 40 additions, 0 deletionsshare/libc/__fc_define_fds.h
- share/libc/__fc_define_timeval.h 36 additions, 0 deletionsshare/libc/__fc_define_timeval.h
- share/libc/__fc_select.h 3 additions, 5 deletionsshare/libc/__fc_select.h
- share/libc/getopt.h 1 addition, 2 deletionsshare/libc/getopt.h
- share/libc/limits.h 5 additions, 0 deletionsshare/libc/limits.h
- share/libc/sys/select.h 34 additions, 0 deletionsshare/libc/sys/select.h
- share/libc/sys/time.h 4 additions, 9 deletionsshare/libc/sys/time.h
- share/libc/sys/uio.h 38 additions, 4 deletionsshare/libc/sys/uio.h
- share/libc/time.h 4 additions, 5 deletionsshare/libc/time.h
- share/libc/unistd.h 3 additions, 17 deletionsshare/libc/unistd.h
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c
- src/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
Loading
Please register or sign in to comment