Munksgaard/session-types issues and pull requests

#73 - rudra

Pull Request - State: closed - Opened by Munksgaard almost 2 years ago

#72 - Fix clippy warnings

Pull Request - State: closed - Opened by Munksgaard over 2 years ago

#71 - Session types over tcp?

Issue - State: open - Opened by S3j5b0 over 2 years ago - 7 comments

#70 - Run CI daily

Pull Request - State: closed - Opened by Munksgaard over 3 years ago

#69 - Use actions-rs instead of plain checkout and cargo

Pull Request - State: closed - Opened by Munksgaard over 3 years ago

#68 - Add formatting check to CI

Pull Request - State: closed - Opened by Munksgaard over 3 years ago - 1 comment

#67 - Bump dependencies

Pull Request - State: closed - Opened by Munksgaard over 3 years ago

#66 - Use github actions instead of travis

Pull Request - State: closed - Opened by Munksgaard over 3 years ago - 2 comments

#65 - Move to Github actions

Issue - State: closed - Opened by Munksgaard almost 4 years ago - 3 comments

#64 - Travis CI error

Issue - State: open - Opened by Munksgaard about 4 years ago - 11 comments

#63 - Sending Chan

Issue - State: open - Opened by NicolasLagaillardie about 5 years ago

#62 - Configurable Chan implementation?

Issue - State: open - Opened by rw about 5 years ago - 1 comment

#61 - Bump dependencies

Pull Request - State: closed - Opened by Munksgaard about 5 years ago - 1 comment

#60 - Independent feedback while working on the same problem

Issue - State: open - Opened by WildCryptoFox over 5 years ago - 4 comments

#59 - Bump version to 0.3.0

Pull Request - State: closed - Opened by Munksgaard over 5 years ago

#58 - Improve unsafe code

Pull Request - State: closed - Opened by Manishearth over 5 years ago - 7 comments

#57 - Add test for segfault

Pull Request - State: closed - Opened by Munksgaard over 5 years ago - 2 comments

#56 - Segmentation fault

Issue - State: closed - Opened by Munksgaard over 5 years ago - 16 comments
Labels: bug

#55 - examples/many-clients: Use only session-typed channels

Pull Request - State: closed - Opened by laumann almost 6 years ago - 1 comment

#54 - docs: Expand the README even more

Pull Request - State: closed - Opened by laumann almost 6 years ago - 3 comments

#53 - Polish the echo-server example a bit

Pull Request - State: closed - Opened by laumann about 6 years ago - 2 comments

#52 - Expand the README

Pull Request - State: closed - Opened by laumann about 6 years ago

#51 - Bump compiletest

Pull Request - State: closed - Opened by Munksgaard about 6 years ago

#50 - Port to use crossbeam instead of mpsc_select

Pull Request - State: closed - Opened by Munksgaard about 6 years ago - 4 comments

#49 - Seal HasDual trait

Pull Request - State: closed - Opened by laumann about 6 years ago - 1 comment

#48 - Add some badges to README.md

Pull Request - State: closed - Opened by Munksgaard about 6 years ago

#47 - Fix the version of rand and fix planeclip example

Pull Request - State: closed - Opened by Munksgaard about 6 years ago

#46 - Clean up dependencies

Pull Request - State: closed - Opened by Munksgaard about 6 years ago - 1 comment

#45 - mpsc is being deprecated/removed

Issue - State: closed - Opened by Munksgaard about 6 years ago - 7 comments

#44 - Add a proto!() macro

Issue - State: open - Opened by laumann over 6 years ago - 1 comment
Labels: enhancement

#43 - Suggestion: User provided Message types

Pull Request - State: closed - Opened by gterzian over 6 years ago - 4 comments

#42 - Fix version of compiletest to 0.3.11

Pull Request - State: closed - Opened by laumann over 6 years ago

#41 - Handle some of the reported by clippy

Pull Request - State: closed - Opened by laumann about 7 years ago - 7 comments

#40 - Add rustfmt to .travis.yml

Pull Request - State: closed - Opened by Munksgaard about 7 years ago - 1 comment

#39 - Add rustfmt pass to travis testing

Issue - State: open - Opened by Munksgaard about 7 years ago

#38 - Prepend $crate:: to the Left and Right branches in offer! and try_offer! macros

Pull Request - State: closed - Opened by spearman over 7 years ago - 1 comment

