Added capability for stripping multiple laters per step in HeapLang (dd53c9a9) · Commits · Paolo G. Giarrusso / iris · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

I

iris
- Activity
- Members
- Labels
- Wiki
- Releases
- Model registry
- Environments

Snippets Groups Projects

dd53c9a9

Commit dd53c9a9 authored 2 years ago by Jonas Kastberg Committed by Robbert Krebbers 2 years ago

Downloads
- Patches
- Plain Diff

Added capability for stripping multiple laters per step in HeapLang

parent 316257fb

No related branches found

No related tags found

Loading

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

CHANGELOG.md 8 additions, 0 deletions

CHANGELOG.md
iris/program_logic/total_adequacy.v 14 additions, 9 deletions

iris/program_logic/total_adequacy.v
iris_heap_lang/adequacy.v 26 additions, 6 deletions

iris_heap_lang/adequacy.v
iris_heap_lang/primitive_laws.v 140 additions, 24 deletions

iris_heap_lang/primitive_laws.v
iris_heap_lang/total_adequacy.v 7 additions, 3 deletions

iris_heap_lang/total_adequacy.v

with 195 additions and 42 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