Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

48ab08c1

Unverified Commit 48ab08c1 authored 3 years ago by Thibaut Benjamin Committed by Thibaut Benjamin 3 years ago

Downloads
- Patches
- Plain Diff

[e-acsl] lint

parent d4288732

No related branches found

No related tags found

No related merge requests found

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/src/analyses/bound_variables.ml 35 additions, 35 deletions

src/plugins/e-acsl/src/analyses/bound_variables.ml
src/plugins/e-acsl/src/analyses/preprocess_predicates.ml 50 additions, 50 deletions

src/plugins/e-acsl/src/analyses/preprocess_predicates.ml
src/plugins/e-acsl/src/analyses/preprocess_typing.ml 42 additions, 42 deletions

src/plugins/e-acsl/src/analyses/preprocess_typing.ml
src/plugins/e-acsl/src/analyses/typing.ml 140 additions, 141 deletions

src/plugins/e-acsl/src/analyses/typing.ml
src/plugins/e-acsl/src/code_generator/contract.ml 8 additions, 8 deletions

src/plugins/e-acsl/src/code_generator/contract.ml
src/plugins/e-acsl/src/code_generator/env.ml 3 additions, 3 deletions

src/plugins/e-acsl/src/code_generator/env.ml
src/plugins/e-acsl/src/code_generator/logic_functions.ml 4 additions, 4 deletions

src/plugins/e-acsl/src/code_generator/logic_functions.ml
src/plugins/e-acsl/src/code_generator/quantif.ml 52 additions, 23 deletions

src/plugins/e-acsl/src/code_generator/quantif.ml
src/plugins/e-acsl/src/code_generator/smart_term.ml 8 additions, 8 deletions

src/plugins/e-acsl/src/code_generator/smart_term.ml

with 342 additions and 314 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment