Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / NicolasLagaillardie/mpst_rust_github issues and pull requests
#102 - updated dependencies and badge
Pull Request -
State: closed - Opened by NicolasLagaillardie 5 months ago
Labels: documentation
#101 - Timed protocols
Pull Request -
State: closed - Opened by NicolasLagaillardie 5 months ago
Labels: enhancement
#100 - Publish mpst seq
Pull Request -
State: closed - Opened by NicolasLagaillardie 5 months ago
Labels: documentation
#99 - Publish mpst seq
Pull Request -
State: closed - Opened by NicolasLagaillardie 5 months ago
Labels: documentation
#98 - RUSTSEC-2021-0127: serde_cbor is unmaintained
Issue -
State: open - Opened by github-actions[bot] 6 months ago
#97 - Update mod.rs
Pull Request -
State: closed - Opened by NicolasLagaillardie about 1 year ago
#96 - Timed protocols
Pull Request -
State: closed - Opened by NicolasLagaillardie over 2 years ago
- 1 comment
Labels: enhancement
#95 - Added response
Pull Request -
State: closed - Opened by NicolasLagaillardie over 2 years ago
Labels: documentation
#94 - Some issues understanding tcp example
Issue -
State: open - Opened by S3j5b0 over 2 years ago
- 1 comment
Labels: enhancement
#93 - Fix choose_mpst!
Issue -
State: closed - Opened by NicolasLagaillardie over 2 years ago
- 1 comment
#92 - Add actual structure RoleName instead of using Role for the Name of the participants
Issue -
State: closed - Opened by NicolasLagaillardie over 2 years ago
#91 - Rumineykova patch 1
Pull Request -
State: closed - Opened by rumineykova almost 3 years ago
#90 - simplifcation
Pull Request -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
#89 - Artifact
Pull Request -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
- 1 comment
#88 - Fix issue with overflow of integers
Issue -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
#87 - Fix issue with thread overflow with baking version of ring/mesh > seven participants (for 100 loops)
Issue -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
#86 - Simplify use of checker_concat! macro
Issue -
State: open - Opened by NicolasLagaillardie almost 3 years ago
#85 - Update Rust minimal version in README
Issue -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
#84 - Reduce workflow time
Issue -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
#83 - Remove send_mpst and recv_mpst macro
Issue -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
#82 - Fix workflows
Issue -
State: closed - Opened by NicolasLagaillardie almost 3 years ago
#81 - [security] make fields private
Issue -
State: open - Opened by NicolasLagaillardie about 3 years ago
- 1 comment
#80 - Transport
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
- 1 comment
#79 - Transport
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
#78 - Transport
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
- 1 comment
#77 - Transport
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
#76 - Transport
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
- 1 comment
#75 - Serialisation (hint)
Issue -
State: open - Opened by NicolasLagaillardie about 3 years ago
#74 - Bottom up
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
- 1 comment
#73 - Documentation
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
- 1 comment
#72 - Documentation
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
#71 - Documentation
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
#70 - Documentation
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
#69 - Documentation
Pull Request -
State: closed - Opened by NicolasLagaillardie about 3 years ago
Labels: documentation
#68 - Github workflow fails because of running out of space
Issue -
State: closed - Opened by NicolasLagaillardie over 3 years ago
#67 - Baking
Pull Request -
State: closed - Opened by NicolasLagaillardie over 3 years ago
- 2 comments
#66 - add recursion
Pull Request -
State: closed - Opened by rkuhn over 3 years ago
- 1 comment
#65 - sketch some much simpler API for some parts
Pull Request -
State: closed - Opened by rkuhn over 3 years ago
#64 - Plugin to read and use DOT files
Issue -
State: open - Opened by NicolasLagaillardie almost 4 years ago
#63 - 56 refactor mpst seq proc
Pull Request -
State: closed - Opened by NicolasLagaillardie almost 4 years ago
- 1 comment
#62 - 57 update toml
Pull Request -
State: closed - Opened by NicolasLagaillardie almost 4 years ago
#61 - Updated version
Pull Request -
State: closed - Opened by NicolasLagaillardie almost 4 years ago
- 1 comment
#60 - Refactor mpst-seq-proc
Issue -
State: closed - Opened by NicolasLagaillardie almost 4 years ago
- 1 comment
#59 - Create shiftleft-analysis.yml
Pull Request -
State: closed - Opened by NicolasLagaillardie almost 4 years ago
#58 - Add parametrisation on the number of participants
Pull Request -
State: closed - Opened by NicolasLagaillardie about 4 years ago
- 1 comment
#57 - Add more flexibility on the name of participants to the checking function
Issue -
State: closed - Opened by NicolasLagaillardie about 4 years ago
#56 - Delete notes.txt
Pull Request -
State: closed - Opened by NicolasLagaillardie about 4 years ago
#55 - Add parametrisation on number of participants
Issue -
State: closed - Opened by NicolasLagaillardie about 4 years ago
#54 - Fully add test for Nested choices
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
- 1 comment
#53 - Force continuation of Role to be the same kind
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#52 - removed 'static
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#51 - Improve macro
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#50 - 49 benchmarks
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#49 - Adding benchmarks
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#48 - 41 update gitignore
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#47 - Add way of checking protocols
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#46 - Improve Github repository
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#45 - Started to improve macro
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#44 - Forgot to change version
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#43 - Fix typos and improve explanations/doc
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#42 - Fixed another mistake in choose.rs
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#41 - Fixed choose.rs
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#40 - Fix choose.rs
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#39 - Improve macro in choose.rs and offer.rs
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#38 - Golden number
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#37 - Update contributors link in README.md
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#36 - Remove the use of Bounded for Role
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
- 1 comment
#35 - Reduce number of Role
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
- 1 comment
#34 - #29 Fixed some typos
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#33 - Update README.md
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#32 - #31 Added code
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#31 - Add build status to README.md
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#30 - 28 implement macro
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#29 - Add (more) doc
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
- 1 comment
#28 - Implement macro
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#27 - Try more explicit roles and send/recv
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#26 - 23 add use case from paper
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#25 - Update issue templates
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#24 - Tried expliciting roles but useless
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#23 - Add use case from paper
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#22 - #10 Added offer/choose and related tests
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#21 - Update rust.yml
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#20 - 19 split code in multiple files
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#19 - Split code in multiple files
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#18 - 17 try new sessionmpst
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#17 - Try new SessionMpst
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#16 - Create rust.yml
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#15 - #10 Started to add roles, issue with Dual
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#14 - Update README.md for tests
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#13 - #7 mapping roles
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#12 - Adding a queue for correct order
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#11 - #7 Mapping roles
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#10 - Adding map roles
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#9 - #3 Save current state
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#8 - #7 Mapping roles
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#7 - Rebase from original library
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#6 - 5 adding gitignore
Pull Request -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#5 - Adding gitignore
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#4 - Update unit tests
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago
#3 - Adding Role parameter to functions
Issue -
State: closed - Opened by NicolasLagaillardie over 4 years ago