Merge branch 'feature/patrick/wp-list-simplification' into 'master'
[WP] review of simplifications dedicated to list data type See merge request frama-c/frama-c!3523
No related branches found
No related tags found
Showing
- src/plugins/wp/Cint.mli 1 addition, 0 deletionssrc/plugins/wp/Cint.mli
- src/plugins/wp/TacSequence.ml 42 additions, 19 deletionssrc/plugins/wp/TacSequence.ml
- src/plugins/wp/Vlist.ml 263 additions, 70 deletionssrc/plugins/wp/Vlist.ml
- src/plugins/wp/tests/wp_plugin/nth.i 82 additions, 5 deletionssrc/plugins/wp/tests/wp_plugin/nth.i
- src/plugins/wp/tests/wp_plugin/oracle/nth.res.oracle 121 additions, 2 deletionssrc/plugins/wp/tests/wp_plugin/oracle/nth.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/sequence.res.oracle 3 additions, 26 deletionssrc/plugins/wp/tests/wp_plugin/oracle/sequence.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.res.oracle 30 additions, 6 deletionssrc/plugins/wp/tests/wp_plugin/oracle_qualif/nth.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.0.res.oracle 4 additions, 4 deletions...ns/wp/tests/wp_plugin/oracle_qualif/sequence.0.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.1.res.oracle 4 additions, 4 deletions...ns/wp/tests/wp_plugin/oracle_qualif/sequence.1.res.oracle
Loading
Please register or sign in to comment