index
:
session-types
master
Session Types for Rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2021-03-26
Merge pull request #70 from Munksgaard/cron
HEAD
master
Philip Munksgaard
2021-03-26
Run CI daily
Philip Munksgaard
2021-03-22
Update README.md
Philip Munksgaard
2021-03-22
Merge pull request #69 from Munksgaard/better-ci
Philip Munksgaard
2021-03-22
Fix clippy warnings
Philip Munksgaard
2021-03-22
Use actions-rs instead of plain checkout and cargo
Philip Munksgaard
2021-03-22
Merge pull request #68 from Munksgaard/fmt
Philip Munksgaard
2021-03-22
Apply formatting
Philip Munksgaard
2021-03-22
Add formatting check to CI
Philip Munksgaard
2021-03-22
Merge pull request #67 from Munksgaard/bump-deps
Philip Munksgaard
2021-03-22
Bump dependencies
Philip Munksgaard
2021-03-22
Merge pull request #66 from Munksgaard/Munksgaard-patch-1
Philip Munksgaard
2021-03-22
Get rid of travis
Philip Munksgaard
2021-03-22
Create rust.yml
Philip Munksgaard
2019-03-30
Fix version number in readme
Philip Munksgaard
2019-03-30
Merge pull request #59 from Munksgaard/to-0.3.0
Philip Munksgaard
2019-03-30
Bump version to 0.3.0
Philip Munksgaard
2019-03-29
Merge pull request #58 from Manishearth/better-unsafety
Manish Goregaokar
2019-03-29
Remove transmutes
Manish Goregaokar
2019-03-29
Use raw pointers in channels
Manish Goregaokar
2019-03-29
Better destructor bomb defusal
Manish Goregaokar
2019-03-29
Add test for segfault
Philip Munksgaard
2018-12-28
Merge branch 'improve-readme'
Thomas Bracht Laumann Jespersen
2018-12-18
Merge pull request #55 from Munksgaard/many-clients-session-types
Philip Munksgaard
2018-12-18
examples/many-clients: Use only session-typed channels
Thomas Bracht Laumann Jespersen
2018-12-18
docs: Put the more elaborate example in its own section
Thomas Bracht Laumann Jespersen
2018-12-18
docs: Add note on Eps being its own dual
Thomas Bracht Laumann Jespersen
2018-12-18
docs: Add channel types to example program
Thomas Bracht Laumann Jespersen
2018-12-18
docs: Address review comments for "Protocol types" section in README
Thomas Bracht Laumann Jespersen
2018-12-18
docs: Expand the README even more
Thomas Bracht Laumann Jespersen
2018-12-17
Merge pull request #50 from Munksgaard/port-to-crossbeam
Philip Munksgaard
2018-12-17
Remove unused import
Philip Munksgaard
2018-12-17
Specify target_rustcflags directly instead of relying on link_deps
Philip Munksgaard
2018-12-17
Remove unnecessary let bindings
Philip Munksgaard
2018-12-08
Use crossbeam-channel 0.3.3
Philip Munksgaard
2018-12-04
Address review comments
Philip Munksgaard
2018-12-04
Remove some warnings
Philip Munksgaard
2018-12-03
Remove chan_select feature
Philip Munksgaard
2018-12-03
Fix compiletest tests
Philip Munksgaard
2018-12-03
Port ChanSelect to use Select::ready
Philip Munksgaard
2018-12-03
Use the new Select::ready to implement hselect
Philip Munksgaard
2018-12-03
Initial work porting to use crossbeam instead of mpsc_select
Philip Munksgaard
2018-11-22
examples: Add initial instructions to echo-server
Thomas Bracht Laumann Jespersen
2018-11-22
examples: Minor fixes for echo-server
Thomas Bracht Laumann Jespersen
2018-11-21
Merge pull request #52 from Munksgaard/expand-readme
Philip Munksgaard
2018-11-21
Expand the README
Thomas Bracht Laumann Jespersen
2018-10-31
Merge pull request #51 from Munksgaard/Munksgaard-patch-1
Philip Munksgaard
2018-10-29
Bump compiletest
Philip Munksgaard
2018-10-29
Merge pull request #49 from Munksgaard/seal-hasdual-trait
Philip Munksgaard
2018-10-28
Add compile-fail test to assert HasDual is sealed
Thomas Bracht Laumann Jespersen
[next]