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

Ping example #366

Closed
treiher opened this issue Jul 23, 2020 · 0 comments · Fixed by #370
Closed

Ping example #366

treiher opened this issue Jul 23, 2020 · 0 comments · Fixed by #370
Assignees
@treiher

Comments

@treiher
Copy link
Collaborator

treiher commented Jul 23, 2020

No description provided.

@treiher treiher mentioned this issue Jul 27, 2020
Merged
@treiher treiher self-assigned this Jul 27, 2020
senier pushed a commit that referenced this issue Jul 28, 2020
Remove no-verification warning in graph generation
eb38976 
Ref. #366
senier pushed a commit that referenced this issue Jul 28, 2020
Make generation of message locations optional
8cf8ba3 
Ref. #366
senier pushed a commit that referenced this issue Jul 28, 2020
Fix layout
f032455 
Ref. #366
treiher pushed a commit that referenced this issue Jul 28, 2020
@treiher
Remove no-verification warning in graph generation
9f7d3e7 
Ref. #366
treiher added a commit that referenced this issue Jul 28, 2020
@treiher
Add tests for ping example
0e8b874 
Ref. #366
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Remove no-verification warning in graph generation
537b183 
Ref. #366
treiher added a commit that referenced this issue Jul 29, 2020
@treiher
Add tests for ping example
d0b5ef1 
Ref. #366
treiher added a commit that referenced this issue Jul 29, 2020
@treiher
Add tests for ping example
208c840 
Ref. #366
treiher added a commit that referenced this issue Jul 29, 2020
@treiher
Improve test coverage
5c35a20 
Ref. #366
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Remove no-verification warning in graph generation
584a975 
Ref. #366
treiher added a commit that referenced this issue Jul 29, 2020
@treiher
Add tests for ping example
390c772 
Ref. #366
treiher added a commit that referenced this issue Jul 29, 2020
@treiher
Improve test coverage
cc41190 
Ref. #366
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Remove no-verification warning in graph generation
0025c6f 
Ref. #366
treiher added a commit that referenced this issue Jul 29, 2020
@treiher
Add tests for ping example
d59b230 
Ref. #366
treiher added a commit that referenced this issue Jul 29, 2020
@treiher
Improve test coverage
29bbe35 
Ref. #366
@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
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 366, 345: Ping example and message graph viewer in GNAT studio AdaCore/RecordFlux
1 participant
@treiher