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

feat: bv_decide diagnosis #5365

Merged
merged 5 commits into from
Sep 18, 2024
Merged

feat: bv_decide diagnosis #5365

merged 5 commits into from
Sep 18, 2024

Conversation

hargoniX
Copy link
Contributor

Fixes: #5326

@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Sep 16, 2024
@leanprover-community-mathlib4-bot
Copy link
Collaborator

leanprover-community-mathlib4-bot commented Sep 16, 2024 •
edited by leanprover-community-bot
Loading

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 7952a7f74d6ff6ac44816cfce487f7bbc72ec04d --onto c25d2066471c7726b64d7f3eea8b5cce9910f33d. (2024-09-16 14:13:46)
  • 🟡 Mathlib branch lean-pr-testing-5365 build against this PR was cancelled. (2024-09-18 13:04:36) View Log
  • ✅ Mathlib branch lean-pr-testing-5365 has successfully built against this PR. (2024-09-18 14:23:23) View Log
  • ✅ Mathlib branch lean-pr-testing-5365 has successfully built against this PR. (2024-09-18 18:51:24) View Log

@hargoniX hargoniX force-pushed the hbv/bv_decide_true_counterex branch from 1b576e5 to 98ce892 Compare September 18, 2024 12:15
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc September 18, 2024 12:27 Inactive
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Sep 18, 2024
@leanprover-community-mathlib4-bot
Update lean-toolchain for testing leanprover/lean4#5365
ac45750
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Sep 18, 2024
@leanprover-community-mathlib4-bot
Update lean-toolchain for testing leanprover/lean4#5365
6fcadd3
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc September 18, 2024 12:54 Inactive
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Sep 18, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#5365
7949126
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Sep 18, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#5365
b940a37
@leanprover-community-bot leanprover-community-bot added the builds-mathlib CI has verified that Mathlib builds against this PR label Sep 18, 2024
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc September 18, 2024 17:27 Inactive
@hargoniX hargoniX enabled auto-merge September 18, 2024 17:33
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc September 18, 2024 17:41 Inactive
@hargoniX hargoniX added this pull request to the merge queue Sep 18, 2024
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Sep 18, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#5365
55db285
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Sep 18, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#5365
cf8fdfe
Merged via the queue into master with commit 592e1dc Sep 18, 2024
15 checks 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
builds-mathlib CI has verified that Mathlib builds against this PR toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

bv_decide counterexample validation
3 participants
@hargoniX @leanprover-community-mathlib4-bot @leanprover-community-bot