[Synth][FunctionalReduction] Improve choice materialization with reachability of choice

April 24, 2026 · #10313
View on GitHub
cpp Difficulty: Medium

Labels

good first issue Synth

Parent Repository

llvm/circt

cpp repository

2,097 459
All Issues Back to circt

Sign in required

Authenticate to use favourites & bookmarks

5