Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Typed Framework for pipelined protocols #175

Closed
coot opened this issue Jan 24, 2019 · 1 comment
Closed

Typed Framework for pipelined protocols #175

coot opened this issue Jan 24, 2019 · 1 comment
Assignees
@coot @dcoutts
Labels
task
Milestone
Network_Mini-Prot...

Comments

@coot
Copy link
Contributor

coot commented Jan 24, 2019 •
edited
Loading

Develop a typed framework for pipelined protocols.

The criteria for submission are:

  • type level description for protocols
  • PingPong protocol with tests
    • using direct (in simulation and in IO)
    • connect and pipelined connect (in simulation and in IO)
    • using a channel over data channel, bytestring channel (in simulation and in IO)
    • using a local pipe
  • codec, channels and a driver
@coot coot assigned coot and dcoutts Jan 24, 2019
@coot coot added this to the Mini-Protocols milestone Jan 24, 2019
@coot coot added the task label Jan 24, 2019
@coot
Copy link
Contributor Author

coot commented Feb 25, 2019

Done in a series of PRs:

@coot coot closed this as completed Feb 25, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@coot coot

@dcoutts dcoutts

Labels
task
Projects
None yet
Milestone
Network_Mini-Protocols
Development

No branches or pull requests
2 participants
@coot @dcoutts