Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

L

lambda-rust
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Service Desk

Snippets Groups Projects

627509b9

Commit 627509b9 authored 8 years ago by Jacques-Henri Jourdan

Downloads
- Patches
- Plain Diff

Use Texan triples, and better treatement of valuable expressions. They are just expressions.

parent fd764c23

No related branches found

No related tags found

Loading

Changes 11

Expand all Hide whitespace changes

Inline Side-by-side

Showing

_CoqProject 0 additions, 1 deletion

_CoqProject
adequacy.v 2 additions, 2 deletions

adequacy.v
heap.v 59 additions, 63 deletions

heap.v
lifting.v 46 additions, 46 deletions

lifting.v
memcpy.v 5 additions, 4 deletions

memcpy.v
perm.v 42 additions, 3 deletions

perm.v
perm_incl.v 31 additions, 31 deletions

perm_incl.v
proofmode.v 10 additions, 7 deletions

proofmode.v
type_incl.v 3 additions, 3 deletions

type_incl.v
typing.v 176 additions, 174 deletions

typing.v
valuable.v 0 additions, 30 deletions

valuable.v

with 374 additions and 364 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