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

Issue 292, 506, 675, 703, 707: Add initial support of protocol session in SPARK #704

Merged
merged 19 commits into from
Jul 28, 2021
Merged

Issue 292, 506, 675, 703, 707: Add initial support of protocol session in SPARK #704

merged 19 commits into from
Jul 28, 2021

Conversation

treiher
Copy link
Collaborator

@treiher treiher commented Jul 23, 2021 •
edited
Loading

@treiher treiher requested a review from senier July 23, 2021 12:26
@treiher treiher changed the title Issue 292, 506, 675, 703: Add initial support of protocol session in SPARK Issue 292, 506, 675, 703, 707: Add initial support of protocol session in SPARK Jul 27, 2021
senier
senier suggested changes Jul 27, 2021
View reviewed changes
README.md Show resolved Hide resolved
doc/Language-Reference.adoc Outdated Show resolved Hide resolved
doc/Language-Reference.adoc Outdated Show resolved Hide resolved
rflx/generator/generator.py Outdated Show resolved Hide resolved
doc/Language-Reference.adoc Outdated Show resolved Hide resolved
rflx/generator/session.py Outdated Show resolved Hide resolved
rflx/generator/session.py Show resolved Hide resolved
rflx/generator/session.py Outdated Show resolved Hide resolved
rflx/generator/session.py Outdated Show resolved Hide resolved
rflx/generator/session.py Outdated Show resolved Hide resolved
@treiher
Remove session specification for TLS handshake protocol
f85752f 
Ref. #292
@treiher
Remove session specification for TLS record layer
2c7e988 
Ref. #292
@treiher
Add unit tests
7e34e6f 
Ref. #292
@treiher
Improve check message in case of wrong instantation
cab5dd4 
Ref. #292
@treiher
Add tool for tracing requirements
bf9d17c 
Ref. #292
@treiher
Improve documentation check
7b42d49 
Ref. #506
@treiher
Extend language reference
d4ce969 
Ref. #506
@treiher
Add code generation for sessions
faec29b 
Ref. #292
@treiher
Add DHCP client example
9c0f414 
Ref. #675
@treiher
Update proof session and shape files
59032f8 
Ref. #675
@treiher
Improve language reference
ed8c4f0 
- Use AsciiDoc instead of Markdown
- Adapt documentation check to AsciiDoc format
- Improve layout of syntax rules
- Add cross references between syntax rules

Ref. #703
@treiher
Change semantics of Write and Reset for messages
e4ca0bd 
Ref. #707
@treiher
Enable controlling debug output in generated code using CLI
0a0f6a9 
Ref. #292
@treiher
Consider exception transitions in reachabililty analysis
a8a465a 
Ref. #292
@treiher
Improve language reference
a1fbddd 
Ref. #292, #704
@treiher
Improve DHCP example app
7a75769 
Ref. #292, #704
@treiher
Rename BinAdd to Concatenation
a299018 
Ref. #292, #704
@treiher
Improve documentation of session generator
b436967 
Ref. #292, #704
@treiher treiher requested a review from senier July 27, 2021 19:40
@treiher treiher merged commit 6c7da05 into main Jul 28, 2021
@treiher treiher deleted the issue_292 branch July 28, 2021 13:49
treiher added a commit that referenced this pull request Jul 28, 2021
@treiher
Improve language reference
9f22021 
Ref. #292, #704
treiher added a commit that referenced this pull request Jul 28, 2021
@treiher
Improve DHCP example app
4ab5440 
Ref. #292, #704
treiher added a commit that referenced this pull request Jul 28, 2021
@treiher
Rename BinAdd to Concatenation
6ea2770 
Ref. #292, #704
treiher added a commit that referenced this pull request Jul 28, 2021
@treiher
Improve documentation of session generator
b7f16ab 
Ref. #292, #704
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@senier senier senier approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@treiher @senier