Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add use case from paper #23

Closed
NicolasLagaillardie opened this issue Feb 17, 2020 · 0 comments · Fixed by #26
Closed

Add use case from paper #23

NicolasLagaillardie opened this issue Feb 17, 2020 · 0 comments · Fixed by #26
Assignees
@NicolasLagaillardie

Comments

@NicolasLagaillardie
Copy link
Owner

No description provided.

@NicolasLagaillardie NicolasLagaillardie self-assigned this Feb 17, 2020
NicolasLagaillardie added a commit that referenced this issue Feb 17, 2020
@NicolasLagaillardie
#23 Tests work, but close_mpst doesn't
2ddfb23
NicolasLagaillardie added a commit that referenced this issue Feb 18, 2020
@NicolasLagaillardie
#23 tried something useless
6aa8575
@NicolasLagaillardie NicolasLagaillardie linked a pull request Feb 18, 2020 that will close this issue
Tried expliciting roles but useless #24
Closed
NicolasLagaillardie added a commit that referenced this issue Feb 19, 2020
@NicolasLagaillardie
#23 Fixed offer, adapted choose.rs test
2361b97
NicolasLagaillardie added a commit that referenced this issue Feb 19, 2020
@NicolasLagaillardie
#23 Started to add usecase
a0c0b4f
NicolasLagaillardie added a commit that referenced this issue Feb 20, 2020
@NicolasLagaillardie
#23 created run_process
7b07b3f
NicolasLagaillardie added a commit that referenced this issue Feb 20, 2020
@NicolasLagaillardie
#23 Tried recursivity with enum
8280731
NicolasLagaillardie added a commit that referenced this issue Feb 20, 2020
@NicolasLagaillardie
#23 Added another branch for Choose, wrote usecase
4b39734
NicolasLagaillardie added a commit that referenced this issue Feb 21, 2020
@NicolasLagaillardie
#23 Added working simple case
f19c6e7
@NicolasLagaillardie NicolasLagaillardie linked a pull request Feb 21, 2020 that will close this issue
23 add use case from paper #26
Merged
@NicolasLagaillardie NicolasLagaillardie removed a link to a pull request Feb 21, 2020
Tried expliciting roles but useless #24
Closed
NicolasLagaillardie added a commit that referenced this issue Feb 24, 2020
@NicolasLagaillardie
#23 Added macro, still working on recursivity
b945f6d
NicolasLagaillardie added a commit that referenced this issue Feb 24, 2020
@NicolasLagaillardie
#23 Started to understand recursivity, broke my teeth on sending thir…
c7bbfc2 
…d session
NicolasLagaillardie added a commit that referenced this issue Feb 24, 2020
@NicolasLagaillardie
#23 Fixed soft-depreciated -e.description()-
b14dc08
NicolasLagaillardie added a commit that referenced this issue Feb 25, 2020
@NicolasLagaillardie
#23 Implemented recursivity
43a95d6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@NicolasLagaillardie NicolasLagaillardie

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

23 add use case from paper NicolasLagaillardie/mpst_rust_github
1 participant
@NicolasLagaillardie