[Synth][FunctionalReduction] Check inversion when creating equivalence class

April 9, 2026 · #10161
View on GitHub
cpp Difficulty: Medium

Labels

good first issue Synth

Parent Repository

llvm/circt

cpp repository

2,082 450
All Issues Back to circt

Sign in required

Authenticate to use favourites & bookmarks

5