Merge branch 'feature/andre/libc-clean-and-libgen' into 'master'
Feature/andre/libc clean and libgen See merge request frama-c/frama-c!2093
No related branches found
No related tags found
Showing
- Makefile 1 addition, 3 deletionsMakefile
- headers/header_spec.txt 1 addition, 13 deletionsheaders/header_spec.txt
- share/libc/libgen.h 25 additions, 2 deletionsshare/libc/libgen.h
- share/libc/libintl.h 0 additions, 26 deletionsshare/libc/libintl.h
- share/libc/linux/fs.h 0 additions, 28 deletionsshare/libc/linux/fs.h
- share/libc/linux/if_addr.h 0 additions, 26 deletionsshare/libc/linux/if_addr.h
- share/libc/linux/if_netlink.h 0 additions, 27 deletionsshare/libc/linux/if_netlink.h
- share/libc/linux/netlink.h 0 additions, 28 deletionsshare/libc/linux/netlink.h
- share/libc/linux/rtnetlink.h 0 additions, 28 deletionsshare/libc/linux/rtnetlink.h
- share/libc/netinet/in_systm.h 0 additions, 26 deletionsshare/libc/netinet/in_systm.h
- share/libc/netinet/ip.h 0 additions, 26 deletionsshare/libc/netinet/ip.h
- share/libc/netinet/ip_icmp.h 0 additions, 27 deletionsshare/libc/netinet/ip_icmp.h
- share/libc/sys/param.h 0 additions, 28 deletionsshare/libc/sys/param.h
- share/libc/sys/sysctl.h 0 additions, 22 deletionsshare/libc/sys/sysctl.h
- share/libc/uchar.h 0 additions, 27 deletionsshare/libc/uchar.h
- tests/libc/fc_libc.c 0 additions, 12 deletionstests/libc/fc_libc.c
- tests/libc/libgen_h.c 20 additions, 0 deletionstests/libc/libgen_h.c
- tests/libc/oracle/fc_libc.0.res.oracle 42 additions, 40 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 30 additions, 0 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/fc_libc.2.res.oracle 0 additions, 12 deletionstests/libc/oracle/fc_libc.2.res.oracle
Loading
Please register or sign in to comment