Syrup
Syrup copied to clipboard
[ new ] Compiler pass deploying de Morgan laws
- Preliminary work detecting remarkable gates (zero, not, nand, and, or)
- Simplifications involving negation
- Deadcode elimination