[eacsl] Update sources to support the preprocessing of labeled statements
Showing
- src/plugins/e-acsl/src/analyses/exit_points.ml 39 additions, 7 deletionssrc/plugins/e-acsl/src/analyses/exit_points.ml
- src/plugins/e-acsl/src/analyses/label.ml 1 addition, 41 deletionssrc/plugins/e-acsl/src/analyses/label.ml
- src/plugins/e-acsl/src/analyses/label.mli 0 additions, 6 deletionssrc/plugins/e-acsl/src/analyses/label.mli
- src/plugins/e-acsl/src/code_generator/assert.ml 13 additions, 13 deletionssrc/plugins/e-acsl/src/code_generator/assert.ml
- src/plugins/e-acsl/src/code_generator/assert.mli 9 additions, 12 deletionssrc/plugins/e-acsl/src/code_generator/assert.mli
- src/plugins/e-acsl/src/code_generator/contract.ml 15 additions, 28 deletionssrc/plugins/e-acsl/src/code_generator/contract.ml
- src/plugins/e-acsl/src/code_generator/env.ml 2 additions, 3 deletionssrc/plugins/e-acsl/src/code_generator/env.ml
- src/plugins/e-acsl/src/code_generator/env.mli 2 additions, 5 deletionssrc/plugins/e-acsl/src/code_generator/env.mli
- src/plugins/e-acsl/src/code_generator/injector.ml 16 additions, 26 deletionssrc/plugins/e-acsl/src/code_generator/injector.ml
- src/plugins/e-acsl/src/code_generator/libc.ml 17 additions, 18 deletionssrc/plugins/e-acsl/src/code_generator/libc.ml
- src/plugins/e-acsl/src/code_generator/libc.mli 3 additions, 4 deletionssrc/plugins/e-acsl/src/code_generator/libc.mli
- src/plugins/e-acsl/src/code_generator/logic_array.ml 3 additions, 3 deletionssrc/plugins/e-acsl/src/code_generator/logic_array.ml
- src/plugins/e-acsl/src/code_generator/loops.ml 1 addition, 5 deletionssrc/plugins/e-acsl/src/code_generator/loops.ml
- src/plugins/e-acsl/src/code_generator/memory_observer.ml 6 additions, 10 deletionssrc/plugins/e-acsl/src/code_generator/memory_observer.ml
- src/plugins/e-acsl/src/code_generator/memory_observer.mli 4 additions, 7 deletionssrc/plugins/e-acsl/src/code_generator/memory_observer.mli
- src/plugins/e-acsl/src/code_generator/memory_translate.ml 0 additions, 1 deletionsrc/plugins/e-acsl/src/code_generator/memory_translate.ml
- src/plugins/e-acsl/src/code_generator/quantif.ml 2 additions, 2 deletionssrc/plugins/e-acsl/src/code_generator/quantif.ml
- src/plugins/e-acsl/src/code_generator/temporal.ml 33 additions, 35 deletionssrc/plugins/e-acsl/src/code_generator/temporal.ml
- src/plugins/e-acsl/src/code_generator/translate_predicates.ml 9 additions, 12 deletions...plugins/e-acsl/src/code_generator/translate_predicates.ml
- src/plugins/e-acsl/src/code_generator/translate_terms.ml 20 additions, 20 deletionssrc/plugins/e-acsl/src/code_generator/translate_terms.ml
Loading
Please register or sign in to comment