Add later credits to the WP (c5ebd34d) · 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

c5ebd34d

Commit c5ebd34d authored 2 years ago by Lennard Gäher Committed by Robbert Krebbers 2 years ago

Downloads
- Patches
- Plain Diff

Add later credits to the WP

parent 23bdf6bd

No related branches found

No related tags found

No related merge requests found

Changes 13

Hide whitespace changes

Inline Side-by-side

Showing

CHANGELOG.md 15 additions, 6 deletions

CHANGELOG.md
iris/base_logic/lib/later_credits.v 2 additions, 2 deletions

iris/base_logic/lib/later_credits.v
iris/bi/updates.v 19 additions, 1 deletion

iris/bi/updates.v
iris/program_logic/adequacy.v 33 additions, 21 deletions

iris/program_logic/adequacy.v
iris/program_logic/ectx_lifting.v 13 additions, 13 deletions

iris/program_logic/ectx_lifting.v
iris/program_logic/lifting.v 31 additions, 19 deletions

iris/program_logic/lifting.v
iris/program_logic/ownp.v 5 additions, 3 deletions

iris/program_logic/ownp.v
iris/program_logic/total_weakestpre.v 1 addition, 1 deletion

iris/program_logic/total_weakestpre.v
iris/program_logic/weakestpre.v 76 additions, 19 deletions

iris/program_logic/weakestpre.v
iris_heap_lang/derived_laws.v 2 additions, 2 deletions

iris_heap_lang/derived_laws.v
iris_heap_lang/primitive_laws.v 7 additions, 7 deletions

iris_heap_lang/primitive_laws.v
iris_heap_lang/proofmode.v 1 addition, 0 deletions

iris_heap_lang/proofmode.v
tex/program-logic.tex 5 additions, 4 deletions

tex/program-logic.tex

with 210 additions and 98 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