[Eva] add "loop unroll full" annotation
Showing
- src/plugins/value/partitioning/partitioning_parameters.ml 2 additions, 2 deletionssrc/plugins/value/partitioning/partitioning_parameters.ml
- src/plugins/value/utils/eva_annotations.ml 24 additions, 21 deletionssrc/plugins/value/utils/eva_annotations.ml
- src/plugins/value/utils/eva_annotations.mli 3 additions, 1 deletionsrc/plugins/value/utils/eva_annotations.mli
- tests/value/oracle/partitioning-annots.0.res.oracle 16 additions, 2 deletionstests/value/oracle/partitioning-annots.0.res.oracle
- tests/value/oracle/partitioning-annots.1.res.oracle 17 additions, 17 deletionstests/value/oracle/partitioning-annots.1.res.oracle
- tests/value/oracle/partitioning-annots.2.res.oracle 21 additions, 21 deletionstests/value/oracle/partitioning-annots.2.res.oracle
- tests/value/oracle/partitioning-annots.3.res.oracle 21 additions, 21 deletionstests/value/oracle/partitioning-annots.3.res.oracle
- tests/value/oracle/partitioning-annots.4.res.oracle 4 additions, 4 deletionstests/value/oracle/partitioning-annots.4.res.oracle
- tests/value/oracle/partitioning-annots.5.res.oracle 4 additions, 4 deletionstests/value/oracle/partitioning-annots.5.res.oracle
- tests/value/oracle/partitioning-annots.6.res.oracle 3 additions, 3 deletionstests/value/oracle/partitioning-annots.6.res.oracle
- tests/value/partitioning-annots.c 7 additions, 1 deletiontests/value/partitioning-annots.c
Loading
Please register or sign in to comment