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

DHCP client #675

Closed
8 tasks done
treiher opened this issue Jun 16, 2021 · 0 comments · Fixed by #704
Closed
8 tasks done

DHCP client #675

treiher opened this issue Jun 16, 2021 · 0 comments · Fixed by #704
Assignees
@treiher
Projects
RecordFlux 0.5

Comments

@treiher
Copy link
Collaborator

treiher commented Jun 16, 2021 •
edited

Add a simple DHCP client as an example for the use of session specifications.

  • Specify DHCP message
  • Specify simplified DHCP client session
  • Design Ada implementation of DHCP client session
  • Implement code generator for sessions
  • Refine specification of DHCP client session
  • Extend code generator (if necessary)
  • Add tests
  • Ensure provability of generated code
@treiher treiher added this to To do in RecordFlux 0.7 via automation Jun 16, 2021
@treiher treiher removed this from To do in RecordFlux 0.7 Jul 21, 2021
@treiher treiher added this to To do in RecordFlux 0.5 via automation Jul 21, 2021
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Jul 21, 2021
@treiher treiher self-assigned this Jul 21, 2021
treiher added a commit that referenced this issue Jul 23, 2021
@treiher
Add DHCP client example
8d2bbce 
Ref. #675
treiher added a commit that referenced this issue Jul 23, 2021
@treiher
Update proof session and shape files
a5f54ab 
Ref. #675
@treiher treiher moved this from In progress to Under review in RecordFlux 0.5 Jul 23, 2021
@treiher treiher mentioned this issue Jul 23, 2021
Merged
treiher added a commit that referenced this issue Jul 23, 2021
@treiher
Add DHCP client example
44986ee 
Ref. #675
treiher added a commit that referenced this issue Jul 23, 2021
@treiher
Update proof session and shape files
94f31c6 
Ref. #675
treiher added a commit that referenced this issue Jul 27, 2021
@treiher
Add DHCP client example
9c0f414 
Ref. #675
treiher added a commit that referenced this issue Jul 27, 2021
@treiher
Update proof session and shape files
59032f8 
Ref. #675
RecordFlux 0.5 automation moved this from Under review to Merged Jul 28, 2021
treiher added a commit that referenced this issue Jul 28, 2021
@treiher
Add DHCP client example
f2bbad0 
Ref. #675
treiher added a commit that referenced this issue Jul 28, 2021
@treiher
Update proof session and shape files
97337bb 
Ref. #675
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
None yet
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 292, 506, 675, 703, 707: Add initial support of protocol session in SPARK AdaCore/RecordFlux
1 participant
@treiher