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

Improve graph generation for sessions #400

Closed
3 tasks done
treiher opened this issue Aug 11, 2020 · 2 comments · Fixed by #1108
Closed
3 tasks done

Improve graph generation for sessions #400

treiher opened this issue Aug 11, 2020 · 2 comments · Fixed by #1108
Assignees
@senier
Labels
small Effort of one person-day or less

Comments

@treiher
Copy link
Collaborator

treiher commented Aug 11, 2020 •
edited by senier
Loading

@treiher treiher mentioned this issue Aug 11, 2020
Merged
@treiher treiher mentioned this issue Apr 1, 2021
Open
@senier senier added the small Effort of one person-day or less label Oct 4, 2021
@senier senier self-assigned this Oct 4, 2021
senier added a commit that referenced this issue Jul 11, 2022
@senier
Remove data dependencies from session graph
5247bb2 
Ref. #400
senier added a commit that referenced this issue Jul 11, 2022
@senier
Implement state filtering for session graphs
ed28aec 
Ref. #400
senier added a commit that referenced this issue Jul 12, 2022
@senier
Implement state filtering for session graphs
96e1a6b 
Ref. #400
@senier
Copy link
Member

senier commented Jul 13, 2022

@treiher I'm not quite sure what the second item was meant to be. AFAICT it is integrated. It that outdated?

senier added a commit that referenced this issue Jul 13, 2022
@senier
Refactor graph generation
a89bbfe 
Closes #400
@senier senier mentioned this issue Jul 13, 2022
Merged
senier added a commit that referenced this issue Jul 13, 2022
@senier
Remove data dependencies from session graph
bef830b 
Ref. #400
senier added a commit that referenced this issue Jul 13, 2022
@senier
Implement state filtering for session graphs
508c240 
Ref. #400
senier added a commit that referenced this issue Jul 13, 2022
@senier
Refactor graph generation
b897ad1 
Closes #400
@treiher
Copy link
Collaborator Author

treiher commented Jul 13, 2022

@treiher I'm not quite sure what the second item was meant to be. AFAICT it is integrated. It that outdated?

I'm not sure either. Looks outdated to me.

senier added a commit that referenced this issue Jul 15, 2022
@senier
Remove data dependencies from session graph
66f3020 
Ref. #400
senier added a commit that referenced this issue Jul 15, 2022
@senier
Implement state filtering for session graphs
09f3930 
Ref. #400
senier added a commit that referenced this issue Jul 15, 2022
@senier
Refactor graph generation
bfc43e1 
Closes #400
senier added a commit that referenced this issue Jul 18, 2022
@senier
Remove data dependencies from session graph
1bae1db 
Ref. #400
senier added a commit that referenced this issue Jul 18, 2022
@senier
Implement state filtering for session graphs
5c61a1b 
Ref. #400
senier added a commit that referenced this issue Jul 18, 2022
@senier
Refactor graph generation
83ff0e9 
Closes #400
senier added a commit that referenced this issue Jul 18, 2022
@senier
Remove data dependencies from session graph
41b011c 
Ref. #400
senier added a commit that referenced this issue Jul 18, 2022
@senier
Implement state filtering for session graphs
128c7a9 
Ref. #400
senier added a commit that referenced this issue Jul 18, 2022
@senier
Refactor graph generation
3d5ceef 
Closes #400
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@senier senier

Labels
small Effort of one person-day or less
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 400: Improve graph generation AdaCore/RecordFlux
2 participants
@senier @treiher