Munksgaard/session-types

Issues

• Recursive protocols without Rec and Var

  #32 opened 9 years ago by ebfull
  2

• Session types over tcp?

  #71 opened 3 years ago by S3j5b0
  7

• Travis CI error

  #64 opened 4 years ago by Munksgaard
  11

• Move to Github actions

  #65 opened 3 years ago by Munksgaard
  3

• Sending Chan

  #63 opened 5 years ago by NicolasLagaillardie
  0

• Configurable Chan implementation?

  #62 opened 5 years ago by rw
  1

• Independent feedback while working on the same problem

  #60 opened 5 years ago by WildCryptoFox
  4

• Segmentation fault

  #56 opened 5 years ago by Munksgaard
  16

• mpsc is being deprecated/removed

  #45 opened 6 years ago by Munksgaard
  7

• Add a proto!() macro

  #44 opened 6 years ago by laumann
  1

• Fix problems reported by clippy

  #37 opened 7 years ago by laumann
  0

• Add rustfmt pass to travis testing

  #39 opened 7 years ago by Munksgaard
  0

• Readme link broken

  #33 opened 8 years ago by NoraCodes
  2

• Better choose API

  #28 opened 9 years ago by ebfull
  7

• Unnecessary transmutes

  #27 opened 9 years ago by ebfull
  3

• Building on Stable

  #29 opened 9 years ago by zrneely
  5

• zero() might not be implemented correctly

  #25 opened 9 years ago by ebfull
  6

• Make `unsafe_read_chan` and `unsafe_write_chan` unsafe

  #13 opened 9 years ago by Munksgaard
  3

• Dont use Result for `offer`

  #14 opened 9 years ago by Munksgaard
  2

• Potential safety issue

  #8 opened 9 years ago by laumann
  12

• Disallow non-unit environments in `accept`, `request` etc.

  #4 opened 9 years ago by Munksgaard
  3