Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

S

simuliris
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

770b45f8

Unverified Commit 770b45f8 authored 1 year ago by Neven Villani

Downloads
- Patches
- Plain Diff

Parameterized Reserved instead of 4 constructors

parent d41614d7

Branches

No related tags found

1 merge request!11Breaking change: `Reserved` now has one constructor instead of 4

Pipeline #93497 passed 1 year ago

Stage: build

Changes 5
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

theories/tree_borrows/bor_semantics.v 58 additions, 32 deletions

theories/tree_borrows/bor_semantics.v
theories/tree_borrows/disjoint.v 7 additions, 7 deletions

theories/tree_borrows/disjoint.v
theories/tree_borrows/lang_base.v 41 additions, 7 deletions

theories/tree_borrows/lang_base.v
theories/tree_borrows/steps_preserve.v 11 additions, 16 deletions

theories/tree_borrows/steps_preserve.v
theories/tree_borrows/steps_wf.v 17 additions, 14 deletions

theories/tree_borrows/steps_wf.v

with 134 additions and 76 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