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: add getMsbD_sshiftRight, getMsbD_sshiftRight', getLsbD_sshiftRight, getMsbD_ushiftRight #675

Merged
merged 23 commits into from
Oct 3, 2024
Merged

feat: add getMsbD_sshiftRight, getMsbD_sshiftRight', getLsbD_sshiftRight, getMsbD_ushiftRight #675

merged 23 commits into from
Oct 3, 2024

Conversation

luisacicolini
Copy link
Contributor

No description provided.

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 1, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@luisacicolini luisacicolini changed the title feat: add getMsbD_sshiftRight feat: add getMsbD_sshiftRight, getMsbD_sshiftRight', getLsbD_sshiftRight, getMsbD_ushiftRight Oct 2, 2024
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

tobiasgrosser
tobiasgrosser reviewed Oct 2, 2024
View reviewed changes
SSA/Projects/InstCombine/ForLean.lean Outdated Show resolved Hide resolved
SSA/Projects/InstCombine/ForLean.lean Outdated Show resolved Hide resolved
SSA/Projects/InstCombine/ForLean.lean Outdated Show resolved Hide resolved
SSA/Projects/InstCombine/ForLean.lean Outdated Show resolved Hide resolved
SSA/Projects/InstCombine/ForLean.lean Outdated Show resolved Hide resolved
SSA/Projects/InstCombine/ForLean.lean Outdated Show resolved Hide resolved
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 2, 2024

Alive Statistics: 76 / 93 (17 failed)

@luisacicolini luisacicolini marked this pull request as ready for review October 2, 2024 15:14
@luisacicolini
Copy link
Contributor Author

I tried to clean up the proofs and make them prettier/shorter and could not find any more simplifications beyond the current state - suggestions to make them better are very welcome :)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2024

Alive Statistics: 76 / 93 (17 failed)

1 similar comment
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2024

Alive Statistics: 76 / 93 (17 failed)

2 similar comments
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2024

Alive Statistics: 76 / 93 (17 failed)

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2024

Alive Statistics: 76 / 93 (17 failed)

@luisacicolini luisacicolini added this pull request to the merge queue Oct 3, 2024
Merged via the queue into main with commit ca91081 Oct 3, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tobiasgrosser tobiasgrosser tobiasgrosser left review comments

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
@luisacicolini @tobiasgrosser