-
Notifications
You must be signed in to change notification settings - Fork 3
Issues: boltlabs-inc/dialectic
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Provide a way to dialectic to have an extra encryption tunnel using a session key
#125
opened Jun 23, 2022 by
gijsvl
2 tasks
Improve type error presentation
enhancement
New feature or request
#117
opened Jun 11, 2021 by
plaidfinch
offer!
macro does not catch too-small arity
bug
#115
opened Jun 8, 2021 by
plaidfinch
Backend wrapper restricted by an explicit allow-list
enhancement
New feature or request
#113
opened Jun 2, 2021 by
plaidfinch
Make serialization non-dependent on serde
enhancement
New feature or request
#107
opened May 7, 2021 by
plaidfinch
Self-documenting New feature or request
offer!()
and choose!()
enhancement
#101
opened Apr 19, 2021 by
yaymukund
[transmit-case] Ergonomics for New feature or request
Choice<N>
bounds
enhancement
#100
opened Apr 12, 2021 by
sdleffler
[transmit-case] Issues with New feature or request
TransmitCase
by ref
enhancement
#99
opened Apr 12, 2021 by
sdleffler
Explicit "unsafe" in session type language
enhancement
New feature or request
#80
opened Mar 25, 2021 by
plaidfinch
Multiplexing backend adapter
enhancement
New feature or request
#79
opened Mar 25, 2021 by
plaidfinch
Support batching backends
enhancement
New feature or request
performance
#76
opened Mar 25, 2021 by
plaidfinch
Add small "real-world" protocol specification/example to the tutorial
documentation
Improvements or additions to documentation
enhancement
New feature or request
#61
opened Mar 10, 2021 by
sdleffler
Validity checking for sessions
enhancement
New feature or request
#43
opened Feb 23, 2021 by
plaidfinch
Enumerative and random testing for macro compiler
macros
#40
opened Feb 23, 2021 by
plaidfinch
1 of 2 tasks
ProTip!
What’s not been updated in a month: updated:<2024-11-02.