Merge branch 'feature/andre/libc-stdatomic' into 'stable/chromium'
Feature/andre/libc stdatomic See merge request frama-c/frama-c!2203
Showing
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- share/libc/__fc_libc.h 1 addition, 0 deletionsshare/libc/__fc_libc.h
- share/libc/__fc_runtime.c 1 addition, 0 deletionsshare/libc/__fc_runtime.c
- share/libc/stdatomic.c 280 additions, 0 deletionsshare/libc/stdatomic.c
- share/libc/stdatomic.h 253 additions, 0 deletionsshare/libc/stdatomic.h
- src/kernel_internals/typing/cabs2cil.ml 4 additions, 4 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/libc/fc_libc.c 1 addition, 0 deletionstests/libc/fc_libc.c
- tests/libc/oracle/fc_libc.0.res.oracle 40 additions, 21 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 2579 additions, 2049 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/fc_libc.2.res.oracle 1 addition, 0 deletionstests/libc/oracle/fc_libc.2.res.oracle
- tests/libc/oracle/stdatomic_c.res.oracle 357 additions, 0 deletionstests/libc/oracle/stdatomic_c.res.oracle
- tests/libc/stdatomic_c.c 47 additions, 0 deletionstests/libc/stdatomic_c.c
- tests/syntax/oracle/type_compat_call.res.oracle 4 additions, 0 deletionstests/syntax/oracle/type_compat_call.res.oracle
- tests/syntax/type_compat_call.c 3 additions, 1 deletiontests/syntax/type_compat_call.c
Loading
Please register or sign in to comment