Merge branch 'feature/eva/dynamic-split' into 'master'
[Eva] Dynamic split annotations See merge request frama-c/frama-c!3198
No related branches found
No related tags found
Showing
- src/libraries/stdlib/transitioning.ml.in 11 additions, 0 deletionssrc/libraries/stdlib/transitioning.ml.in
- src/libraries/stdlib/transitioning.mli 5 additions, 0 deletionssrc/libraries/stdlib/transitioning.mli
- src/plugins/value/Eva.mli 9 additions, 2 deletionssrc/plugins/value/Eva.mli
- src/plugins/value/partitioning/partition.ml 85 additions, 51 deletionssrc/plugins/value/partitioning/partition.ml
- src/plugins/value/partitioning/partition.mli 8 additions, 3 deletionssrc/plugins/value/partitioning/partition.mli
- src/plugins/value/partitioning/partitioning_parameters.ml 4 additions, 4 deletionssrc/plugins/value/partitioning/partitioning_parameters.ml
- src/plugins/value/utils/eva_annotations.ml 69 additions, 29 deletionssrc/plugins/value/utils/eva_annotations.ml
- src/plugins/value/utils/eva_annotations.mli 8 additions, 2 deletionssrc/plugins/value/utils/eva_annotations.mli
- tests/value/oracle/partitioning-annots.0.res.oracle 143 additions, 3 deletionstests/value/oracle/partitioning-annots.0.res.oracle
- tests/value/oracle/partitioning-annots.1.res.oracle 13 additions, 5 deletionstests/value/oracle/partitioning-annots.1.res.oracle
- tests/value/oracle/partitioning-annots.2.res.oracle 49 additions, 58 deletionstests/value/oracle/partitioning-annots.2.res.oracle
- tests/value/oracle/partitioning-annots.3.res.oracle 21 additions, 49 deletionstests/value/oracle/partitioning-annots.3.res.oracle
- tests/value/oracle/partitioning-annots.4.res.oracle 5 additions, 6 deletionstests/value/oracle/partitioning-annots.4.res.oracle
- tests/value/oracle/partitioning-annots.5.res.oracle 0 additions, 39 deletionstests/value/oracle/partitioning-annots.5.res.oracle
- tests/value/oracle/partitioning-annots.6.res.oracle 0 additions, 30 deletionstests/value/oracle/partitioning-annots.6.res.oracle
- tests/value/partitioning-annots.c 24 additions, 6 deletionstests/value/partitioning-annots.c
Loading
Please register or sign in to comment