Skip to content

Mark claims as trusted, skip when they are #2276

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
Merged
merged 4 commits into from
Jan 30, 2024
Merged

Mark claims as trusted, skip when they are #2276

merged 4 commits into from
Jan 30, 2024

Conversation

ehildenb
Copy link
Member

This makes sure to mark the dependent claims as trusted (so they work better with runtimeverification/pyk#832).

  • Some claims in mcd test-suite are marked as trusted.
  • The logic for proving a claim is adjusted to not prove admitted (trusted) claims.

@ehildenb ehildenb self-assigned this Jan 26, 2024
@ehildenb ehildenb mentioned this pull request Jan 26, 2024
Merged
@ehildenb ehildenb marked this pull request as ready for review January 30, 2024 01:54
@rv-jenkins rv-jenkins merged commit 9fd7bc1 into master Jan 30, 2024
@rv-jenkins rv-jenkins deleted the trusted-claim-deps branch January 30, 2024 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@anvacaru anvacaru anvacaru approved these changes

@nwatson22 nwatson22 nwatson22 approved these changes

Assignees

@ehildenb ehildenb

Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@ehildenb @anvacaru @nwatson22 @rv-jenkins @rv-auditor