Munksgaard session-types issues

Munksgaard / session-types

MIT License

555 stars 21 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

rudra

#73 Munksgaard closed 10 months ago
0
Fix clippy warnings

#72 Munksgaard closed 2 years ago
0
Session types over tcp?

#71 S3j5b0 opened 2 years ago
7
Run CI daily

#70 Munksgaard closed 3 years ago
0
Use actions-rs instead of plain checkout and cargo

#69 Munksgaard closed 3 years ago
0
Add formatting check to CI

#68 Munksgaard closed 3 years ago
1
Bump dependencies

#67 Munksgaard closed 3 years ago
0
Use github actions instead of travis

#66 Munksgaard closed 3 years ago
2
Move to Github actions

#65 Munksgaard closed 3 years ago
3
Travis CI error

#64 Munksgaard opened 4 years ago
11
Sending Chan

#63 NicolasLagaillardie opened 5 years ago
0
Configurable Chan implementation?

#62 rw opened 5 years ago
1
Bump dependencies

#61 Munksgaard closed 3 years ago
1
Independent feedback while working on the same problem

#60 WildCryptoFox opened 5 years ago
4
Bump version to 0.3.0

#59 Munksgaard closed 5 years ago
0
Improve unsafe code

#58 Manishearth closed 5 years ago
7
Add test for segfault

#57 Munksgaard closed 5 years ago
2
Segmentation fault

#56 Munksgaard closed 5 years ago
16
examples/many-clients: Use only session-typed channels

#55 laumann closed 5 years ago
1
docs: Expand the README even more

#54 laumann closed 5 years ago
3
Polish the echo-server example a bit

#53 laumann closed 6 years ago
2
Expand the README

#52 laumann closed 6 years ago
0
Bump compiletest

#51 Munksgaard closed 6 years ago
0
Port to use crossbeam instead of mpsc_select

#50 Munksgaard closed 5 years ago
4
Seal HasDual trait

#49 laumann closed 6 years ago
1
Add some badges to README.md

#48 Munksgaard closed 6 years ago
0
Fix the version of rand and fix planeclip example

#47 Munksgaard closed 6 years ago
0
Clean up dependencies

#46 Munksgaard closed 6 years ago
1
mpsc is being deprecated/removed

#45 Munksgaard closed 5 years ago
7
Add a proto!() macro

#44 laumann opened 6 years ago
1
Suggestion: User provided Message types

#43 gterzian closed 6 years ago
4
Fix version of compiletest to 0.3.11

#42 laumann closed 6 years ago
0
Handle some of the reported by clippy

#41 laumann closed 7 years ago
7
Add rustfmt to .travis.yml

#40 Munksgaard closed 3 years ago
1
Add rustfmt pass to travis testing

#39 Munksgaard opened 7 years ago
0
Prepend $crate:: to the Left and Right branches in offer! and try_offer! macros

#38 spearman closed 7 years ago
1
Fix problems reported by clippy

#37 laumann closed 7 years ago
0
rustfmt

#36 Munksgaard closed 7 years ago
2
Fix failing travis build

#35 Munksgaard closed 7 years ago
0
Add try_* operations for recv and offer

#34 spearman closed 7 years ago
3
Readme link broken

#33 NoraCodes closed 7 years ago
2
Recursive protocols without Rec and Var

#32 ebfull opened 9 years ago
2
Allow building on stable rust by making chan_select an optional feature.

#31 zrneely closed 9 years ago
9
Building on Stable

#29 zrneely closed 9 years ago
5
Better choose API

#28 ebfull opened 9 years ago
7
Unnecessary transmutes

#27 ebfull opened 9 years ago
3
Added .pop() to Chan as a complete alternative to .succ() and .zero().

#26 ebfull opened 9 years ago
4
zero() might not be implemented correctly

#25 ebfull opened 9 years ago
6
Change the license to MIT

#24 Munksgaard closed 9 years ago
4
Arity specialized branching constructs

#23 Munksgaard opened 9 years ago
8