Skip to content

Reduce path-explosion via phi-aware control-flow merge - #287

Draft
PhilippGrulich wants to merge 3 commits into
mainfrom
claude/reduce-trace-blowup-ZwygE
Draft

Reduce path-explosion via phi-aware control-flow merge#287
PhilippGrulich wants to merge 3 commits into
mainfrom
claude/reduce-trace-blowup-ZwygE

Improve tracing efficiency + gate phi-merge for SHORT_CIRCUIT_BOOL

7deb341
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar