Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Iris
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Service Desk

Snippets Groups Projects

55e78d6f

Commit 55e78d6f authored 2 years ago by Robbert Krebbers

Downloads
- Plain Diff

Merge branch 'cost' into 'master'

use term 'cost' of an instance rather than 'priority'

See merge request !833

parents 4e9a1ec7 2445a4ea

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 8
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

iris/algebra/updates.v 2 additions, 2 deletions

iris/algebra/updates.v
iris/bi/interface.v 2 additions, 2 deletions

iris/bi/interface.v
iris/proofmode/class_instances.v 2 additions, 2 deletions

iris/proofmode/class_instances.v
iris/proofmode/class_instances_later.v 1 addition, 1 deletion

iris/proofmode/class_instances_later.v
iris/proofmode/classes.v 2 additions, 1 deletion

iris/proofmode/classes.v
iris/proofmode/frame_instances.v 16 additions, 16 deletions

iris/proofmode/frame_instances.v
iris_heap_lang/class_instances.v 1 addition, 1 deletion

iris_heap_lang/class_instances.v
tests/proofmode_iris.v 1 addition, 1 deletion

tests/proofmode_iris.v

with 27 additions and 26 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