[lint] get non utf8 position (8f033f52) · Commits · pub / frama-c · GitLab

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

8f033f52

Commit 8f033f52 authored 2 years ago by Patrick Baudin

Downloads
- Patches
- Plain Diff

[lint] get non utf8 position

parent 7ffbb388

No related branches found

No related tags found

No related merge requests found

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

.gitattributes 2 additions, 0 deletions

.gitattributes
headers/close-source/MODIFIED_CAMOMILE 39 additions, 0 deletions

headers/close-source/MODIFIED_CAMOMILE
headers/open-source/MODIFIED_CAMOMILE 39 additions, 0 deletions

headers/open-source/MODIFIED_CAMOMILE
tools/lint/UTF8.ml 83 additions, 0 deletions

tools/lint/UTF8.ml
tools/lint/UTF8.mli 30 additions, 0 deletions

tools/lint/UTF8.mli
tools/lint/dune 2 additions, 2 deletions

tools/lint/dune
tools/lint/lint.ml 2 additions, 10 deletions

tools/lint/lint.ml

with 197 additions and 12 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