merge orc11 into gpfsl package to get rid of the diamond dependency (dd483d31) · Commits · Iris / gpfsl · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

G

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

Snippets Groups Projects

dd483d31

Commit dd483d31 authored 5 months ago by Ralf Jung

Downloads
- Patches
- Plain Diff

merge orc11 into gpfsl package to get rid of the diamond dependency

parent 023610f8

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 18
Pipelines 6

Hide whitespace changes

Inline Side-by-side

Showing

_CoqProject 10 additions, 11 deletions

_CoqProject
coq-gpfsl.opam 1 addition, 2 deletions

coq-gpfsl.opam
coq-orc11.opam 0 additions, 17 deletions

coq-orc11.opam
gpfsl-examples/list_helper.v 1 addition, 1 deletion

gpfsl-examples/list_helper.v
gpfsl/algebra/lattice_cmra.v 1 addition, 1 deletion

gpfsl/algebra/lattice_cmra.v
gpfsl/gps/block_ends.v 1 addition, 1 deletion

gpfsl/gps/block_ends.v
gpfsl/gps/protocols.v 1 addition, 1 deletion

gpfsl/gps/protocols.v
gpfsl/lang/lang.v 1 addition, 1 deletion

gpfsl/lang/lang.v
gpfsl/orc11/base.v 0 additions, 0 deletions

gpfsl/orc11/base.v
gpfsl/orc11/event.v 1 addition, 1 deletion

gpfsl/orc11/event.v
gpfsl/orc11/location.v 1 addition, 1 deletion

gpfsl/orc11/location.v
gpfsl/orc11/mem_order.v 1 addition, 1 deletion

gpfsl/orc11/mem_order.v
gpfsl/orc11/memory.v 1 addition, 1 deletion

gpfsl/orc11/memory.v
gpfsl/orc11/progress.v 1 addition, 1 deletion

gpfsl/orc11/progress.v
gpfsl/orc11/thread.v 1 addition, 1 deletion

gpfsl/orc11/thread.v
gpfsl/orc11/tview.v 1 addition, 1 deletion

gpfsl/orc11/tview.v
gpfsl/orc11/value.v 1 addition, 1 deletion

gpfsl/orc11/value.v
gpfsl/orc11/view.v 1 addition, 1 deletion

gpfsl/orc11/view.v

with 25 additions and 44 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