Skip to content

Commit

Permalink
[memory] optimize refinement check
Browse files Browse the repository at this point in the history 
Works by specializing the value refinement to only the
ptrs written to.
Reduces timeouts by 10-15%
  • Loading branch information
@nunoplopes
nunoplopes committed Dec 15, 2024
1 parent 341f4c1 commit 80c89c4
Show file tree
Hide file tree
Showing 2 changed files with 176 additions and 86 deletions.
Loading

0 comments on commit 80c89c4

Please sign in to comment.