Skip to content

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.

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

14 Open 29 Closed
14 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

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
@yaymukund
offer! macro does not catch too-small arity bug Something isn't working
#115 opened Jun 8, 2021 by plaidfinch
1
@sdleffler
Backend wrapper restricted by an explicit allow-list enhancement New feature or request
#113 opened Jun 2, 2021 by plaidfinch
@plaidfinch
Make serialization non-dependent on serde enhancement New feature or request
#107 opened May 7, 2021 by plaidfinch
@plaidfinch
5
Self-documenting offer!() and choose!() enhancement New feature or request
#101 opened Apr 19, 2021 by yaymukund
3
[transmit-case] Ergonomics for Choice<N> bounds enhancement New feature or request
#100 opened Apr 12, 2021 by sdleffler
1
[transmit-case] Issues with TransmitCase by ref enhancement New feature or request
#99 opened Apr 12, 2021 by sdleffler
1
Explicit "unsafe" in session type language enhancement New feature or request
#80 opened Mar 25, 2021 by plaidfinch
2
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
1
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
1
Validity checking for sessions enhancement New feature or request
#43 opened Feb 23, 2021 by plaidfinch
@plaidfinch
Enumerative and random testing for macro compiler macros
#40 opened Feb 23, 2021 by plaidfinch
1 of 2 tasks
@plaidfinch
ProTip! Type g i on any issue or pull request to go back to the issue listing page.