Merge branch 'feature/andre/libc-rand48' into 'master'
[Libc] add specs for rand48 and related functions See merge request frama-c/frama-c!2148
Showing
- headers/header_spec.txt 2 additions, 1 deletionheaders/header_spec.txt
- share/libc/__fc_builtin.c 31 additions, 1 deletionshare/libc/__fc_builtin.c
- share/libc/__fc_define_fd_set_t.h 1 addition, 1 deletionshare/libc/__fc_define_fd_set_t.h
- share/libc/__fc_define_pthread_types.h 13 additions, 13 deletionsshare/libc/__fc_define_pthread_types.h
- share/libc/__fc_inet.h 1 addition, 1 deletionshare/libc/__fc_inet.h
- share/libc/__fc_runtime.c 2 additions, 2 deletionsshare/libc/__fc_runtime.c
- share/libc/assert.c 2 additions, 0 deletionsshare/libc/assert.c
- share/libc/fenv.c 3 additions, 2 deletionsshare/libc/fenv.c
- share/libc/fenv.h 4 additions, 4 deletionsshare/libc/fenv.h
- share/libc/glob.c 4 additions, 4 deletionsshare/libc/glob.c
- share/libc/glob.h 1 addition, 1 deletionshare/libc/glob.h
- share/libc/inttypes.c 1 addition, 1 deletionshare/libc/inttypes.c
- share/libc/inttypes.h 1 addition, 1 deletionshare/libc/inttypes.h
- share/libc/math.c 2 additions, 2 deletionsshare/libc/math.c
- share/libc/math.h 1 addition, 1 deletionshare/libc/math.h
- share/libc/signal.c 28 additions, 0 deletionsshare/libc/signal.c
- share/libc/signal.h 1 addition, 1 deletionshare/libc/signal.h
- share/libc/stdlib.c 3 additions, 4 deletionsshare/libc/stdlib.c
- share/libc/stdlib.h 78 additions, 15 deletionsshare/libc/stdlib.h
- share/libc/string.c 35 additions, 2 deletionsshare/libc/string.c
Loading
Please register or sign in to comment