[Eva] Domains: renames return_context into build_context.
Adds comments to context in abstract_domains.
Showing
- src/plugins/eva/domains/abstract_domain.ml 9 additions, 4 deletionssrc/plugins/eva/domains/abstract_domain.ml
- src/plugins/eva/domains/cvalue/cvalue_domain.ml 2 additions, 1 deletionsrc/plugins/eva/domains/cvalue/cvalue_domain.ml
- src/plugins/eva/domains/cvalue/cvalue_queries.ml 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/cvalue_queries.ml
- src/plugins/eva/domains/domain_builder.ml 4 additions, 4 deletionssrc/plugins/eva/domains/domain_builder.ml
- src/plugins/eva/domains/domain_builder.mli 1 addition, 1 deletionsrc/plugins/eva/domains/domain_builder.mli
- src/plugins/eva/domains/domain_lift.ml 2 additions, 2 deletionssrc/plugins/eva/domains/domain_lift.ml
- src/plugins/eva/domains/domain_product.ml 3 additions, 3 deletionssrc/plugins/eva/domains/domain_product.ml
- src/plugins/eva/domains/equality/equality_domain.ml 1 addition, 1 deletionsrc/plugins/eva/domains/equality/equality_domain.ml
- src/plugins/eva/engine/evaluation.ml 1 addition, 1 deletionsrc/plugins/eva/engine/evaluation.ml
- src/plugins/eva/partitioning/auto_loop_unroll.ml 1 addition, 1 deletionsrc/plugins/eva/partitioning/auto_loop_unroll.ml
Loading
Please register or sign in to comment