[eacsl] Create an analysis to compute translation location of labeled pred and terms
Showing
- src/plugins/e-acsl/Makefile.in 1 addition, 0 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/headers/header_spec.txt 2 additions, 0 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/src/analyses/analyses.ml 6 additions, 2 deletionssrc/plugins/e-acsl/src/analyses/analyses.ml
- src/plugins/e-acsl/src/analyses/analyses_types.mli 2 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/analyses_types.mli
- src/plugins/e-acsl/src/analyses/exit_points.ml 3 additions, 4 deletionssrc/plugins/e-acsl/src/analyses/exit_points.ml
- src/plugins/e-acsl/src/analyses/label.mli 0 additions, 4 deletionssrc/plugins/e-acsl/src/analyses/label.mli
- src/plugins/e-acsl/src/analyses/labels.ml 1017 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/labels.ml
- src/plugins/e-acsl/src/analyses/labels.mli 90 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/labels.mli
- src/plugins/e-acsl/src/code_generator/env.ml 1 addition, 2 deletionssrc/plugins/e-acsl/src/code_generator/env.ml
- src/plugins/e-acsl/src/code_generator/quantif.ml 2 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/quantif.ml
- src/plugins/e-acsl/src/code_generator/translate_utils.ml 3 additions, 1 deletionsrc/plugins/e-acsl/src/code_generator/translate_utils.ml
- src/plugins/e-acsl/src/options.ml 1 addition, 0 deletionssrc/plugins/e-acsl/src/options.ml
- src/plugins/e-acsl/src/options.mli 1 addition, 0 deletionssrc/plugins/e-acsl/src/options.mli
Loading
Please register or sign in to comment