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 366, 345: Ping example and message graph viewer in GNAT studio #370

Merged
merged 33 commits into from
Jul 29, 2020
Merged

Issue 366, 345: Ping example and message graph viewer in GNAT studio #370

merged 33 commits into from
Jul 29, 2020

Conversation

treiher
Copy link
Collaborator

@treiher treiher commented Jul 27, 2020 •
edited
Loading

Closes #366
Closes #345

@codecov
Copy link

codecov bot commented Jul 27, 2020 •
edited
Loading

Codecov Report

Merging #370 into develop will decrease coverage by 0.01%.
The diff coverage is 97.50%.

Impacted file tree graph

@@             Coverage Diff             @@
##           develop     #370      +/-   ##
===========================================
- Coverage    98.41%   98.40%   -0.02%     
===========================================
  Files           26       26              
  Lines         4491     4514      +23     
  Branches       752      756       +4     
===========================================
+ Hits          4420     4442      +22     
  Misses          41       41              
- Partials        30       31       +1
Impacted Files Coverage Δ
rflx/cli.py 99.07% <96.00%> (-0.93%) ⬇️
rflx/graph.py 100.00% <100.00%> (ø)
rflx/model.py 99.87% <100.00%> (ø)
rflx/parser/parser.py 100.00% <100.00%> (ø)
rflx/pyrflx/pyrflx.py 100.00% <100.00%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 36713f9...cc41190. Read the comment docs.

treiher
treiher commented Jul 27, 2020
View reviewed changes
ide/gnatstudio/recordflux.py Outdated Show resolved Hide resolved
rflx/cli.py Outdated Show resolved Hide resolved
rflx/cli.py Show resolved Hide resolved
@treiher treiher requested review from senier and jklmnn July 27, 2020 15:58
jklmnn
jklmnn suggested changes Jul 27, 2020
View reviewed changes
examples/ping/ping.gpr Show resolved Hide resolved
senier pushed a commit that referenced this pull request Jul 28, 2020
Always omit verification when generating graphs
2e29cc1 
Ref. #370
@senier senier requested a review from jklmnn July 28, 2020 09:34
senier
senier previously approved these changes Jul 28, 2020
View reviewed changes
jklmnn
jklmnn previously approved these changes Jul 28, 2020
View reviewed changes
@treiher treiher changed the title Issue 366: Ping example Issue 366, 345: Ping example and message graph viewer in GNAT studio Jul 28, 2020
@treiher treiher dismissed stale reviews from jklmnn and senier via 0e8b874 July 28, 2020 17:24
treiher pushed a commit that referenced this pull request Jul 28, 2020
@treiher
Always omit verification when generating graphs
688e4b6 
Ref. #370
jklmnn
jklmnn previously approved these changes Jul 28, 2020
View reviewed changes
senier
senier previously approved these changes Jul 28, 2020
View reviewed changes
@treiher treiher dismissed stale reviews from senier and jklmnn via e7acc5c July 29, 2020 06:03
treiher pushed a commit that referenced this pull request Jul 29, 2020
@treiher
Always omit verification when generating graphs
35b328f 
Ref. #370
@treiher treiher force-pushed the 2020-07_demo branch 5 times, most recently from 87d0df9 to 5c35a20 Compare July 29, 2020 08:09
@treiher treiher requested review from senier and jklmnn July 29, 2020 08:09
senier
senier previously approved these changes Jul 29, 2020
View reviewed changes
jklmnn
jklmnn previously approved these changes Jul 29, 2020
View reviewed changes
treiher and others added 19 commits July 29, 2020 11:16
@treiher
Remove unnecessary code from ping example
ec334bb
@treiher
Add directories
0264e81
@jklmnn @treiher
Add ping framework with socket operations
6453b98
@jklmnn @treiher
Implement IP and ICMP packet generation and parsing
dc7f354
@jklmnn @treiher
Remove interface selection
4178d66
@jklmnn @treiher
Prove checksum and socket
60c774a
@jklmnn @treiher
Prove ping
5a42837
@jklmnn @treiher
Prove globals of ICMPv4
b1d3e9c
@treiher
Use SPARK.Heap.Dynamic_Memory for allocator state
9737d96
@jklmnn @treiher
Remove unecessary checks, fix indentation
f5ceac8
@treiher
Add optimized proof configuration
2139b61
@jklmnn @treiher
Fix style in SPARK ping
db79294
@jklmnn @treiher
Use Interfaces instead of System.Unsigned_Types, remove unnecessary A…
2850011 
…sserts

ref #355
@treiher
Support displaying unverified graphs in GNAT Studio
bbf7d0f
@treiher
Always omit verification when generating graphs
7b023c8 
Ref. #370
@treiher
Remove no-verification warning in graph generation
584a975 
Ref. #366
@treiher
Add tests for ping example
390c772 
Ref. #366
@treiher
Use Ubuntu 20.04 in CI
fdc0acb
@treiher
Improve test coverage
cc41190 
Ref. #366
@treiher treiher dismissed stale reviews from jklmnn and senier via cc41190 July 29, 2020 09:17
@treiher treiher requested review from senier and jklmnn July 29, 2020 09:17
@treiher treiher merged commit 29bbe35 into develop Jul 29, 2020
@treiher treiher deleted the 2020-07_demo branch July 29, 2020 11:49
treiher pushed a commit that referenced this pull request Jul 29, 2020
@treiher
Always omit verification when generating graphs
8fc5bc4 
Ref. #370
@senier senier mentioned this pull request Aug 1, 2020
Closed
13 tasks
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

@jklmnn jklmnn jklmnn approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Ping example Implement message graph viewer in GNAT Studio
3 participants
@treiher @senier @jklmnn