Merge branch 'feature/patrick/chrominum2master' into 'master'
Reverse stable/chromium into master See merge request frama-c/frama-c!3411
Showing
- Changelog 4 additions, 0 deletionsChangelog
- Makefile 2 additions, 2 deletionsMakefile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- share/Makefile.plugin.template 1 addition, 1 deletionshare/Makefile.plugin.template
- share/analysis-scripts/make_wrapper.py 12 additions, 2 deletionsshare/analysis-scripts/make_wrapper.py
- share/libc/__fc_define_fd_set_t.h 0 additions, 34 deletionsshare/libc/__fc_define_fd_set_t.h
- share/libc/__fc_define_fds.h 40 additions, 0 deletionsshare/libc/__fc_define_fds.h
- share/libc/__fc_define_timeval.h 36 additions, 0 deletionsshare/libc/__fc_define_timeval.h
- share/libc/__fc_select.h 3 additions, 5 deletionsshare/libc/__fc_select.h
- share/libc/getopt.h 1 addition, 2 deletionsshare/libc/getopt.h
- share/libc/limits.h 5 additions, 0 deletionsshare/libc/limits.h
- share/libc/sys/select.h 34 additions, 0 deletionsshare/libc/sys/select.h
- share/libc/sys/time.h 4 additions, 9 deletionsshare/libc/sys/time.h
- share/libc/sys/uio.h 38 additions, 4 deletionsshare/libc/sys/uio.h
- share/libc/time.h 4 additions, 5 deletionsshare/libc/time.h
- share/libc/unistd.h 3 additions, 17 deletionsshare/libc/unistd.h
- src/kernel_services/analysis/interpreted_automata.ml 21 additions, 0 deletionssrc/kernel_services/analysis/interpreted_automata.ml
- src/plugins/aorai/tests/Aorai_test.mli 0 additions, 1 deletionsrc/plugins/aorai/tests/Aorai_test.mli
- src/plugins/aorai/tests/ya/name_projects.mli 0 additions, 1 deletionsrc/plugins/aorai/tests/ya/name_projects.mli
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c
Loading
Please register or sign in to comment