Various clean-ups (d1cdc049) · Commits · CertiCompil / CompCert-KVX · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

CompCert-KVX
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

d1cdc049

Commit d1cdc049 authored 15 years ago by xleroy

Downloads
- Patches
- Plain Diff

Various clean-ups

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1033 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

parent ed39cb16

No related branches found

Tags v1.4

No related merge requests found

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

Changelog 2 additions, 2 deletions

Changelog
Makefile 27 additions, 10 deletions

Makefile
arm/PrintAsm.ml 1 addition, 2 deletions

arm/PrintAsm.ml
cfrontend/Cil2Csyntax.ml 5 additions, 5 deletions

cfrontend/Cil2Csyntax.ml
doc/index.html 9 additions, 2 deletions

doc/index.html
extraction/Makefile 0 additions, 48 deletions

extraction/Makefile
extraction/extraction.v 2 additions, 0 deletions

extraction/extraction.v
extraction/fixextract 15 additions, 0 deletions

extraction/fixextract
extraction/uncapitalize 0 additions, 6 deletions

extraction/uncapitalize

with 61 additions and 75 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