diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2020-05-23 14:36:39 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2020-05-23 14:37:43 +0200 |
| commit | 92d244786ee551ebba842567e07660efe478deab (patch) | |
| tree | 30f3c363a4ded3168b3ae177f9cc884afe30cc12 /src/Pretty.hs | |
| parent | 18ea7b6804e09b1ae604b7fb9eadd542677f172d (diff) | |
Significantly improve rewrite correctness
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.
Diffstat (limited to 'src/Pretty.hs')
0 files changed, 0 insertions, 0 deletions