Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass (babf0034) · 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

Admin message

La fonctionnalité "Pages custom domain" uniquement en ".univ-grenoble-alpes.fr" est disponible. Je vous invite à consulter https://docs.gricad-pages.univ-grenoble-alpes.fr/help/tutos/custom_domain/

babf0034

Commit babf0034 authored 4 years ago by David Monniaux

Downloads
- Plain Diff

Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass

parents 60aa5911 025a1854

No related branches found

No related tags found

No related merge requests found

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

backend/CSE3analysis.v 29 additions, 16 deletions

backend/CSE3analysis.v
backend/CSE3analysisproof.v 24 additions, 18 deletions

backend/CSE3analysisproof.v
backend/Duplicateaux.ml 50 additions, 0 deletions

backend/Duplicateaux.ml
backend/Duplicatepasses.v 11 additions, 1 deletion

backend/Duplicatepasses.v
driver/Clflags.ml 1 addition, 0 deletions

driver/Clflags.ml
driver/Driver.ml 3 additions, 0 deletions

driver/Driver.ml
tools/compiler_expand.ml 3 additions, 1 deletion

tools/compiler_expand.ml

with 121 additions and 36 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