| 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. | ||
| * | Only rewrite _free_ variables in rewall | Tom Smeding | 2020-05-23 |
| | | |||
| * | Don't parse Constructors as variables | Tom Smeding | 2020-05-23 |
| | | |||
| * | Add rewall command | Tom Smeding | 2019-04-08 |
| | | |||
| * | Slightly better pretty printing | Tom Smeding | 2019-03-19 |
| | | |||
| * | Enough to prove functoriality of Parser | tomsmeding | 2019-03-10 |
| | | |||
| * | Initial | tomsmeding | 2019-03-10 |
 |
index : verify-hs | |
| Equational reasoning helper tool for Haskell-like expressions | git daemon user |
| aboutsummaryrefslogtreecommitdiff |