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.

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

Issue 47: Extend model by protocol sessions #382

Merged
merged 127 commits into from
Aug 19, 2020
Merged

Issue 47: Extend model by protocol sessions #382

merged 127 commits into from
Aug 19, 2020

Conversation

senier
Copy link
Member

@senier senier commented Aug 1, 2020

Close #47
Close #134
Close #135
Close #136
Close #137

  • Add state machine model (aka. sessions)
  • Support preliminary YAML syntax used in GreenTLS
  • Implement graphs for sessions

@senier senier requested review from jklmnn and treiher August 2, 2020 06:40
rflx/cli.py Show resolved Hide resolved
rflx/expression.py Outdated Show resolved Hide resolved
rflx/expression.py Outdated Show resolved Hide resolved
rflx/expression.py Show resolved Hide resolved
rflx/expression.py Outdated Show resolved Hide resolved
rflx/expression.py Outdated Show resolved Hide resolved
rflx/expression.py Outdated Show resolved Hide resolved
rflx/parser/session.py Show resolved Hide resolved
rflx/parser/session.py Show resolved Hide resolved
rflx/parser/session.py Show resolved Hide resolved
rflx/expression.py Outdated Show resolved Hide resolved
rflx/session.py Outdated Show resolved Hide resolved
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
rflx/sessionfile.py Show resolved Hide resolved
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
treiher added a commit that referenced this pull request Aug 11, 2020
@treiher
Copy link
Collaborator

treiher commented Aug 17, 2020

@senier Please have a look at my changes and open questions. It would be nice if you could also rebase the branch to develop. I suppose you are more confident in resolving the graph-related conflicts. I think we should only change small things on this PR, so that we can merge it soon.

rflx/error.py Outdated Show resolved Hide resolved
@senier
Copy link
Member Author

senier commented Aug 19, 2020

@senier Please have a look at my changes and open questions. It would be nice if you could also rebase the branch to develop. I suppose you are more confident in resolving the graph-related conflicts. I think we should only change small things on this PR, so that we can merge it soon.

Done.

@treiher treiher requested a review from jklmnn August 19, 2020 08:30
@treiher treiher merged commit 02d9feb into develop Aug 19, 2020
@treiher treiher deleted the issue_47 branch August 19, 2020 11:39
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher added a commit that referenced this pull request Aug 19, 2020
treiher pushed a commit that referenced this pull request Aug 19, 2020
treiher pushed a commit that referenced this pull request Aug 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants