Merge branch 'feature/andre/compliance-difficulty' into 'master'
[Compliance] change JSON format and add notes and data to help estimate difficulty See merge request frama-c/frama-c!2873
No related branches found
No related tags found
Showing
- share/Makefile.config.in 1 addition, 1 deletionshare/Makefile.config.in
- share/compliance/c11_functions.json 606 additions, 601 deletionsshare/compliance/c11_functions.json
- share/compliance/c11_headers.json 35 additions, 0 deletionsshare/compliance/c11_headers.json
- share/compliance/glibc_functions.json 1587 additions, 1587 deletionsshare/compliance/glibc_functions.json
- share/compliance/nonstandard_identifiers.json 15 additions, 15 deletionsshare/compliance/nonstandard_identifiers.json
- share/compliance/posix_identifiers.json 2101 additions, 2084 deletionsshare/compliance/posix_identifiers.json
- tests/compliance/check-json.i 7 additions, 0 deletionstests/compliance/check-json.i
- tests/libc/check_compliance.ml 40 additions, 42 deletionstests/libc/check_compliance.ml
- tests/libc/oracle/fc_libc.4.res.oracle 5 additions, 4 deletionstests/libc/oracle/fc_libc.4.res.oracle
Loading
Please register or sign in to comment