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

#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

#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

#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

#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

#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