Merge branch 'feature/basile/eacsl-translate-refactor' into 'master'
[eacsl] Split and refactor Translate module Closes e-acsl#131 See merge request frama-c/frama-c!3476
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/E_ACSL.mli 12 additions, 9 deletionssrc/plugins/e-acsl/E_ACSL.mli
- src/plugins/e-acsl/Makefile.in 4 additions, 1 deletionsrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/headers/header_spec.txt 8 additions, 2 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/src/code_generator/contract.ml 19 additions, 26 deletionssrc/plugins/e-acsl/src/code_generator/contract.ml
- src/plugins/e-acsl/src/code_generator/contract.mli 0 additions, 8 deletionssrc/plugins/e-acsl/src/code_generator/contract.mli
- src/plugins/e-acsl/src/code_generator/injector.ml 3 additions, 3 deletionssrc/plugins/e-acsl/src/code_generator/injector.ml
- src/plugins/e-acsl/src/code_generator/libc.ml 2 additions, 2 deletionssrc/plugins/e-acsl/src/code_generator/libc.ml
- src/plugins/e-acsl/src/code_generator/quantif.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/quantif.ml
- src/plugins/e-acsl/src/code_generator/translate_annots.ml 18 additions, 32 deletionssrc/plugins/e-acsl/src/code_generator/translate_annots.ml
- src/plugins/e-acsl/src/code_generator/translate_annots.mli 1 addition, 10 deletionssrc/plugins/e-acsl/src/code_generator/translate_annots.mli
- src/plugins/e-acsl/src/code_generator/translate_predicates.ml 411 additions, 0 deletions...plugins/e-acsl/src/code_generator/translate_predicates.ml
- src/plugins/e-acsl/src/code_generator/translate_predicates.mli 26 additions, 49 deletions...lugins/e-acsl/src/code_generator/translate_predicates.mli
- src/plugins/e-acsl/src/code_generator/translate_rtes.ml 79 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_rtes.ml
- src/plugins/e-acsl/src/code_generator/translate_rtes.mli 50 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_rtes.mli
- src/plugins/e-acsl/src/code_generator/translate_terms.ml 110 additions, 705 deletionssrc/plugins/e-acsl/src/code_generator/translate_terms.ml
- src/plugins/e-acsl/src/code_generator/translate_terms.mli 57 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_terms.mli
- src/plugins/e-acsl/src/code_generator/translate_utils.ml 349 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_utils.ml
- src/plugins/e-acsl/src/code_generator/translate_utils.mli 134 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_utils.mli
Loading
Please register or sign in to comment