#37 - Fix problems reported by clippy

Issue - State: closed - Opened by laumann over 7 years ago

#36 - rustfmt

Pull Request - State: closed - Opened by Munksgaard over 7 years ago - 2 comments

#35 - Fix failing travis build

Pull Request - State: closed - Opened by Munksgaard over 7 years ago

#34 - Add try_* operations for recv and offer

Pull Request - State: closed - Opened by spearman over 7 years ago - 3 comments

#33 - Readme link broken

Issue - State: closed - Opened by NoraCodes almost 8 years ago - 2 comments

#32 - Recursive protocols without Rec and Var

Issue - State: open - Opened by ebfull about 9 years ago - 2 comments

#31 - Allow building on stable rust by making chan_select an optional feature.

Pull Request - State: closed - Opened by zrneely about 9 years ago - 9 comments

#29 - Building on Stable

Issue - State: closed - Opened by zrneely about 9 years ago - 5 comments

#28 - Better choose API

Issue - State: open - Opened by ebfull about 9 years ago - 7 comments

#27 - Unnecessary transmutes

Issue - State: open - Opened by ebfull about 9 years ago - 3 comments

#26 - Added .pop() to Chan as a complete alternative to .succ() and .zero().

Pull Request - State: open - Opened by ebfull about 9 years ago - 4 comments

#25 - zero() might not be implemented correctly

Issue - State: open - Opened by ebfull about 9 years ago - 6 comments

#24 - Change the license to MIT

Pull Request - State: closed - Opened by Munksgaard about 9 years ago - 4 comments

#23 - Arity specialized branching constructs

Pull Request - State: open - Opened by Munksgaard about 9 years ago - 8 comments

#22 - Destructor bomb

Pull Request - State: closed - Opened by Munksgaard about 9 years ago - 11 comments

#21 - Add some more tests

Pull Request - State: closed - Opened by Munksgaard over 9 years ago

#20 - Remove accept, request, and borrow versions

Pull Request - State: closed - Opened by Munksgaard over 9 years ago - 5 comments

#19 - Add examples

Pull Request - State: closed - Opened by Munksgaard over 9 years ago - 5 comments

#18 - Rename unsafe_read_chan -> read_chan and make it unsafe

Pull Request - State: closed - Opened by Munksgaard over 9 years ago

#17 - Don't use Result for offer()

Pull Request - State: closed - Opened by laumann over 9 years ago - 1 comment

#16 - Fix fallout from upgrade to latest nightly

Pull Request - State: closed - Opened by laumann over 9 years ago

#15 - rustup

Pull Request - State: closed - Opened by Munksgaard over 9 years ago

#14 - Dont use Result for `offer`

Issue - State: closed - Opened by Munksgaard over 9 years ago - 2 comments

#13 - Make `unsafe_read_chan` and `unsafe_write_chan` unsafe

Issue - State: closed - Opened by Munksgaard over 9 years ago - 3 comments

#12 - Many clients revisited

Pull Request - State: closed - Opened by Munksgaard over 9 years ago - 5 comments

#11 - Rename

Pull Request - State: closed - Opened by Munksgaard over 9 years ago

#10 - Rename rust-sessions -> session-types

Pull Request - State: closed - Opened by Munksgaard over 9 years ago - 1 comment

#9 - An attempt at making the accept-request interface safe again

Pull Request - State: closed - Opened by laumann over 9 years ago - 2 comments

#8 - Potential safety issue

Issue - State: closed - Opened by laumann over 9 years ago - 12 comments

#7 - Update planeclip example to beta2 + minor changes

Pull Request - State: closed - Opened by laumann over 9 years ago

#6 - Iter constructs

Pull Request - State: closed - Opened by laumann over 9 years ago - 10 comments

#5 - Remove dual env

Pull Request - State: closed - Opened by laumann over 9 years ago - 1 comment

#4 - Disallow non-unit environments in `accept`, `request` etc.

Issue - State: closed - Opened by Munksgaard over 9 years ago - 3 comments

#3 - Fix inference

Pull Request - State: closed - Opened by laumann over 9 years ago

#2 - Chan select offer

Pull Request - State: closed - Opened by laumann over 9 years ago - 2 comments

#1 - Chan select minor changes

Pull Request - State: closed - Opened by laumann over 9 years ago - 1 comment

GitHub / Munksgaard/session-types issues and pull requests