Merge branch 'feature/andre/libc-assigns1' into 'master'
[libc] add several assigns clauses and minor improvements See merge request frama-c/frama-c!4765
Showing
- share/compliance/nonstandard_identifiers.json 8 additions, 0 deletionsshare/compliance/nonstandard_identifiers.json
- share/dune 1 addition, 0 deletionsshare/dune
- share/libc/__fc_utmp_constants.h 65 additions, 0 deletionsshare/libc/__fc_utmp_constants.h
- share/libc/dirent.h 53 additions, 17 deletionsshare/libc/dirent.h
- share/libc/ifaddrs.h 26 additions, 4 deletionsshare/libc/ifaddrs.h
- share/libc/locale.h 5 additions, 1 deletionshare/libc/locale.h
- share/libc/netdb.h 109 additions, 17 deletionsshare/libc/netdb.h
- share/libc/pthread.h 443 additions, 110 deletionsshare/libc/pthread.h
- share/libc/pwd.h 15 additions, 0 deletionsshare/libc/pwd.h
- share/libc/semaphore.h 52 additions, 10 deletionsshare/libc/semaphore.h
- share/libc/signal.h 5 additions, 0 deletionsshare/libc/signal.h
- share/libc/spawn.h 75 additions, 1 deletionshare/libc/spawn.h
- share/libc/strings.h 28 additions, 8 deletionsshare/libc/strings.h
- share/libc/utmp.h 76 additions, 26 deletionsshare/libc/utmp.h
- share/libc/utmpx.h 36 additions, 14 deletionsshare/libc/utmpx.h
- src/plugins/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c 45 additions, 24 deletions...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_sequential_threads.c 6 additions, 6 deletions.../e-acsl/tests/concurrency/oracle/gen_sequential_threads.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c 45 additions, 24 deletions...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_threads_safe_locations.c 6 additions, 6 deletions...csl/tests/concurrency/oracle/gen_threads_safe_locations.c
- src/plugins/e-acsl/tests/concurrency/oracle/parallel_threads.res.oracle 49 additions, 46 deletions...acsl/tests/concurrency/oracle/parallel_threads.res.oracle
Loading
Please register or sign in to comment