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

941edac3

Verified Commit 941edac3 authored 5 months ago by Johannes Hostert

Downloads
- Patches
- Plain Diff

improve readme, extra example, address PR comments

parent bd7a51be

No related branches found

No related tags found

1 merge request!18Tree Borrows update

Pipeline #111275 passed 5 months ago

Stage: build

Changes 6
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

_CoqProject 3 additions, 2 deletions

_CoqProject
theories/tree_borrows/README.md 29 additions, 0 deletions

theories/tree_borrows/README.md
theories/tree_borrows/examples/protected/mutable_reorder_write_up_activated_paper.v 160 additions, 0 deletions

...ples/protected/mutable_reorder_write_up_activated_paper.v
theories/tree_borrows/examples/unprotected/shared_delete_read_escaped.v 18 additions, 10 deletions

...borrows/examples/unprotected/shared_delete_read_escaped.v
theories/tree_borrows/read_read_reorder/equivalence_def.v 34 additions, 0 deletions

theories/tree_borrows/read_read_reorder/equivalence_def.v
theories/tree_borrows/read_read_reorder/read_reorder.v 23 additions, 11 deletions

theories/tree_borrows/read_read_reorder/read_reorder.v

with 267 additions and 23 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