Merge branch 'feature/wp/expose-bittest' into 'master'
[LibC, WP] Add logic function bittest in standard library See merge request frama-c/frama-c!2328
No related branches found
No related tags found
Showing
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- share/libc/__fc_integer.h 36 additions, 0 deletionsshare/libc/__fc_integer.h
- src/plugins/wp/Cint.ml 41 additions, 5 deletionssrc/plugins/wp/Cint.ml
- src/plugins/wp/Cint.mli 1 addition, 2 deletionssrc/plugins/wp/Cint.mli
- src/plugins/wp/Lang.ml 4 additions, 0 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 3 additions, 0 deletionssrc/plugins/wp/Lang.mli
- src/plugins/wp/share/wp.driver 1 addition, 0 deletionssrc/plugins/wp/share/wp.driver
- src/plugins/wp/tests/wp_plugin/bit_test.c 11 additions, 0 deletionssrc/plugins/wp/tests/wp_plugin/bit_test.c
- src/plugins/wp/tests/wp_plugin/oracle/bit_test.res.oracle 10 additions, 1 deletionsrc/plugins/wp/tests/wp_plugin/oracle/bit_test.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/bit_test.res.oracle 6 additions, 4 deletions...gins/wp/tests/wp_plugin/oracle_qualif/bit_test.res.oracle
- src/plugins/wp/tests/wp_typed/oracle_qualif/user_bitwise.0.res.oracle 6 additions, 6 deletions...wp/tests/wp_typed/oracle_qualif/user_bitwise.0.res.oracle
- tests/libc/oracle/fc_libc.2.res.oracle 1 addition, 0 deletionstests/libc/oracle/fc_libc.2.res.oracle
- tests/libc/oracle/fc_libc.5.res.oracle 1 addition, 0 deletionstests/libc/oracle/fc_libc.5.res.oracle
Loading
Please register or sign in to comment