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

Retrieve current state from session #796

Closed
senier opened this issue Oct 5, 2021 · 0 comments · Fixed by #798
Closed

Retrieve current state from session #796

senier opened this issue Oct 5, 2021 · 0 comments · Fixed by #798
Assignees
@treiher
Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less
Projects
RecordFlux 0.6

Comments

@senier
Copy link
Member

senier commented Oct 5, 2021

Add accessor for current state to session package.
@senier senier added generator Related to generator package (SPARK code generation) small Effort of one person-day or less labels Oct 5, 2021
@senier senier added this to To do in RecordFlux 0.6 via automation Oct 5, 2021
@senier senier moved this from To do to In progress in RecordFlux 0.6 Oct 5, 2021
@senier senier moved this from In progress to To do in RecordFlux 0.6 Oct 5, 2021
@treiher treiher self-assigned this Oct 6, 2021
@treiher treiher moved this from To do to Under review in RecordFlux 0.6 Oct 6, 2021
treiher added a commit that referenced this issue Oct 6, 2021
@treiher
Add function for getting current state of session
e518de0 
Ref. #796
@treiher treiher mentioned this issue Oct 6, 2021
Merged
treiher added a commit that referenced this issue Oct 6, 2021
@treiher
Add function for getting current state of session
d60b471 
Ref. #796
@treiher treiher mentioned this issue Oct 6, 2021
Closed
treiher added a commit that referenced this issue Oct 7, 2021
@treiher
Add function for getting current state of session
73f35cf 
Ref. #796
treiher added a commit that referenced this issue Oct 7, 2021
@treiher
Update proof session and shape files
790d5c3 
Ref. #796
RecordFlux 0.6 automation moved this from Under review to Merged Oct 7, 2021
treiher added a commit that referenced this issue Oct 7, 2021
@treiher
Add function for getting current state of session
8cf1b33 
Ref. #796
treiher added a commit that referenced this issue Oct 7, 2021
@treiher
Update proof session and shape files
8b539d7 
Ref. #796
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less
Projects
No open projects
RecordFlux 0.6
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 796: Add function for getting current state of session AdaCore/RecordFlux
2 participants
@senier @treiher