Skip to content
This repository has been archived by the owner on May 22, 2023. It is now read-only.

ICMP Demo #171

Closed
jklmnn opened this issue May 13, 2020 · 4 comments
Closed

ICMP Demo #171

jklmnn opened this issue May 13, 2020 · 4 comments

Comments

@jklmnn
Copy link
Member

jklmnn commented May 13, 2020

Demo application to generate, send, receive and parse an ICMP Echo/Reply with Gneiss and RecordFlux.
@jklmnn
Copy link
Member Author

jklmnn commented Jun 5, 2020

Fixed by #181.

@jklmnn jklmnn closed this as completed Jun 5, 2020
@senier
Copy link
Member

senier commented Jun 5, 2020

We cannot consider this done due to AdaCore/RecordFlux#174

@senier senier reopened this Jun 5, 2020
@jklmnn
Copy link
Member Author

jklmnn commented Jun 24, 2020

Can this be closed now since AdaCore/RecordFlux#174 and Componolit/gravel#13 have been merged?

@senier
Copy link
Member

senier commented Jun 25, 2020

Yes.

@senier senier closed this as completed Jun 25, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@senier @jklmnn