-
- Downloads
Merge branch 'feature/andre/libc-improvements' into 'stable/copper'
Feature/andre/libc improvements See merge request frama-c/frama-c!4513
No related branches found
No related tags found
Showing
- doc/userman/user-changes.tex 0 additions, 2 deletionsdoc/userman/user-changes.tex
- doc/userman/user-sources.tex 0 additions, 30 deletionsdoc/userman/user-sources.tex
- share/libc/__fc_builtin.c 124 additions, 1 deletionshare/libc/__fc_builtin.c
- share/libc/__fc_builtin.h 71 additions, 8 deletionsshare/libc/__fc_builtin.h
- share/libc/__fc_define_pthread_types.h 0 additions, 7 deletionsshare/libc/__fc_define_pthread_types.h
- share/libc/__fc_string_axiomatic.h 3 additions, 4 deletionsshare/libc/__fc_string_axiomatic.h
- share/libc/argz.c 6 additions, 0 deletionsshare/libc/argz.c
- share/libc/argz.h 46 additions, 1 deletionshare/libc/argz.h
- share/libc/fenv.h 67 additions, 29 deletionsshare/libc/fenv.h
- share/libc/glob.c 1 addition, 0 deletionsshare/libc/glob.c
- share/libc/glob.h 15 additions, 0 deletionsshare/libc/glob.h
- share/libc/netdb.c 4 additions, 0 deletionsshare/libc/netdb.c
- share/libc/netdb.h 12 additions, 4 deletionsshare/libc/netdb.h
- share/libc/pthread.h 2 additions, 2 deletionsshare/libc/pthread.h
- share/libc/pwd.c 5 additions, 0 deletionsshare/libc/pwd.c
- share/libc/setjmp.h 25 additions, 9 deletionsshare/libc/setjmp.h
- share/libc/stdatomic.c 6 additions, 3 deletionsshare/libc/stdatomic.c
- share/libc/stdatomic.h 146 additions, 7 deletionsshare/libc/stdatomic.h
- share/libc/stdio.c 281 additions, 5 deletionsshare/libc/stdio.c
- share/libc/stdio.h 20 additions, 5 deletionsshare/libc/stdio.h
Loading
Please register or sign in to comment