claripy icon indicating copy to clipboard operation
claripy copied to clipboard

Published 20 hours ago • verified publisher icon angr

add eq simplification 1^==0

Open Bonnie1256 opened this issue 4 years ago • 6 comments

Bonnie1256 avatar Sep 17 '21 18:09 Bonnie1256

Can you provide a testcase for this? It's difficult for me to tell what kind of expressions are covered by this.

rhelmot avatar Sep 28 '21 22:09 rhelmot

This pull request has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.

github-actions[bot] avatar May 18 '22 02:05 github-actions[bot]

This issue has been closed due to inactivity.

github-actions[bot] avatar May 25 '22 02:05 github-actions[bot]

@zwimer can you be in charge of verifying that the simplifications being performed here are correct and tested? I tried looking a few times and couldn't get my head around it.

rhelmot avatar May 26 '22 19:05 rhelmot

I have a small backlog of tasks but once those are done I can do so.

zwimer avatar May 26 '22 21:05 zwimer

This pull request has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.

github-actions[bot] avatar Jul 26 '22 02:07 github-actions[bot]

I'm going to close this PR, and then open a new one after rebasing the changes on the latest claripy master.

ltfish avatar Apr 21 '23 07:04 ltfish

Superseded by #347.

ltfish avatar Apr 21 '23 07:04 ltfish