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

0fc9094d

Commit 0fc9094d authored 4 years ago by Basile Desloges

Downloads
- Patches
- Plain Diff

[kernel][gui][metrics][eva] Lint for some files

parent 8b8c483f

No related branches found

No related tags found

Loading

Changes 11

Expand all Hide whitespace changes

Inline Side-by-side

Showing

.Makefile.lint 0 additions, 10 deletions

.Makefile.lint
src/kernel_services/ast_queries/ast_info.ml 112 additions, 108 deletions

src/kernel_services/ast_queries/ast_info.ml
src/kernel_services/ast_queries/ast_info.mli 34 additions, 33 deletions

src/kernel_services/ast_queries/ast_info.mli
src/kernel_services/ast_queries/file.mli 106 additions, 106 deletions

src/kernel_services/ast_queries/file.mli
src/kernel_services/visitors/visitor.ml 719 additions, 719 deletions

src/kernel_services/visitors/visitor.ml
src/kernel_services/visitors/visitor.mli 39 additions, 39 deletions

src/kernel_services/visitors/visitor.mli
src/plugins/gui/filetree.mli 46 additions, 45 deletions

src/plugins/gui/filetree.mli
src/plugins/metrics/metrics_base.ml 33 additions, 33 deletions

src/plugins/metrics/metrics_base.ml
src/plugins/metrics/metrics_base.mli 3 additions, 2 deletions

src/plugins/metrics/metrics_base.mli
src/plugins/value_types/cvalue.ml 175 additions, 175 deletions

src/plugins/value_types/cvalue.ml
src/plugins/value_types/cvalue.mli 29 additions, 28 deletions

src/plugins/value_types/cvalue.mli

with 1296 additions and 1298 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