Skip to content

Avoid materializing value sets when simplifying POINTER_OBJECT equalties#9128

Open
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:perf/symex-pointer-object-simplification
Open

Avoid materializing value sets when simplifying POINTER_OBJECT equalties#9128
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:perf/symex-pointer-object-simplification

Avoid materializing value sets when simplifying POINTER_OBJECT equali…

d5a29a3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
perf-benchcomp
succeeded Jul 22, 2026 in 28m 17s