| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | WIP maximum/minimum | Tom Smeding | 2024-11-08 |
| * | Custom derivatives | Tom Smeding | 2024-11-08 |
| * | WIP custom derivatives | Tom Smeding | 2024-11-08 |
| * | Remove build1 | Tom Smeding | 2024-11-07 |
| * | Some simplification rules | Tom Smeding | 2024-11-06 |
| * | WIP EOneHot | Tom Smeding | 2024-11-04 |
| * | simplifyFix | Tom Smeding | 2024-10-29 |
| * | Fix interpreter bug | Tom Smeding | 2024-10-22 |
| * | Differentiate Replicate | Tom Smeding | 2024-10-22 |
| * | Add some missing cases | Tom Smeding | 2024-09-22 |
| * | WIP better zero/plus, fixing Accum (...) | Tom Smeding | 2024-09-13 |
| * | Interpreter, some operations | Tom Smeding | 2024-09-12 |
| * | Simple Build1 seems to work | Tom Smeding | 2024-09-05 |
| * | Generic accumulators | Tom Smeding | 2024-09-05 |
| * | WIP | Tom Smeding | 2024-09-04 |
| * | Inching towards drev of build | Tom Smeding | 2024-09-03 |
| * | WIP Build1 | Tom Smeding | 2024-08-30 |
| * | Implement weakenExpr using subst | Tom Smeding | 2024-08-30 |
| * | Migrate to accumulators (mostly removing EVM code) | Tom Smeding | 2024-08-30 |
| * | Move some definitions from AST to Data | Tom Smeding | 2024-01-27 |
| * | Pretty print let bindings in do notation | Tom Smeding | 2023-09-21 |
| * | Storage policy (accum / merge) | Tom Smeding | 2023-09-21 |
| * | Examples with conditionals | Tom Smeding | 2023-09-20 |
| * | Stuff | Tom Smeding | 2023-09-19 |
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |