Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

05d8a217

Commit 05d8a217 authored 3 years ago by Andre Maroneze

Downloads
- Plain Diff

Merge branch 'feature/andre/libc-sys-sendfile' into 'master'

[Libc] add non-POSIX header sys/sendfile.h

See merge request frama-c/frama-c!3228

parents 73ea5d59 41005724

No related branches found

No related tags found

No related merge requests found

Changes 10

Hide whitespace changes

Inline Side-by-side

Showing

headers/header_spec.txt 1 addition, 0 deletions

headers/header_spec.txt
share/compliance/nonstandard_identifiers.json 1 addition, 0 deletions

share/compliance/nonstandard_identifiers.json
share/libc/__fc_libc.h 1 addition, 0 deletions

share/libc/__fc_libc.h
share/libc/sys/sendfile.h 56 additions, 0 deletions

share/libc/sys/sendfile.h
tests/libc/fc_libc.c 1 addition, 0 deletions

tests/libc/fc_libc.c
tests/libc/oracle/fc_libc.0.res.oracle 35 additions, 33 deletions

tests/libc/oracle/fc_libc.0.res.oracle
tests/libc/oracle/fc_libc.1.res.oracle 21 additions, 0 deletions

tests/libc/oracle/fc_libc.1.res.oracle
tests/libc/oracle/fc_libc.2.res.oracle 1 addition, 0 deletions

tests/libc/oracle/fc_libc.2.res.oracle
tests/libc/oracle/sys_sendfile_h.res.oracle 80 additions, 0 deletions

tests/libc/oracle/sys_sendfile_h.res.oracle
tests/libc/sys_sendfile_h.c 23 additions, 0 deletions

tests/libc/sys_sendfile_h.c

with 220 additions and 33 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment