Search results

Session types over tcp?

Status: Open.

#71 In Munksgaard/session-types;

· S3j5b0 opened on Mar 4, 2022

Travis CI error

Status: Open.

#64 In Munksgaard/session-types;

· Munksgaard opened on Sep 3, 2020

Sending Chan

Status: Open.

#63 In Munksgaard/session-types;

· NicolasLagaillardie opened on Nov 21, 2019

Configurable Chan implementation?

Status: Open.

#62 In Munksgaard/session-types;

· rw opened on Nov 20, 2019

Independent feedback while working on the same problem

Status: Open.

#60 In Munksgaard/session-types;

· WildCryptoFox opened on Jun 7, 2019

Add a proto!() macro

enhancement

Status: Open.

#44 In Munksgaard/session-types;

· laumann opened on May 24, 2018

Add rustfmt pass to travis testing

Status: Open.

#39 In Munksgaard/session-types;

· Munksgaard opened on Aug 28, 2017

Recursive protocols without Rec and Var

Status: Open.

#32 In Munksgaard/session-types;

· ebfull opened on Nov 14, 2015

Better choose API

Status: Open.

#28 In Munksgaard/session-types;

· ebfull opened on Oct 22, 2015

Unnecessary transmutes

Status: Open.

#27 In Munksgaard/session-types;

· ebfull opened on Oct 21, 2015

zero() might not be implemented correctly

Status: Open.

#25 In Munksgaard/session-types;

· ebfull opened on Oct 21, 2015