Merge branch 'feature/thibaut/eacsl-typing-linear' into 'master'
[E-ACSL] Linear Typing See merge request frama-c/frama-c!3456
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/doc/Changelog 2 additions, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/src/analyses/analyses.ml 3 additions, 1 deletionsrc/plugins/e-acsl/src/analyses/analyses.ml
- src/plugins/e-acsl/src/analyses/analyses_datatype.ml 237 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/analyses_datatype.ml
- src/plugins/e-acsl/src/analyses/analyses_datatype.mli 63 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/analyses_datatype.mli
- src/plugins/e-acsl/src/analyses/analyses_types.mli 18 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/analyses_types.mli
- src/plugins/e-acsl/src/analyses/bound_variables.ml 0 additions, 1 deletionsrc/plugins/e-acsl/src/analyses/bound_variables.ml
- src/plugins/e-acsl/src/analyses/interval.ml 588 additions, 403 deletionssrc/plugins/e-acsl/src/analyses/interval.ml
- src/plugins/e-acsl/src/analyses/interval.mli 41 additions, 24 deletionssrc/plugins/e-acsl/src/analyses/interval.mli
- src/plugins/e-acsl/src/analyses/memory_tracking.ml 2 additions, 1 deletionsrc/plugins/e-acsl/src/analyses/memory_tracking.ml
- src/plugins/e-acsl/src/analyses/typing.ml 358 additions, 391 deletionssrc/plugins/e-acsl/src/analyses/typing.ml
- src/plugins/e-acsl/src/analyses/typing.mli 37 additions, 37 deletionssrc/plugins/e-acsl/src/analyses/typing.mli
- src/plugins/e-acsl/src/code_generator/contract.ml 5 additions, 3 deletionssrc/plugins/e-acsl/src/code_generator/contract.ml
- src/plugins/e-acsl/src/code_generator/env.ml 27 additions, 13 deletionssrc/plugins/e-acsl/src/code_generator/env.ml
- src/plugins/e-acsl/src/code_generator/env.mli 7 additions, 4 deletionssrc/plugins/e-acsl/src/code_generator/env.mli
- src/plugins/e-acsl/src/code_generator/gmp.ml 15 additions, 21 deletionssrc/plugins/e-acsl/src/code_generator/gmp.ml
- src/plugins/e-acsl/src/code_generator/injector.ml 2 additions, 1 deletionsrc/plugins/e-acsl/src/code_generator/injector.ml
- src/plugins/e-acsl/src/code_generator/libc.ml 9 additions, 10 deletionssrc/plugins/e-acsl/src/code_generator/libc.ml
- src/plugins/e-acsl/src/code_generator/logic_array.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/logic_array.ml
- src/plugins/e-acsl/src/code_generator/logic_functions.ml 37 additions, 43 deletionssrc/plugins/e-acsl/src/code_generator/logic_functions.ml
- src/plugins/e-acsl/src/code_generator/loops.ml 26 additions, 31 deletionssrc/plugins/e-acsl/src/code_generator/loops.ml
Loading
Please register or sign in to comment