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

23da7b35

Commit 23da7b35 authored 4 years ago by Cyril SIX

Downloads
- Patches
- Plain Diff

Fixing test/regression for KVX

parent 60ff1e39

Loading

Changes 6

Hide whitespace changes

Inline Side-by-side

Showing

kvx/Asm.v 3 additions, 0 deletions

kvx/Asm.v
kvx/Asmexpand.ml 7 additions, 1 deletion

kvx/Asmexpand.ml
kvx/CBuiltins.ml 3 additions, 1 deletion

kvx/CBuiltins.ml
kvx/TargetPrinter.ml 3 additions, 0 deletions

kvx/TargetPrinter.ml
test/regression/Results/builtins-common-kvx 391 additions, 0 deletions

test/regression/Results/builtins-common-kvx
test/regression/builtins-common.c 2 additions, 0 deletions

test/regression/builtins-common.c

with 409 additions and 2 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