Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

V

VFPG
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

08041dbf

Commit 08041dbf authored 1 year ago by WASQUEL Valentin

Downloads
- Patches
- Plain Diff

code cleanup 1 : removing warning, clean function

parent 806c922a

No related branches found

No related tags found

Loading

Changes 11

Hide whitespace changes

Inline Side-by-side

Showing

frontend/Convert_path.ml 60 additions, 0 deletions

frontend/Convert_path.ml
frontend/Convert_waypoints.ml 178 additions, 0 deletions

frontend/Convert_waypoints.ml
frontend/Proc_Include.ml 25 additions, 248 deletions

frontend/Proc_Include.ml
frontend/camlcoq_vfpg.ml 8 additions, 9 deletions

frontend/camlcoq_vfpg.ml
frontend/common_def.ml 10 additions, 15 deletions

frontend/common_def.ml
frontend/convert_fp_mode.ml 14 additions, 14 deletions

frontend/convert_fp_mode.ml
frontend/fppfix.ml 0 additions, 88 deletions

frontend/fppfix.ml
frontend/preproc.ml 66 additions, 92 deletions

frontend/preproc.ml
frontend/printer.ml 20 additions, 14 deletions

frontend/printer.ml
src/parser/CoqLexer.v 1 addition, 3 deletions

src/parser/CoqLexer.v
src/parser/Parser.vy 3 additions, 3 deletions

src/parser/Parser.vy

with 385 additions and 486 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