Search results

Provide a way to dialectic to have an extra encryption tunnel using a session key

Status: Open.

#125 In boltlabs-inc/dialectic;

· gijsvl opened on Jun 23, 2022

Improve type error presentation

enhancementNew feature or requestNew feature or request

Status: Open.

#117 In boltlabs-inc/dialectic;

· plaidfinch opened on Jun 11, 2021

<code>offer!</code> macro does not catch too-small arity

bugSomething isn't workingSomething isn't working

Status: Open.

#115 In boltlabs-inc/dialectic;

· plaidfinch opened on Jun 8, 2021

Backend wrapper restricted by an explicit allow-list

enhancementNew feature or requestNew feature or request

Status: Open.

#113 In boltlabs-inc/dialectic;

· plaidfinch opened on Jun 2, 2021

Make serialization non-dependent on serde

enhancementNew feature or requestNew feature or request

Status: Open.

#107 In boltlabs-inc/dialectic;

· plaidfinch opened on May 7, 2021

Self-documenting <code>offer!()</code> and <code>choose!()</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#101 In boltlabs-inc/dialectic;

· yaymukund opened on Apr 19, 2021

[transmit-case] Ergonomics for <code>Choice&lt;N&gt;</code> bounds

enhancementNew feature or requestNew feature or request

Status: Open.

#100 In boltlabs-inc/dialectic;

· sdleffler opened on Apr 12, 2021

[transmit-case] Issues with <code>TransmitCase</code> by ref

enhancementNew feature or requestNew feature or request

Status: Open.

#99 In boltlabs-inc/dialectic;

· sdleffler opened on Apr 12, 2021

Explicit "unsafe" in session type language

enhancementNew feature or requestNew feature or request

Status: Open.

#80 In boltlabs-inc/dialectic;

· plaidfinch opened on Mar 25, 2021

Multiplexing backend adapter

enhancementNew feature or requestNew feature or request

Status: Open.

#79 In boltlabs-inc/dialectic;

· plaidfinch opened on Mar 25, 2021

Support batching backends

enhancementNew feature or requestNew feature or request

performance

Status: Open.

#76 In boltlabs-inc/dialectic;

· plaidfinch opened on Mar 25, 2021

Add small "real-world" protocol specification/example to the tutorial

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#61 In boltlabs-inc/dialectic;

· sdleffler opened on Mar 10, 2021