Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-04-12 | Fixes for extended rewriter (#4278) | Andrew Reynolds | |
Fixes #4273 and fixes #4274 . This also removes a spurious assertion from the Node::substitute method that the result node is not equal to the domain. This is violated for f(f(x)) { f(x) -> x }. |