[eacsl] Split module translate
Showing
- src/plugins/e-acsl/E_ACSL.mli 3 additions, 1 deletionsrc/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 12 additions, 23 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 1 addition, 1 deletionsrc/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 9 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 395 additions, 0 deletions...plugins/e-acsl/src/code_generator/translate_predicates.ml
- src/plugins/e-acsl/src/code_generator/translate_predicates.mli 20 additions, 43 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 45 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_rtes.mli
- src/plugins/e-acsl/src/code_generator/translate_terms.ml 31 additions, 657 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