[Eva] add a new loop unrolling annotation
- allow the user (or plugins) to specify a local auto loop unroll limit
Showing
- src/plugins/eva/Eva.mli 2 additions, 0 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/partitioning/partitioning_parameters.ml 7 additions, 5 deletionssrc/plugins/eva/partitioning/partitioning_parameters.ml
- src/plugins/eva/utils/eva_annotations.ml 16 additions, 0 deletionssrc/plugins/eva/utils/eva_annotations.ml
- src/plugins/eva/utils/eva_annotations.mli 2 additions, 0 deletionssrc/plugins/eva/utils/eva_annotations.mli
- tests/value/oracle/partitioning-annots.0.res.oracle 22 additions, 6 deletionstests/value/oracle/partitioning-annots.0.res.oracle
- tests/value/oracle_apron/partitioning-annots.0.res.oracle 1 addition, 1 deletiontests/value/oracle_apron/partitioning-annots.0.res.oracle
- tests/value/oracle_octagon/partitioning-annots.0.res.oracle 1 addition, 1 deletiontests/value/oracle_octagon/partitioning-annots.0.res.oracle
- tests/value/partitioning-annots.c 12 additions, 0 deletionstests/value/partitioning-annots.c
Loading
Please register or sign in to comment