| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Reverse-by-forward, and checking neural (it's wrong) | Tom Smeding | 2024-10-01 |
| * | Add some missing cases | Tom Smeding | 2024-09-22 |
| * | WIP better zero/plus, fixing Accum (...) | Tom Smeding | 2024-09-13 |
| * | Towards neural | Tom Smeding | 2024-09-12 |
| * | Interpreter, some operations | Tom Smeding | 2024-09-12 |
| * | A simple embedded frontend | 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 |
| * | autoWeak: Handle closed source environments | Tom Smeding | 2024-09-03 |
| * | accumPromote | Tom Smeding | 2024-09-02 |
| * | WSwap needs no env singleton | Tom Smeding | 2024-09-02 |
| * | Code cleanup, and OverloadedLabels for LSeg | Tom Smeding | 2024-09-02 |
| * | Autoweak! | Tom Smeding | 2024-09-02 |
| * | WIP autoWeak | Tom Smeding | 2024-09-02 |
| * | WIP Build1 | Tom Smeding | 2024-08-30 |
| * | Style | Tom Smeding | 2024-08-30 |
| * | Migrate to accumulators (mostly removing EVM code) | Tom Smeding | 2024-08-30 |
| * | Add missing import | Tom Smeding | 2024-02-15 |
| * | Linear-time tape reconstruction | Tom Smeding | 2024-01-26 |
| * | Finish rewrite | Tom Smeding | 2024-01-25 |
| * | Getting further | Tom Smeding | 2024-01-25 |
| * | WIP rewrite code transform typing | Tom Smeding | 2024-01-24 |
| * | Pretty print let bindings in do notation | Tom Smeding | 2023-09-21 |
| * | Examples with conditionals | Tom Smeding | 2023-09-20 |
| * | Stuff | Tom Smeding | 2023-09-19 |
| * | Pretty print | Tom Smeding | 2023-09-16 |
| * | CHAD case | Tom Smeding | 2023-09-16 |
