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

Caching of verified specifications #442

Closed
treiher opened this issue Sep 14, 2020 · 1 comment · Fixed by #449
Closed

Caching of verified specifications #442

treiher opened this issue Sep 14, 2020 · 1 comment · Fixed by #449
Assignees
@treiher
Labels
specification Related to specification package (e.g., specification parsing)
Projects
RecordFlux 0.5

Comments

@treiher
Copy link
Collaborator

treiher commented Sep 14, 2020

Checking complex specifications can take some time. This gets even worse, if packages are imported. Even if an imported package is not changed, it must be verified again. This makes the incremental adaptation of a specification based on the verifier results time-consuming. Caching verification results could significantly improve that.
@treiher treiher added this to To do in RecordFlux 0.5 via automation Sep 14, 2020
@senier
Copy link
Member

senier commented Sep 14, 2020

Good idea. Given the issues we observe with caching in other tools, I think significant effort is required to get this right. Hence, moving the ticket to Future.

@senier senier added this to To do in RecordFlux Future via automation Sep 14, 2020
@senier senier removed this from To do in RecordFlux 0.5 Sep 14, 2020
@treiher treiher added this to To do in RecordFlux 0.5 via automation Sep 29, 2020
@treiher treiher removed this from To do in RecordFlux Future Sep 29, 2020
@treiher treiher self-assigned this Sep 29, 2020
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Sep 29, 2020
treiher added a commit that referenced this issue Sep 29, 2020
@treiher
Add caching of message verification results to parser
49f8e20 
Ref. #442
treiher added a commit that referenced this issue Sep 29, 2020
@treiher
Add caching of message verification results to parser
c3563b8 
Ref. #442
@treiher treiher moved this from In progress to Done in RecordFlux 0.5 Sep 29, 2020
@treiher treiher added the specification Related to specification package (e.g., specification parsing) label Sep 29, 2020
@treiher treiher mentioned this issue Sep 29, 2020
Merged
treiher added a commit that referenced this issue Sep 29, 2020
@treiher
Ensure existence of parents of cache directory
6c59a81 
Ref. #442, #449
RecordFlux 0.5 automation moved this from Done to Merged Sep 30, 2020
treiher added a commit that referenced this issue Sep 30, 2020
@treiher
Add caching of message verification results to parser
3b2efe9 
Ref. #442
treiher added a commit that referenced this issue Sep 30, 2020
@treiher
Ensure existence of parents of cache directory
1923d55 
Ref. #442, #449
@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
specification Related to specification package (e.g., specification parsing)
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 442: Add caching of message verification results to parser AdaCore/RecordFlux
2 participants
@senier @treiher