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

Select a single scope for the proof mode #234

Merged
merged 2 commits into from
Mar 17, 2022
Merged

Select a single scope for the proof mode #234

merged 2 commits into from
Mar 17, 2022

Conversation

denismerigoux
Copy link
Contributor

For large programs, the output of the scope mode can be quite long. With this PR, the -s CLI option is taken into account in the proof mode so that only verification conditions for the specified scope are generated and solved.

@denismerigoux denismerigoux added ✨ enhancement New feature or request 🔧 compiler Issue concerns the compiler ✅ proof Proof backends: encoding, solving, etx. labels Mar 17, 2022
@denismerigoux denismerigoux merged commit f2307b8 into master Mar 17, 2022
@denismerigoux denismerigoux deleted the select_scope_proof branch March 21, 2022 12:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request ✅ proof Proof backends: encoding, solving, etx.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@denismerigoux