Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Significantly improve rewrite correctness | Tom Smeding | 2020-05-23 |
It's still not entirely correct, though. Case in point: conservative rewriting on 'expr' in 'reverse-ad.txt' gives the correct result (a non-zero partial derivative on both A and B), while iterating 'rewall; auto' only yields a partial derivative on A, ignoring B. I don't know how this happens. |