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

FinSearch/FinitePoly/All4x4Tables: Mark proofs Finite #711

Merged
merged 2 commits into from
Oct 22, 2024
Merged

FinSearch/FinitePoly/All4x4Tables: Mark proofs Finite #711

merged 2 commits into from
Oct 22, 2024

Conversation

vlad902
Copy link
Contributor

@vlad902 vlad902 commented Oct 22, 2024

Note to reviewers: To make it easier to review, the first commit is the trivial changes to the generation scripts and the second commit is just re-generating them all.

I checked that the values of the nonimplications/unknowns did not change without --finite-only for lake exe extract_implications --json --closure and lake exe extract_implications unknowns

@vlad902 vlad902 mentioned this pull request Oct 22, 2024
Merged
teorth pushed a commit that referenced this pull request Oct 22, 2024
@vlad902
Mark Vampire/LinearOps/SmallMagmas/Z3CounterExamples non-implications…
ac7e97b 
… Finite (#712)

This is the a follow-up to #711 where I've manually updated files that
did not have an immediate way to re-generate them.
@teorth teorth merged commit 70748fd into teorth:main Oct 22, 2024
1 check passed
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vlad902 @teorth